Ethan Mollick· @emollick · X·· 10 小时前AI 评分50
AI 导读
有意思的是,鉴于OpenAI发布一系列证明及其对数学学科意义的争议,至少部分OpenAI证明似乎引发了广泛合作者社区极其快速的迭代进展。
正文
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.
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.在 X 查看被引用的帖子
来源:Ethan Mollick · x.com