OpenAI Published Ten New Maths Results, and Proofs a Computer Can Check
OpenAI says an unreleased internal model produced ten new results in mathematics and theoretical computer science, and released the arguments as files a computer can check line by line. We downloaded them and looked. The evidence is unusually inspectable, and narrower than the headlines suggest.
No. 001 · research