Nine mathematicians, including Gowers and Witten, form an OpenAI maths advisory group on results it says its AI found on 100+ ...

OpenAI says a new internal model solved more than 100 open math problems after just a month of training. Facing criticism from mathematicians, the company is backing an independent advisory group at ...

Timothy Gowers calls OpenAI's ten solved problems extraordinarily impressive, then spends 4,000 words on what they are not. The famous results were counterexamples rather than theorems. One of them, ...

As some U.S. states and cities close schools and order certain businesses to shut their doors to slow the spread of the novel coronavirus, University of Cambridge mathematician Timothy Gowers ...

After 80 years of fruitless struggle by human mathematicians, a major geometry conjecture has at last been solved—via a straightforward query to a chatbot. “No previous AI-generated proof has come ...

Eight decades after Paul Erdős posed the unit distance problem in 1946, a general-purpose AI has produced configurations that beat the long-standing conjectured bounds, proving at least n^(1+δ) ...