Showing cs.AIShow all
2 papers · 1 filter
cs.AI2026
ProofCouncil: An LLM Agent for Solving Open Mathematical Problems
Johannes Schmitt, Tim Gehrunger, Jasper Dekoninck +4
Large language models (LLMs) have shown increasing promise in solving open problems in mathematics. However, their performance can be further improved through agentic workflows tai…
cs.AI2026
Human vs Machine Mathematical Difficulty on Project Euler: An Experimental Analysis
David Holmes, Johannes Schmitt
We study how the effort and success probability of frontier AI systems scale with human difficulty on problems from Project Euler, an online platform of computational mathematics p…