DeepMind 再登 Nature 封面：AI 首批重大数学发现，验证两大数学猜想
12月2日消息，谷歌母公司旗下顶级AI研究机构DeepMind刚刚披露最新研究成果--实现人工智能（AI）的首批重大数学发现。该研究论文登上了国际顶级学术期刊Nature封面。▲DeepMind《人类
丘成桐成立不用高考的清华求真书院，只为培养数学家，还称 AI 有望帮忙检查数学证明
首位华人菲尔兹奖得主丘成桐：AI有望用来检查数学证明，还可以帮数学家更透彻地理解外文文献（比如拉丁文、德文…）。这段发言来自2022届世界人工智能大会开幕式，丘成桐与前微软执行副总裁沈向洋的对话中。知
2022-09-13 资讯 我要分享
OpenAI开源722篇AI数学手稿 引数学界激辩
OpenAI在GitHub一次性公开722篇AI生成的数学手稿、372个结果族，涉及黎曼猜想等千禧年难题的进展，平均每个结果仅耗约3小时算力。数学界反应两极：高等研究院咨询小组参与把关，25位菲尔兹奖
2026-10-08 人工智能 我要分享
AI创企Axiom完成数学巨著形式化验证
估值16亿美元的AI数学创企AxiomMath宣布，已完成对约7654页数学巨著StacksProject的形式化验证，将其译成约1600万行Lean代码逐行机检。公司称此举是要为AI智能体打造可信的
2026-11-06 人工智能 我要分享
OpenAI一次性公开400项AI数学成果
OpenAI本周在GitHub一次性公开近400项AI生成的数学研究成果，装满719份手稿，覆盖数论、几何、组合等几乎全部主要分支。斯坦福数学家称其中含黎曼假设进展、Hodge猜想特例与四维Kakey
2026-10-10 人工智能 我要分享给 AI 补数学课，人工智能可证明数学数据库中 82% 的问题了
不得不说，科学家们最近都在痴迷给AI补数学课了。这不，脸书团队也来凑热闹，提出了一种新模型，能完全自动化论证定理，并显著优于SOTA。要知道，随着数学定理愈加复杂，之后再仅凭人力来论证定理只会变得更加
2022-12-19 资讯 我要分享
OpenAI一次性公开数百项AI数学成果
OpenAI在GitHub公开数百项由内部未发布模型生成的数学研究成果，大量证明已经Lean形式化验证。公司称几乎每项成果都由单个智能体、单条提示完成，数学界对新模型未公开持保留态度。
2026-10-07 人工智能 我要分享
数学界掀起抵制OpenAI浪潮 陶哲轩领衔发声
OpenAI一次性公开数百份AI生成的数学文稿后，由陶哲轩任主席的「人类数学协会」呼吁数学家抵制OpenAI，称其违反科研规范。多位学者抱怨这些证明根本读不懂，菲尔兹奖得主们则警告：批量「收割」数学难
2026-10-09 人工智能 我要分享Google AI系统DeepMind高中数学考试不及格
Google旗下DeepMind团队让AI系统接受一项高中程度的数学测试，在40道题目中只答对14题，连“1+1+1+1+1+1+1”也算错了
洋葱数学CEO杨临风：在线数学风口之下 人机交互推动教育升级
关注并标星36氪每天3次，打卡阅读更快更深刻洞察互联网商业━━━━━━在线数学通过人机交互形态的产品升级正在推动教育行业升级。在技术与资本推动的商业浪潮下，...
AI 学高数达到 MIT 本科水平，学了微积分线性代数概率论等 6 门课，不光能做题还能出题
让语言模型做数学题，有多难？强如GPT-3，在9-12岁的小学数学上，第一次才考20多分。去年底GPT-3用上新方法努力了很久终于拿到55分，可惜还是没及格。万万想不到啊，2022年才刚开始，突然有人
AI 又对奥数下手，刷题刷出“模考”最好成绩
AI在最不擅长的数学方面，这次大幅刷新了最好成绩。其中关键角色是OpenAI给Lean做的一个定理证明器。听起来有点耳熟？没错，就是去年参加国际数学奥林匹克竞赛（IMO）的"非人"选手Lean~自从2
AI 科学语言大模型火了，数学生物计算机样样行，编代码写综述也不在话下
AI搜索引擎再度进化？！给这个AI一个主题，分分钟给你甩出一篇论文综述，而且还会自己提供论文引文。又或者输入一个科学类的名词，AI也能迅速生成这个名词专属的维基百科。这个AI名叫Galactica（简
2022-12-21 资讯 我要分享
菲尔兹奖得主 不再按对错批改作业
伯克利数学教授、菲尔兹奖得主博彻兹宣布不再按对错批改作业，只看完成度，因为学生用AI稳定拿高分，逐题核对已无意义。他坦言不知该不该劝学生入行，连ChatGPT都答不上来；学校测试的AI检测工具也被认定
2026-10-26 人工智能 我要分享
Meta宣布Muse Spark助解6个数学难题
MetaAI研究部门10月2日公布6篇与MuseSpark合作完成的数学论文，其中5篇给出此前悬而未决的开放问题答案，覆盖概率、微分方程、群论等领域。数学家全程只用了公开的meta.ai聊天界面，没有
2026-10-03 人工智能 我要分享AI 做题家卷疯了！高数考试正确率 81%，竞赛题成绩超过计算机博士
高数考不好，不知道是多少人的噩梦。如果说你高数考得还不如AI好，是不是就更难以接受了？没错，来自OpenAI的Codex已经在MIT的7门高数课程题目中正确率达到81.1%，妥妥的MIT本科生水平。课
2022-12-19 资讯 我要分享
