//@ubunoon://@宝玉xp://@互联网的那点事:DeepSeek 开源了一个数学推理大模型：DeepSeek-Math-V2，超越Google 的 Gemini 获得 IMO 金牌，它不仅能给出正确答案，而且还能验证自己的推理是否合理
@小互AI
DeepSeek 开源了一个数学推理大模型：DeepSeek-Math-V2 超越 Gemini 获得 IMO 金牌它不仅能给出正确答案，而且还能验证自己的推理是否合理核心创新是开发了一个“生成 + 验证+复审”的自我验证系统”模型能：自动生成数学证明；自行检查每一步是否合理；修正推理错误后再输出最终证明。DeepSeek-Math-V2 在多个高难度数学测试上表现优异在五大数学领域（代数、几何、数论、组合、 不等式）中：DeepSeekMath-V2 全面超越 GPT-5-Thinking 和 Gemini 2.5 Pro。竞赛表现IMO 2025（国际数学奥赛）：解出 6 题中 5 题，金牌水平。CMO 2024（中国数学奥赛）：解出 4 题 + 1 题部分得分，金牌水平。Putnam 2024（美国大学数学赛）：118/120 分，几乎满分。能力特点准确率高：答案正确率超过 GPT-5 与 Gemini 系列；推理严谨：每一步逻辑都能自检，避免跳步或幻觉；自我改进能力强：能在多轮验证中不断提升证明质量；解释性好：输出不仅有结论，还有完整推理过程；详细介绍：网页链接
你们看看是不是：微博正文 查看图片 //@UNCL3PAUL:孩子，你应该检查一下你自己的智力。竹棚是最安全也是最稳固且耐高温耐烧的唯一材质，你可以看一下现在已经灭火的转态，全部都烧没了，只剩下外墙的竹子，并且的清晰可见。你不懂建筑行业，在此刻发这种言论，是可笑。
@tombkeeper
看到有人用“竹子可以做竹筒饭”来论证竹子并不易燃。这首先是智力问题，其次是意识形态问题。当然，意识形态也是通过干扰智力来发挥作用的。能被干扰的智力也是有问题的智力，所以，归根结底还是智力问题。竹筒饭用的是什么竹子？砍下来不久的新鲜竹子，一半以上重量都是水分。“稻草是否易燃”和“禾苗是否易燃”是两个不同的问题，答案自然不会一样。这是其一。其二，我又要提到儿童读物《十万个为什么》了。在 1980 年出版的《十万个为什么·物理·2》的第 48 页，有一篇《纸可以做锅子吗》。既然纸可以做锅烧水，那么纸也并不易燃吗？
看到有人用“竹子可以做竹筒饭”来论证竹子并不易燃。这首先是智力问题，其次是意识形态问题。当然，意识形态也是通过干扰智力来发挥作用的。能被干扰的智力也是有问题的智力，所以，归根结底还是智力问题。竹筒饭用的是什么竹子？砍下来不久的新鲜竹子，一半以上重量都是水分。“稻草是否易燃”和“禾苗是否易燃”是两个不同的问题，答案自然不会一样。这是其一。其二，我又要提到儿童读物《十万个为什么》了。在 1980 年出版的《十万个为什么·物理·2》的第 48 页，有一篇《纸可以做锅子吗》。既然纸可以做锅烧水，那么纸也并不易燃吗？
有人给我看了一条信息，是一个币圈的人说我在粉丝群里搞了一个投票，调查大家攒了多少钱。据说大部分投的是 100-200 万，还有些是 500-600万，个别是 800-1000 万。首先呢，这个所谓投票是不存在的。币圈这种一屁三谎的人特别多（微博正文），所以也不奇怪。其次呢，如果真搞这样的投票，投 800-1000 万的肯定不是个别人。Translate contenttombkeeper 的微博币圈这种有今天没明天的蜉蝣感（http://t.cn/A6BzFwQl），我给你们举个例子。 2025 年 1 月 3 日，有人提到我在 2018 年提出可以搞数字币 AI Agent（图1）。大概是因为看到了这条消息，2025 年 1 月 5 日，有人把一个养了 10 年的号清空内容，改名为“tombkeeper”（图2、图3）。紧接着，第二天，就急