TLDR Tech / Opinion
AI model generates hundreds of new math proofs
OpenAI has revealed 372 significant mathematical discoveries generated by an artificial intelligence model, including solutions to the Unique Games Conjecture and other enduring mathematical challenges. As experts begin analyzing the complex and unconventional proofs, the author considers the evolving nature of mathematical research and contrasts OpenAI's release strategy with Anthropic's collaborative approach with human researchers.
Read the full story