Thursday, October 15, 2026

Deluge of 377 OpenAI proofs bewilders the math world - Konstantin Kakaes, Quanta Magazine

The technology firm OpenAI has announced the solutions to 377 open questions across nearly every mathematical subdiscipline. The results are spread over 722 papers, which OpenAI has uploaded to the Github code repository. They were achieved by a new, unnamed internal model that the company intends to release publicly in the near future, once they deem it safe. All of the papers were written by this model; only one, on a zero-free region of the Riemann zeta function, was edited by a person.