When the Leiden Declaration on Artificial Intelligence and Mathematics went live on 2 June 2026, things moved quickly. The ...

Fidget toy trading is just one trend that highlights where kids and young people are at with financial literacy, and what social media is teaching them. Another example is the lucky scoops trend, ...

Last month, OpenAI announced that its latest version of ChatGPT had solved a major math problem, one that had stumped experts ...

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

With automated proof-checkers, a problem can be broken up into small chunks, solved bit-by-bit, then reassembled with confidence that every piece is correct. For some, this heralds a new area in ...

Mathematician Will Sawin discusses his experience reviewing and refining a mathematical proof devised by OpenAI's internal model—and what that could mean for mathematics. Reading time 10 minutes Will ...

Artificial intelligence can now solve open research-level mathematics problems — not just competition questions — and the May 2026 issue of Science News documents the moment the field registered that ...

OpenAI is claiming its internal general-purpose reasoning model may have disproved the Erdős unit distance conjecture, a longstanding question in discrete geometry. Outside review is central to that ...

A legendary maths riddle finally has an answer. OpenAI says one of its general-purpose AI models has autonomously solved a famous problem first posed in 1946, with external mathematicians checking the ...

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.