Tag
Reports that another open problem from the FrontierMath benchmark has been solved, linking to a research paper by MIT mathematician Bjorn Poonen.
A link to data tracking how AI systems have solved math problems over time, highlighting progress in AI mathematical reasoning.
The article discusses whether AI's ability to solve math problems is growing exponentially, likely analyzing recent trends and research.
OpenAI's unreleased model Astra reportedly solved ten major open mathematics problems, with results formalized in Lean certificates, signaling a major leap in AI mathematical reasoning.
The article discusses how AI models like Anthropic's Fable and ChatGPT have been used by mathematicians to disprove famous conjectures, suggesting a new paradigm of brute intelligence in fields with verifiable answers.
A staff engineer shares his approach to finding meaningful problems by listening to day-to-day noise, absorbing issues, and connecting patterns rather than trying to think strategically in isolation.
Laguna S 2.1, a 120B-class model, impressed by solving a complex coding problem in Julia with long thinking tokens, outperforming Qwen models on a memory-constrained rearrangement task.
A tool that lets users describe their problem and get a Y Combinator startup that solves it.
VibeMathed is a website that tracks mathematical problems solved with AI assistance, particularly Erdős problems, with verification status and references to AI models used.
This paper demonstrates GPT-5.5's ability to solve selected problems in pure functional analysis, going beyond typical combinatorics and counterexample tasks.
ChatGPT 5.6 Sol Pro attempted to solve a clue-free crossword of all 1,025 Pokémon but only achieved partial solutions in five tries, with the best result being 145 answers in 33 minutes.
GPT-5.6 Sol Ultra has solved another Erdős problem (#793) with an extremely short and elegant construction, enhancing the original method used by Erdős.
Leading theoretical physicist Yuji Tachikawa reports that Claude Fable solved a research problem that had stumped him and his collaborators for six months.
Introduces ProofCouncil, an LLM-based agent with an author-critic architecture that autonomously solves open mathematical problems. It achieved the best performance in the FirstProof challenge, solving 6 of 10 problems correctly, and shows promise on a broader set of 30 open problems.
A mathematician uses GPT-5.6 and CodeX to solve previously intractable math problems, significantly speeding up exploration and technical work.
A mathematician named Bartosz uses OpenAI's GPT-5.6 to solve previously unsolvable math problems.
A career advice thread for the age of AI, arguing that valuable work involves problems that can't be graded within model training, and emphasizing the importance of time, relationships, reputation, and problem-finding skills over rote problem-solving.
Discusses how AI excels at finding answers within defined boundaries but may lack the ability to question underlying assumptions, suggesting a key difference from human intelligence.
OpenAI research shows LLMs can solve nine open math problems from COLT, FOCS, commutative algebra, and Erdős problems using a simple pipeline with GPT-5.5 Pro and Claude Opus 4.8, with Lean formalizations.
This paper introduces SD-GPS, a solver-driven framework for geometry problem solving that uses autoformalization guided by solver feedback and verified theorem proposing to overcome bottlenecks in neuro-symbolic systems.