The most exciting claims from OpenAI’s heap of new proofs

On Tuesday afternoon OpenAI dropped more than 700 manuscripts reporting proofs, solutions and progress on 372 open problems across theoretical research. It will take time for mathematicians to trudge through all the artificial-intelligence-generated results. No one, not even OpenAI researchers themselves, has been able to even read through everything yet. And not all of the proofs were certified a...