OpenAI 放出三个数学和物理成果，还特意说：学术功劳我们不要。 计算机那个声称推翻了指数时间假设（ETH），证明和 Lean 形式化都放上了 GitHu… · @yinpengxuan · TwKit

@yinpengxuan

OpenAI 放出三个数学和物理成果，还特意说：学术功劳我们不要。 计算机那个声称推翻了指数时间假设（ETH），证明和 Lean 形式化都放上了 GitHub。数学那个说证明了局部光滑猜想，能推出挂谷猜想。物理那个暂不公开。 都还没经过独立评审。 AI 负责产出，人类负责读懂和验证，这个分工你信得过吗？

曝光 4 · 评论 0 · 点赞 0 · 书签 0