陶哲轩亲测点赞，o3-mini秒证图论难题！专家级证明完整呈现
陶哲轩亲测点赞，o3-mini秒证图论难题！专家级证明完整呈现o3-mini成功挑战图论中专家级证明，还得到了陶哲轩盛赞。经过实测后，他总结称LLM并非是数学研究万能解法，其价值取决于问题得性质和调教AI的方式。
来自主题: AI技术研报
7901 点击 2025-03-11 17:55
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
搜索
o3-mini成功挑战图论中专家级证明，还得到了陶哲轩盛赞。经过实测后，他总结称LLM并非是数学研究万能解法，其价值取决于问题得性质和调教AI的方式。
和雇主用的AI招聘工具们来一场“中门对狙”
挑战多图数学推理新基准，大模型直接全军覆没？！
前段时间，幻方科技、DeepSeek 创始人梁文锋亲自挂名的一篇论文传遍了全球互联网。
没有任何冷启动数据，7B 参数模型能单纯通过强化学习学会玩数独吗？
今天给大家看个新东西，聊一聊我在怎么防AI洗稿。。。
为什么必须像评估劳动力一样评估LLM代理，而不仅仅是评估软件。
在 ICLR 2025 中，来自南洋理工大学 S-Lab、上海 AI Lab、北京大学以及香港大学的研究者提出的基于 Flow Matching 技术的全新 3D 生成框架 GaussianAnything，针对现有问题引入了一种交互式的点云结构化潜空间，实现了可扩展的、高质量的 3D 生成，并支持几何-纹理解耦生成与可控编辑能力。
北京时间3月10日，彭博科技报道称，ServiceNow公司接近达成收购人工智能公司Moveworks的交易，交易价格接近30亿美元。
随着推理模型能力提升，本周Agent也进入刷屏周。