Ethan Mollick· emollick·· 10 天前AI 评分28
OpenAI数学证明引发社区快速迭代
Interesting to see, given the controversy over the OpenAI release of a series of proofs and what it means for the discipline of mathemati...
AI 导读
鉴于OpenAI发布一系列数学证明及其对数学学科意义引发的争议，有趣的是，至少部分OpenAI的证明似乎已推动来自广泛协作社区的极快迭代进展。
来源：Ethan Mollick · x.com