OpenAI claims its reasoning model disproved a geometry conjecture unsolved since 1946 — and this time, the mathematicians who exposed its last embarrassing claim are backing it up.
The math world is losing its mind over the new solution to an Erdős problem. This is what AI found, how we missed it—and why it matters.
OpenAI has become embroiled in controversy over exaggerated claims about its large language model (LLM), GPT-5. The company promoted the AI as having solved decades-old mathematical problems, but it ...
AI thrives on data but feeding it the right data is harder than it seems. As enterprises scale their AI initiatives, they face the challenge of managing diverse data pipelines, ensuring proximity to ...
AI thrives on data but feeding it the right data is harder than it seems. As enterprises scale their AI initiatives, they face the challenge of managing diverse data pipelines, ensuring proximity to ...
In October 2024 I attended a workshop at Harvard University where mathematicians talked through the uses of artificial intelligence in their field. Most were less worried about the future of math than ...
This voice experience is generated by AI. Learn more. This voice experience is generated by AI. Learn more. News about AI math problem raises realization that finding counterexamples can be extremely ...
24-year-old founder and CEO Carina Hong created Axiom Math in March 2025 and has recruited a team of ten employees, most of whom are from Meta, to build a math-focused AI model. Last fall, Carina Hong ...
Five years ago, mathematicians Dawei Chen and Quentin Gendron were trying to untangle a difficult area of algebraic geometry involving differentials, elements of calculus used to measure distance ...