#proofs

HN did not treat the Erdős headline as proof of autonomous math genius; the thread kept circling back to expert cleanup, problem selection, and whether the new method generalizes.

OpenAI released proof attempts for all 10 First Proof problems and said expert feedback suggests at least five may be correct. The company positioned the result as a test of long-horizon reasoning beyond standard benchmarks.