“深度思维”AI系统探索科研级数学问题
人工智能（AI）正从解决数学竞赛题迈向探索科研级数学问题。谷歌旗下“深度思维”公司团队开发并测试了一种名为AlphaProof Nexus的AI框架，其能自主搜索数学证明，并利用计算机程序验证推理过程。在测试中，该系统解决了9个此前未解决的厄多斯问题，其中两个已悬而未决超过50年。此外，该系统还解决了44个开放数学猜想。相关成果发表于最新一期《科学》杂志。同期评论文章指出，AI用于科研级数学的时代已经到来。近年来，AI解决数学问题的能力不断提升。然而，竞赛数学主要考查已有方法的灵活运用，大型语言模型还容易产生逻辑错误，难以直接用于严谨的数学研究。为解决这一问题，团队让AI使用Lean等形式化证明工具。所谓“形式化”，就是用足够精确的语言完整写出数学证明，让计算机能够逐步检查每一步推理是否符合数学公理和规则。团队在这里使用的Lean证明助手，能够自动验证证明的逻辑正确性，帮助发现推理中的错误。此次开发的AlphaProof Nex......阅读全文
“深度思维”AI系统探索科研级数学问题
人工智能（AI）正从解决数学竞赛题迈向探索科研级数学问题。谷歌旗下“深度思维”公司团队开发并测试了一种名为AlphaProof Nexus的AI框架，其能自主搜索数学证明，并利用计算机程序验证推理过程。在测试中，该系统解决了9个此前未解决的厄多斯问题，其中两个已悬而未决超过50年。此外，该系统还解决
AI首次创建高效准确数学算法
英国《自然》杂志封面以“矩阵游戏”为题，发表了人工智能（AI）公司“深度思维”团队的最新发现：AI可解决矩阵乘法问题。这是第一个可为矩阵乘法等基本任务发现新颖、高效且正确算法的AI系统。换句话说，这个名为“AlphaTensor”的AI能自行发现新算法，从而解决了50年来数学领域一个悬而未决的问
为何AI验证数学证明引发关注？
为何AI验证数学证明会引发如此广泛的关注？答案在于：一群研究者刚刚用人工智能系统，自动形式化验证了数论中被称为“246定理”、与素数相关的艰难证明——这是人类知识边界上最前沿的一块拼图。这被视为AI辅助数学研究的重大里程碑。Axiom Math团队首次借助其AI系统AxiomProver，对这条与素
“征服”数学，AI是否有能力“回答世界”
最近，专门为人工智能（AI）设立的AI国际奥林匹克数学竞赛（IMO）即将进入尾声，其结果将随今年7月于英国巴斯举行的65届IMO大会同步揭晓。这项赛事的目的是推动发展大语言模型的数学推理能力，训练出更高数学水平的新AI模型。 纯数学领域中的重大发现是推理和创造力的灵感结晶，往往意味着人类智慧
数学证明AI化正成新风口
一个长期难题正迎来转机：如何让数学证明既严谨又可被机器验证？记者Kevin Hartnett在新书《代码中的证明》（The Proof in the Code）中，追溯了能攻克难题的计算机程序崛起之路，揭示“数学证明AI化”正成为新风口。问题始于2024年国际数学奥林匹克（IMO）。那年，谷歌Dee
研究显示：AI数学证明效果提升显著
问题提出：当两套研究同时借助 AI 攻克同一道难题 上周四，麻省理工学院（MIT）研究生 Seyoon Ragavan 将自己的一份量子密码学证明发给了朋友、加州大学圣巴巴拉分校（UCSB）博士生 Yao-Ting Lin。然而 Lin 当时正与导师、UCSB 教授 Prabhanjan Ana
为何AI破解数学猜想引发关注？
上周，OpenAI震动数学界：它披露旗下一个内部人工智能模型，找到了传奇匈牙利数学家保罗·埃尔德什（Paul Erdős）1946年提出著名猜想的反例。这个“平面单位距离问题”（埃尔德什第90号问题）困扰数学家数十年。加拿大数学家丹尼尔·利特（Daniel Litt）称其为“第一个由AI自主产出、
研究显示：AI数学解题能力显著提升
案例详情：一份新的数学愿望清单 今年六月的一天，来自全球各地的数学小组齐聚六座城市——伦敦、多伦多、洛杉矶、纽约、伯克利与坎布里奇，共同编制一份全新的"五十大高难度开放问题"清单。这项活动由专门评估AI进展的Epoch AI发起，唯一的硬性要求是：每个问题都必须能用计算机自动
数学家热议AI：AI非常强大，要善用并提高自身能力
8月10日，2026年国际基础科学大会“数学之夜”在北京雁栖湖应用数学研究院举办。清华大学讲席教授丘成桐、清华大学教授考切尔·比尔卡尔、法国国家科学研究中心教授克莱尔·瓦赞、美国哈佛大学教授姚鸿泽、美国普林斯顿大学教授张寿武等国内外顶尖数学家围绕人工智能（AI）对数学的影响展开深入探讨。 丘成
AI破解数学难题正成为新风口
人工智能或许刚刚改写了数学史。据多家报道，AI 已攻克数学界六大"百万美元"公开难题之一，证明支配流体运动的纳维-斯托克斯方程在本质上存在缺陷。如果属实，这将是至少二十年来数学领域最具分量的一天。 纳维-斯托克斯方程描述的是从浴缸排水口的漩涡到厄尔尼诺横扫北美的狂风等一切流体运动。经过两个世纪的研
AI求解数学难题正成为新风口
人工智能公司Anthropic用大语言模型生成了一份渗流理论核心猜想的证明，仅在其预言者发文数日后便宣告成功。 渗流理论研究随机网络中连通性的出现，一个长期圣杯问题便是刻画网络从有限簇到无限簇的相变阈值。 具体而言，数学家长期寻求理解一个阈值：高于它，某网络由无限开放连接构成的概率高；低于它，该概率
科学家设置数学测试新基准，难倒AI
下棋、写诗、绘画……人工智能（AI）似乎越来越“多才多艺”，就连数学似乎都难不倒它。大语言模型（LLM），如OpenAI的ChatGPT，几乎在每一次数学测试中都表现良好。不过，此前AI几乎没有触及数学领域的前沿研究，并不能反映其真正的数学能力。近日，一项在预印本平台公布的研究中，美国技术研究机构E
阿里巴巴全球数学竞赛首次向AI开放
学好数学，无论对人类还是AI都至关重要。3月14日国际数学日，2024阿里巴巴全球数学竞赛开始报名。今年赛事最大的革新在于首次向AI开放，诚邀全球AI大模型挑战竞赛难度试题。 数学不仅承载人类智慧的杰出成果，更是推动新一轮AI创新的关键。当前AI已在自然语言、视频生成等方面展现出惊人表现，但在
AI数学个性化辅导取得重大进展
慕尼黑工业大学（TUM）与科隆大学的研究人员开发出一套基于AI的学习系统：它用普通摄像头追踪眼球运动，识别学生在数学上的优势与薄弱点，并自动生成解题提示。这让教师得以同时为一大批孩子提供个性化支持，在师资短缺的背景下尤具价值。这一AI数学个性化辅导系统，已在德国一所中学落地应用。 案例
阿里巴巴全球数学竞赛首次向AI开放
学好数学，无论对人类还是AI都至关重要。3月14日国际数学日，2024阿里巴巴全球数学竞赛开始报名。今年赛事最大的革新在于首次向AI开放，诚邀全球AI大模型挑战竞赛难度试题。 数学不仅承载人类智慧的杰出成果，更是推动新一轮AI创新的关键。当前AI已在自然语言、视频生成等方面展现出惊人表现，但在
研究显示：AI破解数学难题效果提升显著
核心数据：AI模型50%成功率推翻80年猜想1946年，著名数学家保罗·埃尔德什提出了一个关于单位距离问题的猜想：在平面上放置若干点，使得尽可能多的点对之间距离相同，埃尔德什认为最佳排列方式是使用规则网格。八十年来，无人能够证明或推翻这一猜想。然而，OpenAI的研究者将这一猜想交给AI模型处理后，
AI数学证明可信性难题终于有解了
本周二，聊天机器人制造商开放人工智能发布数百篇新论文，声称包含各类数学问题的证明，这正值其人工智能智能体求解纳维-斯托克斯方程的方式引发巨大争议之后。这一发布的处理方式，如同纳维-斯托克斯事件一样，惹恼了该领域的专家，他们对该公司模型可能使用其成果感到恼火，也反感隐含的期望——即他们应去从事拆解并
助手还是对手？AI工具将如何改变数学领域
原文地址：http://news.sciencenet.cn/htmlnews/2023/2/494250.shtm ChatGPT的横空出世让人们对聊天机器人的兴趣如野火般蔓延，数学家们开始探索人工智能（AI）如何帮助他们完成工作。英国《自然》杂志网站在2月17日的报道中指出，机器学习等AI工
AI破解六维球面数学谜题正成新风口
一个六维球面能否用复数（包含看似不可能的负一平方根）完整描述？这个由德国数学家海因茨·霍普夫（Heinz Hopf）在1947年提出的问题，悬置了近80年。如今，Anthropic公司的数学家莱文特·阿尔珀格（Levent Alpöge）借助人工智能，似乎给出了肯定答案——尽管结果尚未被完全验证。这
AI会做奥林匹克数学题，成绩接近“金牌选手”
原文地址：http://news.sciencenet.cn/htmlnews/2024/1/516239.shtm
AI时代来临－我们应该关注哪些问题？
2023年，围绕OpenAI的商业博弈之所以如此抓人眼球，不仅因为它可能是未来一段时间内全球最具影响力的公司，还因为当我们关注OpenAI抓马的时候，我们并非在看一场普通的商业斗争。当一家公司在同时被科学式的探索精神、前所未有的商业利益和人类道德约束同时驱动的时候，它的每一次选择，可能都是一场人性的
AI教育风潮席卷中国高校－学生用AI学AI
“What does this machine do(这台机器是干什么的)？”4日下午，西南交通大学孟加拉国留学生Zahidul Alam拍下身前吊弦疲劳试验仪器的照片。收到他的语音提问后，手机中的24小时在线“AI学伴”瞬间给出如论文般详细的英文回答。 这是西南交大首门人工智能通识课的第一课
科研需要AI，AI需要什么
由中国科学院文献情报中心发起的语料创新生态联盟（以下简称“联盟”）近日在北京启动，语料标准规范、敖仓·语料社区服务平台及英文期刊Data Express in AI Corpus等成果同步发布。当日，敖仓·科技语料库分别与语料应用关键机构、国家人工智能应用中试基地签署合作协议。 为什么要干这件
用AI识别AI：西湖大学研究可检测AI生成文本
虚假新闻、恶意产品评论、剽窃……ChatGPT、 GPT-4等AI大语言模型的应用带来便利，但其误用也带来一系列问题。西湖大学工学院张岳教授的“文本智能实验室”日前发布的一项研究提出一种高准确率、高速、低成本、通用的新文本检测方法——Fast-DetectGPT，无需训练即可识别各种AI大语言模型生
阿里达摩院印卧涛：数学家如何与AI合作？
最新发布的《达摩院2022十大科技趋势》将AI for Science列为重要趋势，认为“人工智能成为科学家的新生产工具，催生科研新范式”，引起学界热议。AI究竟对传统科研意味着什么？我们做好迎接准备了吗？以下为阿里达摩院城市大脑实验室负责人华先胜的观点。DeepMind与合作者最近在Nature发
山东科技大学数学学院AI辅导员上线
7月14日，山东科技大学数学学院自主开发的AI辅导员“数导小π”正式上线。在前期的试运行阶段，该系统为学生提供了精准的学校及学院政策问答服务。据介绍，“数导小π”聚焦学生高频咨询场景，整合奖助学金申请、课程选修、学术竞赛信息、心理健康支持、第二课堂申请、征兵入伍等学生关注的政策信息，实现24小时全天
ChatGPT的拷问：何为AI伦理、AI治理
前不久，AI聊天机器人程序ChatGPT席卷全球，完成了AI第一次大规模的自传播。作为人工智能领域的现象级应用，ChatGPT可能引发的信任、责任、伦理、法律等问题也很快引发各界关注与担忧。近年来，不少关于人工智能（AI），并和人类生产、生活关系紧密的议题被广泛讨论，诸如“如何应对AI可能对社会产生
ChatGPT的拷问：何为AI伦理、AI治理
原文地址：http://news.sciencenet.cn/htmlnews/2023/2/494707.shtm 前不久，AI聊天机器人程序ChatGPT席卷全球，完成了AI第一次大规模的自传播。作为人工智能领域的现象级应用，ChatGPT可能引发的信任、责任、伦理、法律等问题也很快引发各
“AI+”时代－|－AI“解码”免疫系统
人体免疫系统包含了很多有关身体健康的信息，其中的关键部分就包含在血液中。医学界提出了一个大胆设想：通过创建一个万能的血液测试，采集免疫系统与病原体之间的反应信息，绘制“免疫图谱”，从而解码免疫系统中的信息，及时在疾病恶化前筛查确诊。那么，什么样的平台能提供足够的计算力，不断通过机器学习和精准模型
AI能有效简化量子问题任务量
原文地址：http://news.sciencenet.cn/htmlnews/2022/9/487055.shtm 科技日报北京9月28日电 （记者张梦然）通过使用人工智能（AI），美国物理学家将一个令人生畏的涉及10万个方程的量子问题压缩到一个仅有4个方程的小任务中，且没有牺牲准确性。发表在