ChatGPT's breakthrough is not what it seems.

OpenAI's AI helped overturn a longstanding math conjecture by finding a counterexample, highlighting a powerful new way to tackle difficult problems.

The result is correct but challenges core norms of mathematics: checking proofs, crediting ideas and keeping research open to everyone.

In mid-May, OpenAI announced that an internal AI model had disproved the Erdős unit distance conjecture, a famous problem in discrete geometry that had stumped human mathematicians for the last 80 ...

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 ...