ETH被推翻了！！！ · @Moonquakes_ai · TwKit

@Moonquakes_ai

AI声称推翻了计算机科学的一项核心猜想：OpenAI、Claude与Lean证明之争 如果一个困扰计算机科学家二十多年的难题，被AI用几天时间找到了解法，而且机器还检查了证明，我们是不是应该立即相信它？

曝光 143 · 评论 1 · 点赞 1 · 书签 1