数学
AI数学能力暴涨100%，自进化直逼RL极限！CMU新作颠覆认知
通往AGI最大的绊脚石，便是互联网数据不够用了！ DeepSeek-R1、OpenAI的o系推理模型出世，不再单纯依赖人类标注「标准答案」，而是通过RL实现破局。 但问题来了——当前，LLM依然需要人类设计「正确信号」来指导训练。
6/3/2025 8:51:00 AM
陶哲轩联手AI挑战经典ε-δ极限！加法秒杀、乘法翻车
数学大师陶哲轩的AI新实验来了！ 这次是Lean 4自动化数学证明的第三支视频。 主要看看GitHub Copilot在处理分析学经典的「ε-δ」问题（描述函数极限的经典方法）时，效果究竟如何。
5/22/2025 9:08:40 AM
数学建模的AI助手MathModelAgent，给出题目就能完成分析到写论文全流程
一款名为MathModelAgent的AI助手在开源社区引发热议。 这款专为数学建模设计的智能工具，能够自动完成从问题分析、模型构建、代码编写到论文撰写的全流程，展现了AI在学术与技术领域的深远潜力。 MathModelAgent:数学建模的革命性助手MathModelAgent是一个多智能体协作系统，集成了多个专业模块，包括负责数学建模的“建模手”、代码编写与调试的“代码手”以及论文撰写的“论文手”。
5/19/2025 12:00:55 PM
AI在线
数学推理新标杆！DeepSeek-Prover-V2 实现数学证明的飞跃
在人工智能领域，最近一项重磅技术发布引发广泛关注 ——DeepSeek-Prover-V2。 这一模型不仅在推理性能上取得了显著提升，还被誉为通向人工通用智能（AGI）的关键一步。 DeepSeek-Prover-V2在推理能力和训练效率上都进行了革命性的创新，给数学推理研究带来了新的希望。
5/1/2025 10:00:51 AM
AI在线
数学大一统的惊人胜利！天才数学家用30年破解不可能，边看《星战》边写论文
一个与「数学大一统理论」相关的领域，一项长期以来被视作几乎不可能的数学证明，如今取得了突破。 在历经30年的努力后，数学家们证明了这个数学构想——几何Langlands Program。 著名数学家、Max Planck研究所的Peter Scholze（菲尔兹奖得主，他没有参与这项证明）兴奋地表示：看到它得到解决真是太好了。
4/8/2025 9:37:00 AM
新智元
大模型全军覆没，中科院自动化所推出多图数学推理新基准 | CVPR 2025
挑战多图数学推理新基准，大模型直接全军覆没？ 事情是这样的。 近日，中国科学院自动化研究所推出多图数学推理全新基准MV-MATH（该工作已被CVPR 2025录用），这是一个精心策划的多图数学推理数据集，旨在全面评估MLLM（多模态大语言模型）在多视觉场景中的数学推理能力。
3/11/2025 1:49:20 PM
量子位
科大讯飞宣布完成星火深度推理大模型X1全面升级
科大讯飞宣布其深度推理模型 —— 星火 X1进行全新升级。 本次升级旨在提升其在数学、医疗、教育等多个领域的应用能力，带来了一系列亮点和创新。 星火 X1的数学能力得到了显著提升，尤其是在处理竞赛级难题方面的表现。
3/3/2025 3:03:00 PM
AI在线
斯坦福华人博士生打破58年僵局！牛顿提出的亲吻数问题有了新突破
牛顿想出的“球体亲吻数”（kissing number）难题，华人学者取得新进展。 n维空间中，给定一个n维球体，最多有几个相同的球体可以与它接触而不重叠？ 斯坦福博士生Anqi Li在微软实习期间完成这项研究，导师Henry Cohn本意是让她用计算机辅助，她却创造性地找到了数学上的新解法。
2/10/2025 8:52:00 AM
量子位
超越国际数学奥林匹克金牌得主：谷歌 DeepMind AI 系统展现超强几何解题能力
谷歌旗下人工智能研究实验室 DeepMind 开发的人工智能系统 AlphaGeometry2 在解决国际数学奥林匹克竞赛（IMO）几何问题方面取得了突破性进展，其表现甚至超过了平均金牌得主。
2/8/2025 7:36:10 AM
远洋
数学真理的极限在哪里？希尔伯特第十问题扩展版得到证明
数学世界充满了无法触及的角落，那里存在着许许多多无法解决的问题。 现在，又一个角落被照亮了。 1900 年，著名数学家大卫・希尔伯特（David Hilbert）公布了一份清单，其中包含 23 个关键问题，并希望以此指导下个世纪的数学研究。
2/6/2025 9:50:00 AM
机器之心
Exa CEO：我们处于AGI疯狂前夜，码农迎来“天堂”时代，最受冲击的是数学家
AGI前夜的思考Exa公司CEO Will Bryk，在目睹o3模型的进展后，分享了他对AGI未来的一些想法，以下是他社媒上的帖子整理：AGI真的来了这周我和几个朋友聊了聊o3模型，他们的反应基本都是“我的天，这真的发生了吗？ ”是的，它真的发生了。 接下来的几年将会非常疯狂，这将是历史性的，甚至是星际级的事件荒谬的是，目前还没有关于AGI的深度讨论。
12/26/2024 5:00:00 PM
AI寒武纪
OpenAI o3震撼觉醒，AGI今夜降临？血洗o1，破解陶哲轩最难数学题
12天最后一天，OpenAI下一代推理模型o3真的出世了！ 奥特曼、Mark Chen、任泓宇和ARC Prize基金会主席Greg Kamradt为我们做了介绍正如所爆料那样，突如其来的o3成为整场直播的「压轴菜」。 奥特曼表示，之所以跳过o2，是因为对伙伴的尊重，以及延续OpenAI一贯「起名特别差」的传统。
12/23/2024 7:40:00 AM
新智元
AI改变数学的一年！黎曼假说、朗兰兹猜想，盘点2024年数学里程碑
今年5月，由9位数学家组成的团队宣布取得重大突破——他们用总共800多页的论文，基于过去将近30年坚持不懈的努力，证明了几何朗兰兹猜想（Langlands conjecture）。 论文共同作者之一Lin Chen现任清华大学丘成桐数学科学中心助理教授几何朗兰兹猜想的证明解决了一个巨大的开放问题，而且有望影响未来数十年的研究，因为它可能建立深刻的、意想不到的联系。 更令人兴奋的是，这并不是2024年唯一的重大进展。
12/19/2024 10:30:00 AM
新智元
三名高中生重新证明百年数学定理！只用课余时间、方法非常创新
3名高中生，只用课余时间，重新证明了100年前的数学定理。 不只是圆，你可以在门格海绵（Menger Sponge）中找到任何一个数学结（knot）！ 你可能对门格海绵还比较陌生，它是Karl Menger（卡尔·门格尔）在1926年创建的一个非常有趣的概念，对现代数学、图形学等领域都很重要。
12/2/2024 7:45:00 AM
量子位
陶哲轩新论文“太反直觉”：再战Erdős问题，证明44年数学猜想是错的
陶哲轩最新力作，在“自然数倒数之和是否为有理数”问题上取得一系列进展。 其中最引人瞩目的一项成果，就是证明了一个非常反直觉的猜想，居、然、是、对、的：存在一个递增的自然数级数ak，使得对任意有理数t，都是有理数。 （）一位Topos研究所的数学物理学家John Carlos Baez在评论区毫不掩饰自己的惊叹：哇哦，这个结论太反直觉了！
11/29/2024 1:25:00 PM
机器之心
o1/Claude集体翻车！陶哲轩等60+顶尖数学家合力提出新数学基准，大模型正确率通通不足2%
让大模型集体吃瘪，数学题正确率通通不到2%！ 获大神卡帕西力荐，大模型新数学基准来势汹汹——一出手，曾在国际数学奥赛中拿下83%解题率的o1模型就败下阵来，并且Claude 3.5 Sonnet、GPT-4o、Gemini 1.5 Pro等全都未攻破2%这一防线。 所以，新挑战者到底啥来头？
11/12/2024 9:14:52 AM
量子位
通义千问开源Qwen2-Math，成为最先进的数学专项模型
8月9日消息，阿里通义团队开源新一代数学模型Qwen2-Math，包含1.5B、7B、72B三个参数的基础模型和指令微调模型。Qwen2-Math基于通义千问开源大语言模型Qwen2研发，旗舰模型 Qwen2-Math-72B-Instruct在权威测评集MATH上的得分超越GPT-4o、Claude-3.5-Sonnet、Gemini-1.5-Pro、Llama-3.1-405B等，以84%的准确率处理了代数、几何、计数与概率、数论等多种数学问题，成为最先进的数学专项模型。注：在MATH基准测评中，通义千问数学模
8/9/2024 3:42:00 PM
新闻助手
资讯热榜
LangChain V1.0 深度解析：手把手带你跑通全新智能体架构
全网刷屏的「电影感」三宫格图片，教你用AI快速生成！
消息称软银批准对 OpenAI 追加 225 亿美元投资，助力未来上市
OpenAI 宣布印度用户可享受一年免费 ChatGPT Go 服务
软银豪掷225亿美元加码OpenAI，AI音乐与超级融资计划全面提速
OpenAI进军音乐创作领域，携手茱莉亚学院学生打造全新AI音乐模型
Transformer 之父“叛逃”：我已经受够了 Transformer！警告：AI研究变得越来越窄，我们需要找到新的架构
LLM 应用评估综合指南（多轮对话系统、RAG、AI Agent）
标签云
AI
人工智能
OpenAI
AIGC
模型
ChatGPT
DeepSeek
谷歌
AI绘画
机器人
大模型
数据
Midjourney
开源
Meta
智能
微软
用户
AI新词
GPT
学习
技术
智能体
马斯克
Gemini
图像
Anthropic
英伟达
AI创作
训练
LLM
论文
代码
算法
Agent
AI for Science
芯片
苹果
腾讯
Stable Diffusion
Claude
蛋白质
开发者
生成式
神经网络
xAI
机器学习
3D
RAG
人形机器人
研究
AI视频
生成
大语言模型
具身智能
Sora
工具
GPU
百度
华为
计算
字节跳动
AI设计
AGI
大型语言模型
搜索
视频生成
场景
深度学习
DeepMind
架构
生成式AI
编程
视觉
Transformer
预测
AI模型
伟达
亚马逊
MCP