OpenAI stuns mathematicians with 722 new papers

MathJax = { tex: {inlineMath: [[‘$’, ‘$’], [‘\\(‘, ‘\\)’]] }, svg: {fontCache: ‘global’}};

Credit: WaveGenerics; AI-generated

Introduction

Anyone following recent developments in artificial intelligence (AI) recognizes that these models have advanced rather dramatically in the past year, perhaps most remarkably in mathematical prowess. Here is a brief summary of some recent developments; see this previous Math Scholar article for additional details.

Counterexample to an Erdős conjecture. An OpenAI model found a counterexample to a graph theory conjecture first proposed by legendary mathematician Paul Erdős in 1946 (see here for more details). High-dimensional sphere packing. New upper bounds on sphere-packing

Continue reading OpenAI stuns mathematicians with 722 new papers