Tag
This article discusses AI's influence on mathematics, using compressed sensing as an example of applied pure math, and critiques the 'open problem culture' that prioritizes puzzle-solving over understanding.
This paper introduces a metric for the intrinsic interestingness of mathematical theorems and trains a 27B model to predict proof difficulty, enabling the generation of more interesting and novel mathematics with reduced overlap with existing libraries.
The essay explores how AI systems are becoming superhuman at mathematics and proposes a positive vision for adapting academic institutions to maintain human understanding and progress in mathematics.
OpenAI claims to have produced a proof that singularities can form in the Navier-Stokes equations using AI agents. The article discusses the potential impact on AI-driven mathematics research and future scientific methods.
A source known for revealing the Anthropic Millennium Prize story claims that OpenAI is applying its Navier-Stokes model to work on the Riemann hypothesis and P vs NP problems.
Rumors suggest that OpenAI and Anthropic may be close to solving major mathematical conjectures like the Hodge conjecture and Birch–Swinnerton-Dyer, highlighting AI's potential in scientific discovery.
This week in AI covers AI solving math problems, regulatory implementation, investment trends, and multiple application breakthroughs.
Terence Tao discusses how AI is being used to address open mathematical problems, raising concerns about the non-renewable nature of these resources and their implications for future research.
Tencent's Hy4 preview and Hyra AI models have advanced a century-old math problem by improving the lower bound for the Blaschke-Lebesgue problem in 3D to 0.41104, with the full proof and code publicly available for verification.
Terence Tao argues that mathematical open problems should be preserved for human problem-solving to maintain uncontaminated benchmarks and develop new techniques, suggesting social norms to limit AI solvers in certain areas.
The Verge reports on OpenAI's Astra model solving ten long-standing mathematics problems, sparking excitement and apprehension among mathematicians about the future of the field.
A conceptual essay arguing that recursive self-improvement in AI is limited by verification, not computation, using the metaphor of an epistemically closed prompt matrix and the data-processing inequality.
An undergraduate researcher reports that GPT-5.6 Sol Max solved two open graph theory problems: proving the Imbalance Conjecture and disproving Teschner's bondage-number conjecture. The preprints have been posted but not yet peer-reviewed.
A panel including Emad Mostaque claims AI solved ten decade-old math problems for $2,000 in compute, sparking debate about the future of pure mathematics and the role of human judgment.
OpenAI's AI models have solved multiple famous Erdős problems, including the unit distance conjecture, prompting mathematicians to reconsider how AI is transforming mathematical research.
This paper presents an AI agent built on GPT-5.5 Pro that autonomously generated correct proofs disproving the Erdős–Szemerédi sum-product conjecture over ℝ in 7 out of 8 trials, using a three-stage prompting pipeline.
This article presents Demonstrandum, a verification-first multi-agent AI mathematics pipeline that produces mechanically checkable artifacts, including refutations and proofs of conjectures with Lean 4 kernel verification.
AI systems, including ChatGPT and OpenAI's Sol, have disproved and fully formalized the Erdős Unit Distance conjecture, marking a milestone in AI-assisted mathematics. The article discusses the process and implications for the future of mathematical proof verification.
Claude, an AI model, reportedly found a counterexample to the long-standing Jacobian Conjecture, verified by multiple LLMs, sparking debate about AI's role in mathematical discovery.
A tweet claims that the AI model Claude Fable produced a counterexample to the Jacobian Conjecture, providing an explicit polynomial map that is not injective despite having constant nonzero Jacobian determinant.