You Don’t Have to Trust That an AI Solved These Math Problems. You Can Check the Proof Yourself.
中文摘要
OpenAI 一个未发布的模型解决了困扰 27 年的数学问题，并提供了任何人均可验证的证明。
English Summary
An unreleased OpenAI model solved a 27-year-old math problem, providing verifiable proofs for anyone to check.
Original Excerpt
An unreleased OpenAI model closed a 27-year-old question for $2,000 — and posted proofs anyone can verify. Here’s why that second part is… Continue reading on Medium »