AI
OpenAI discoveries: an AI proof that could upend computer science
OpenAI says its internal models disproved a widely trusted computer science assumption and cracked open problems in math and physics. Experts now have to check the work.
Lean
AI
OpenAI published nearly 400 math claims, researchers must verify
OpenAI posted more than 700 AI-written math papers to GitHub at once, and mathematicians say checking which claims are actually true could take them years.