Verification

Oct 11, 2026

OpenAI's 370 math solutions spark excitement, verification challenges

OpenAI releases potential solutions for 370 math problems, with mathematicians cautious but hopeful about potential breakthroughs.