Community Rapidly Advances OpenAI-Linked Proofs, Tightening Bound to 2⁻¹⁵
AIEthan Mollick notes that some OpenAI proofs have sparked rapid iterative advances from a wide community of collaborators amid debate over their implications for mathematics. A related post reports that a collaborative effort tightened the bound κ from 2⁻¹⁸² to 2⁻¹⁵, a roughly 500-thousand-fold improvement on the previous result.










