陶哲轩转发！DeepMind开源「AI数学证明标准习题集」
陶哲轩转发！DeepMind开源「AI数学证明标准习题集」陶哲轩转发，AI搞数学证明的标准习题集来了！
来自主题: AI技术研报
7991 点击 2025-05-31 17:44
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
陶哲轩转发，AI搞数学证明的标准习题集来了！
2025年，DeepSeek迅速席卷全国医疗行业。
豆包、文心一言、DeepSeek、元宝……这些国产AI工具，正在大规模进入职场内容流里。我们以为它们是工具，其实它们更像是一种“说得太像真的语气”，让每个使用者都可能在不经意间交出判断力。
昨晚，终于等到了DeepSeek-R1-0528官宣。升级后的模型性能直逼o3和Gemini 2.5 Pro。如今，DeepSeek真正坐实了全球开源王者的称号，并成为了第二大AI实验室。
继陆续改变搜索、电商、家电、汽车等诸多行业后，DeepSeek以及其代表的AI技术正在深入改变资讯客户端。
DeepSeek 猝不及防地更新了，不是 R2，而是 R1 v2。
复刻DeepSeek-R1的长思维链推理，大模型强化学习新范式RLIF成热门话题。
哈喽，大家好，我是袋鼠帝 昨天下午下班后，DeepSeek R1更新了 然而他们就只是悄悄在微信群里面发布了这个消息。
新版DeepSeek-R1重磅开源，凌晨已放出权重！此次模型性能几乎与o4-mini（Medium）相当，编程实测超越Claude 4 Sonnet。网友纷纷惊叹：开源又一次胜利了。
近半年来，OpenAI 形象开始变得灰暗： 团队骨干相继离职引发猜疑、组织转型遭受口诛笔伐、GPT-4.5/Sora 等模型表现不及预期，还有被 DeepSeek R1 打破的叙事神话……