清华推出AI数学家！独立完成数学理论难题，自动调用基本定理、构建证明思路
清华推出AI数学家！独立完成数学理论难题，自动调用基本定理、构建证明思路AI数学家来了！清华团队出品—— 他们推出AI Mathematician（AIM）框架，推理模型也能求解前沿理论研究，并且证明完成度很高。
来自主题: AI技术研报
6515 点击 2025-06-05 11:32
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
AI数学家来了！清华团队出品—— 他们推出AI Mathematician（AIM）框架，推理模型也能求解前沿理论研究，并且证明完成度很高。
如果你正在开发Agent产品，一定听过或用过Mixture-of-Agents（MoA）架构。这个让多个AI模型协作解决复杂问题的框架，理论上能够集众家之长，实际使用中却让人又爱又恨：
当前最强多模态Agent连验证码都解不了？
强化学习（RL）到底是语言模型能力进化的「发动机」，还是只是更努力地背题、换个方式答题？这个问题，学界争论已久：RL 真能让模型学会新的推理技能吗，还是只是提高了已有知识的调用效率？
斯坦福华人数学博士AI创业，0产品0用户，目标估值3亿美元方向瞄准数学AI，要为量化和对冲基金公司提供可解决实际数学问题的模型能力
当地时间 6 月 4 日，Windsurf CEO Varun Mohan 发帖称，在提前不到五天的通知时间里，Anthropic 切断了其几乎所有 Claude 3.x 模型的直接访问权限（first-party capacity），包括 Claude 3.5 Sonnet、3.7 Sonnet 和 3.7 Sonnet Thinking。
如今的新浪，已经被DeepSeek全面重塑了！新浪新闻推出AI辅助工具「智慧小浪」帮我们看新闻，更高效、更深度。同时，微博的「评论罗伯特」的人味也是噌噌up，爆梗频出、妙语连珠。
最近，华为在MoE训练系统方面，给出了MoE训练算子和内存优化新方案：三大核心算子全面提速，系统吞吐再提20%，Selective R/S实现内存节省70%。
GPT 系列模型的记忆容量约为每个参数 3.6 比特。
数学家们一直痴迷于能够解决复杂数学问题的人工智能。OpenAI 等机构开发这些模型的部分开发者认为，学会解决数学难题的 AI 可以运用相似的推理方法来解决其他类型的问题。但由于当前的人工智能尚未证明能在高等数学领域超越人类专家，一些创业者看到了开发专业数学模型的机遇。