Similar to This
Advancing mathematics research with AI-driven formal proof search: Large language models (LLMs) increasingly excel at mathematics tasks, but their unreliability ...
science.org/doi/10.1126/science.aej2213
Advancing mathematics research with AI-driven formal proof search
How the ‘happy ending problem’ launched a new branch of math—and a romance: A puzzle about dots on a page led to one of the most profound areas of modern math
scientificamerican.com/article/how-the-happy-ending-problem-launched-a-new-branch-of-math-and-a-romance/
How the ‘happy ending problem’ launched a new branch of math—and a romance
A new ‘golden age’ of mathematics may be dawning — thanks to AI and human ingenuity
theconversation.com/a-new-golden-age-of-mathematics-may-be-dawning-thanks-to-ai-and-human-ingenuity-287346
A new ‘golden age’ of mathematics may be dawning — thanks to AI and human ...
AI solved an 80-year maths problem. Here’s why this matters beyond mathematics: OpenAI said one of its internal models had made a breakthrough with a challenge ...
indianexpress.com/article/explained/explained-ai/openai-erdos-problem-ai-solves-80-year-old-math-challenge-10722693/
AI solved an 80-year maths problem. Here’s why this matters beyond ...
OpenAI claims AI breakthrough, says its model solved 80-year-old math problem: OpenAI has said that one of its unreleased AI reasoning models has solved a ...
indianexpress.com/article/technology/artificial-intelligence/openai-claims-ai-breakthrough-says-its-model-solved-80-year-old-math-problem-10700933/
OpenAI claims AI breakthrough, says its model solved 80-year-old math ...
An OpenAI model has disproved a central conjecture in discrete geometry: An OpenAI model solved the 80-year-old unit distance problem, disproving a major ...
openai.com/index/model-disproves-discrete-geometry-conjecture/
An OpenAI model has disproved a central conjecture in discrete geometry
OpinionCrossed Wires: What does the world’s greatest living mathematician think of AI?: In a remarkable shift, Terence Tao highlights AI's potential to transform ...
dailymaverick.co.za/article/2026-05-03-crossed-wires-what-does-the-worlds-greatest-living-mathematician-think-of-ai/
Crossed Wires: What does the world’s greatest living mathematician think ...
AI is revolutionising mathematics: Last week, a 23-year-old amateur with no advanced mathematical training did something many mathematicians never manage in a ...
spectator.com/article/ai-is-revolutionising-mathematics/
AI is revolutionising mathematics
For 64 years, mathematicians grappled with Erdő's Problem #728. ChatGPT solved it in 80 minutes thanks to a note
gamestar.de/artikel/chatgpt-erdoes-mathe-problem-ki-beweis,3452145.html
For 64 years, mathematicians grappled with Erdő's Problem #728 ...
How should we define mathematical beauty in the AI age?: Is mathematical beauty real? Or is it just a subjective, human ‘wow’ that is becoming redundant in an AI ...
aeon.co/essays/how-should-we-define-mathematical-beauty-in-the-ai-age
How should we define mathematical beauty in the AI age?
The Edge of Mathematics: Terence Tao, the legendary mathematician, explains the promise of generative AI.
theatlantic.com/technology/2026/02/ai-math-terrance-tao/686107/
The Edge of Mathematics
AI reportedly solved a decades-old math puzzle again: Several famous Erdős problems have supposedly been solved using AI models. But what is really behind these ...
spektrum.de/news/mathematik-eine-ki-soll-jahrzehntalte-erdoes-probleme-geloest-haben/2298920
AI reportedly solved a decades-old math puzzle again