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

An artificial intelligence (AI) model has solved an 80-year-old math problem in a feat hailed as a major milestone for AI's mathematical ability. The planar unit distance problem, first posed by ...

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