OpenAI math results spark cryptography and verification concerns

AI-discovered math could reshape cryptography and how research is shared with models.

OpenAI shared 300+ math results it says an internal model solved, including a Navier-Stokes proof. Cryptographers warn AI advances could break encryption; questions remain over verification.

Read it at The Information →

Coverage: 12 sources, in order

1. 13 Oct 12:30 Tom's Hardware: AI causes uproar in mathematics as experts warn against sharing research with LLMs after OpenAI shares 722 manuscripts and proofs
2. 13 Oct 16:42 Scientific American: OpenAI’s blockbuster Navier-Stokes proof isn’t what we thought it was
3. 13 Oct 17:30 Reddit: OpenAI’s blockbuster Navier-Stokes proof isn’t what we thought it was
4. 14 Oct 01:16 Mashable: OpenAI shakes up mathematics again, debuting dozens of new math solutions
5. 14 Oct 08:57 Technology Org: OpenAI’s 372 Math Results: What Has Actually Been Verified So Far
6. 14 Oct 13:01 New Scientist: Hannah Fry: How OpenAI has caused an existential crisis in mathematics
7. 14 Oct 14:00 The Information: OpenAI’s Math Breakthroughs Rattle Cryptography Leaders
8. 14 Oct 14:00 The Information: OpenAI’s Math Breakthroughs Rattle Cryptography Leaders
9. 14 Oct 15:10 Reddit: Demis Hassabis' opinion about OpenAI’s approach to its recent math breakthroughs, argues they should involve the maths community, says math skills are needed more than ever but mathematicians should focus on applied maths: "Sometimes new mathematics is more valuable than the solutions"
10. 14 Oct 23:12 9to5Mac: OpenAI agrees not to use alleged Apple trade secrets amid ongoing lawsuit
11. 14 Oct 23:12 9to5Mac: OpenAI agrees not to use alleged Apple trade secrets amid ongoing lawsuit
12. 15 Oct 03:49 Columbia Daily Spectator: Tristan Buckmaster and faculty in math, physics, computer science discuss OpenAI’s Navier-Stokes proof at Columbia event

← Front page