Ethan Mollick· @emollick · X·· 4 小时前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