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

Exploring concepts such as observation and measurement in the fresh air can give students a new and playful perspective on ...

A breakthrough from an OpenAI model would have meant nothing without humans to make sense of it.

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

For nearly 80 years, a famous problem in discrete geometry had challenged mathematicians. All it took was a prompt from an internal OpenAI model to disprove a conjecture made by the late Hungarian ...

Artificial intelligence is mastering the kinds of projects that have long helped to build the careers of young mathematicians. What does that mean for their future? Credit...Illustrations by Yoshi ...

OpenAI said one of its internal models had made a breakthrough with a challenge first posed by Hungarian mathematician Paul Erdős in 1946. Experts say this result could indicate that AI is capable of ...

OpenAI's artificial intelligence, or AI, just solved the planar unit distance problem, a tricky math challenge first posed in 1946 by Paul Erdos. The goal? Arrange points on a plane so as many pairs ...

An OpenAI model disproved the 80-year-old Erdős unit distance conjecture, and Google DeepMind's AlphaProof Nexus solved nine more open problems days later. Together, these AI math breakthroughs mark a ...

A week after OpenAI made headlines with an A.I.-generated proof, a new “declaration” by 16 experts raises concerns that the technology threatens math as a discipline. By Siobhan Roberts Recently there ...

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.