陶哲轩亲测点赞，o3-mini秒证图论难题！专家级证明完整呈现
陶哲轩亲测点赞，o3-mini秒证图论难题！专家级证明完整呈现o3-mini成功挑战图论中专家级证明，还得到了陶哲轩盛赞。经过实测后，他总结称LLM并非是数学研究万能解法，其价值取决于问题得性质和调教AI的方式。
来自主题: AI技术研报
7839 点击 2025-03-11 17:55
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
o3-mini成功挑战图论中专家级证明，还得到了陶哲轩盛赞。经过实测后，他总结称LLM并非是数学研究万能解法，其价值取决于问题得性质和调教AI的方式。
和雇主用的AI招聘工具们来一场“中门对狙”
o1/o3这样的推理模型太强大，一有机会就会利用漏洞作弊，怎么办？
在 ICLR 2025 中，来自南洋理工大学 S-Lab、上海 AI Lab、北京大学以及香港大学的研究者提出的基于 Flow Matching 技术的全新 3D 生成框架 GaussianAnything，针对现有问题引入了一种交互式的点云结构化潜空间，实现了可扩展的、高质量的 3D 生成，并支持几何-纹理解耦生成与可控编辑能力。
北京时间3月10日，彭博科技报道称，ServiceNow公司接近达成收购人工智能公司Moveworks的交易，交易价格接近30亿美元。
一期长达5小时的播客，究竟谁在听？MIT人工智能研究员、知名播客主持人及科技传播者Lex Fridman的对谈节目《Lex Fridman Podcast》近期推出了有关DeepSeek的一期内容： 截至3月7日，这一期节目在YouTube上获得了178万播放量和2.5万like（点赞），对DeepSeek所代表的AI大模型革新的解读，获得了大量科技界、商界从业者的关注。
国产机器人，再次惊呆了歪果仁。这便是深圳众擎机器人最新发布的视频。视频中的机器人名叫PM01，身高1.38米，体重约40公斤，全身24个自由度。可以看出，不论是起跑、跑步过程以及停跑，各个关节的协调几乎是没有了“机器人味儿”。
北京时间3月10日，据《华尔街日报》报道，富士康母公司鸿海已研发出中国台湾地区首个具备先进推理能力的大模型，性能上落后于DeepSeek的部分大模型。鸿海周一表示，已自主研发了具备推理能力的人工智能(AI)大语言模型FoxBrain，并在四周内完成训练。FoxBrain最初为公司内部使用而设计，具备数据分析、数学运算、推理以及代码生成的能力。
北京时间3月10日清晨，推特用户jianxliao发布推文称成功“越狱”了Manus AI的代码，据其透露，他只是简单地要求Manus提供"/opt/.manus/"目录下的文件，系统便直接提供了沙盒运行时代码，并揭示了Manus使用Claude Sonnet模型、配备29个工具且使用了browser_use开源项目等技术细节。
吴彦祖高途合作推398元AI英语课，高途亏损仍押注AI教育。