An N.Y.U. Mathematician Clashed With OpenAI Over a $1 Million Proof

Tristan Buckmaster was on the path toward an important proof when one of the A.I. giants used its staggering resources to get ...

OpenAI fought dirty on career-making math problem, says NYU mathematician

There is a $1 million bounty for the first person providing a solution to the Navier-Stokes existence and smoothness problem.

OpenAI solves longstanding math problem with 10,000-agent swarm — but can't rule out benefitting from a researcher's private Codex data

As companies entrust AI systems with increasingly valuable intellectual property, the policies governing model training, ...
Ars Technica

An OpenAI model solved a famous math problem that stumped humans for 80 years

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

AI may have just solved a million-dollar math problem. The field will never be the same

A mathematician compared the feat to the history-making chess competition in which IBM’s Deep Blue computer beat Garry ...