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.
Mathematics
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.
AI
Experts warn before validating OpenAI math results on GitHub
OpenAI posted 722 papers tackling 372 famous open problems, made by an AI model nobody outside the company can use. Here's what's inside and why experts are wary.