Interesting to see, given the controversy over the OpenAI release of a series of proofs and what it means for the discipline of mathematics, that at least some of the OpenAI proofs seem to have kicked off extremely rapid iterative advances from a wide community of collaborators.
Community Rapidly Advances OpenAI-Linked Proofs, Tightening Bound to 2⁻¹⁵
AISummary
Ethan 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.
Post on XView on X
@emollick
Validated and merged Rohan's PR. Big gain on a really difficult regime (that frankly I was stuck at). Incredible work. κ = 2⁻¹⁵ (tightened from κ = 2⁻¹⁸²) A 500 thousand fold improvement over the previous result and a 2 ^ 167 fold improvement over the original OpenAI result. This result was a true community effort that combined techniques from a number of contributors. I want to take time to highlight each of them, but for now getting these results verified and published as fast as possible so everyone working on the problem is at the leading edge.View quoted post on X
Source: Ethan Mollick · x.comPublished · added here