Mathematician Will Sawin discusses his experience reviewing and refining a mathematical proof devised by OpenAI's internal ...
OpenAI says its AI model solved a famous 80-year-old maths problem that puzzled experts for decades, marking a major breakthrough in AI-powered research and reasoning.
OpenAI AI reasoning model claims breakthrough on the planar unit distance problem, solving Paul Erdos 1946 puzzle and impressing top mathematicians ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results