In mid-May, OpenAI announced that an internal AI model had disproved the Erdős unit distance conjecture, a famous problem in ...

In October 2024, news broke that Facebook parent company Meta had cracked an "impossible" problem that had stymied mathematicians for a century. In this case, the solvers weren't human. An artificial ...

Only a few months ago, the question felt mostly philosophical: if artificial intelligence can help solve open math problems, ...