@paperpaper886: Last week, I discussed the current state and future of AI4Math with a friend from the math department. He said that current AI is already powerful enough as an auxiliary tool, but there is still a long way to go for AI to achieve independent discovery.
Summary
Discussed the current state and future of AI in mathematics. Citing an example, ChatGPT 5.5 Pro autonomously solved the farthest pair problem in high-dimensional computational geometry, which had been stuck for years, demonstrating AI's potential in mathematical discovery.
View Cached Full Text
Cached at: 07/03/26, 04:30 AM
Last week, I discussed the current state and future of AI4Math with a friend from the math department. He said that as an assistive tool, today’s AI is already powerful enough, but if we want AI to make independent discoveries, there’s still a long way to go.
Phoenix Yin (@Phoenixyin13): AI autonomously solved an impossible task in high-dimensional computational geometry!
In a new paper released at the end of June, the abstract explicitly states that the proof was originally discovered by ChatGPT 5.5 Pro. Researchers only gave a minimal prompt, and the model autonomously cracked a mathematical no-man’s land that had stumped humans for years.
In high-dimensional space, given n points, find the two farthest apart — the farthest pair problem.
Similar Articles
@MaxForAI: A brutal fact: AI's mathematical abilities have already surpassed 99% of humans on this planet. @MenloVentures partner Deedy @deedydas, who invested in Anthropic and OpenRouter, conducted a test. He used the just-concluded 2026 International Mathematical Olympiad...
AI models Fable, Sol, K3, and Axiom all achieved a perfect score of 42/42 in the 2026 International Mathematical Olympiad, solving the competition completely for the first time at low cost. Among them, Claude Fable 5 was the fastest, while GPT 5.6 Sol had the lowest cost.
@snowboat84: Today, let's discuss something hardcore. One question: what level of mathematics does AI use? From the perspective of tools and models themselves, the mathematics used by AI has an average age of 150 years, with most being from before the mid-19th century: matrix multiplication, gradient descent, chain rule, Fourier transform, inner product, probability — mostly content from the first two years of undergraduate studies. But some phenomena emerging from AI...
Discusses that the mathematics used by AI is mainly linear algebra, calculus, etc., from before the 19th century, but emerging phenomena such as Scaling Law, emergent abilities, double descent, in-context learning, and representation geometry lack mathematical explanation. Analogizes to the clouds in physics in 1900, suggesting it may drive the development of 21st-century mathematics.
@Xudong07452910: After AI starts doing math, a more dangerous thought may emerge: if machines can prove theorems, are human mathematicians less important? This essay "Automation Without Understanding" discusses this issue. The author's core point is straightforward: Mathematics...
AI systems have made breakthroughs in mathematics, helping to overturn Erdős's long-standing conjecture about unit distances in the plane. But an essay warns: the stronger the automation, the more important human ability to understand and audit machine reasoning becomes, while the U.S. mathematics talent pipeline is degrading due to budget cuts.
Meet a mathematician solving previously unsolvable math problems with GPT-5.6
A mathematician used Codex 5.6 to successfully disprove an algebraic surface conjecture that had taken him three years to try to prove. The model can automatically spawn sub-agents to handle heavy computations, allowing him to focus on difficult problems and life.
Stand-up maths: Has an AI discovered new maths?
Matt Parker's video explores recent cases where AI, including ChatGPT, helped solve open Erdős problems in mathematics, highlighting a new era of AI-assisted mathematical discovery.