AI数学证明可信性难题终于有解了
本周二，聊天机器人制造商开放人工智能发布数百篇新论文，声称包含各类数学问题的证明，这正值其人工智能智能体求解纳维-斯托克斯方程的方式引发巨大争议之后。这一发布的处理方式，如同纳维-斯托克斯事件一样，惹恼了该领域的专家，他们对该公司模型可能使用其成果感到恼火，也反感隐含的期望——即他们应去从事拆解并核实那些有时近乎难以理解的人工智能证明的苦活。 一个名为"人类数学协会"的组织发表声明抨击开放人工智能的发布，该声明随后被菲尔兹奖得主、数学界重量级人物陶哲轩转发并实际认可。声明指出，数学界对进步有受历史和领域特性塑造的特定愿景，拒绝开放人工智能关于此次发布推进了学科的主张，并敦促数学家和公众以应有的怀疑看待这种出版模式的价值。 声明补充道，一次性发布逾七百个文件并非学术造诣的展示，而是实力的展示。在随文件发布的公告中，开放人工智能吹嘘其为改善与数学界分享成果所做的努力，并表示一直在咨询一个名为数学与人工智能顾问小组的独立专家机构。然......阅读全文
AI数学证明可信性难题终于有解了
本周二，聊天机器人制造商开放人工智能发布数百篇新论文，声称包含各类数学问题的证明，这正值其人工智能智能体求解纳维-斯托克斯方程的方式引发巨大争议之后。这一发布的处理方式，如同纳维-斯托克斯事件一样，惹恼了该领域的专家，他们对该公司模型可能使用其成果感到恼火，也反感隐含的期望——即他们应去从事拆解并
为何AI验证数学证明引发关注？
为何AI验证数学证明会引发如此广泛的关注？答案在于：一群研究者刚刚用人工智能系统，自动形式化验证了数论中被称为“246定理”、与素数相关的艰难证明——这是人类知识边界上最前沿的一块拼图。这被视为AI辅助数学研究的重大里程碑。Axiom Math团队首次借助其AI系统AxiomProver，对这条与素
我国团队完成三维粘性挂谷猜想形式化验证
近日，南开大学讲席教授郭少明带领团队与字节跳动Seed合作完成三维粘性挂谷猜想的形式化验证工作，并在开源代码托管平台GitHub上发布。 据悉，这一成果实现了对现代数学领域三维挂谷猜想的一次机器形式化验证，也为未来利用计算机处理更大规模、更复杂的数学证明任务提供了重要实践。 形式化验证，简单
研究显示：AI数学解题能力显著提升
案例详情：一份新的数学愿望清单 今年六月的一天，来自全球各地的数学小组齐聚六座城市——伦敦、多伦多、洛杉矶、纽约、伯克利与坎布里奇，共同编制一份全新的"五十大高难度开放问题"清单。这项活动由专门评估AI进展的Epoch AI发起，唯一的硬性要求是：每个问题都必须能用计算机自动
AI破解六维球面数学谜题正成新风口
一个六维球面能否用复数（包含看似不可能的负一平方根）完整描述？这个由德国数学家海因茨·霍普夫（Heinz Hopf）在1947年提出的问题，悬置了近80年。如今，Anthropic公司的数学家莱文特·阿尔珀格（Levent Alpöge）借助人工智能，似乎给出了肯定答案——尽管结果尚未被完全验证。这
全流程数学研究智能体发布－自主攻克多项长期公开数学难题
7月6日，中国科学院数学与系统科学研究院（以下简称数学院）发布基于大语言模型的数学研究智能体“数学机械化智能体（MechMath Agent Team，简称MMAT）”，该智能体搭建起了覆盖数学研究全流程的研究框架，是数学家的全新智能研究助手，这标志着我国大模型驱动的定理证明技术实现前沿科研级突
数学证明AI化正成新风口
一个长期难题正迎来转机：如何让数学证明既严谨又可被机器验证？记者Kevin Hartnett在新书《代码中的证明》（The Proof in the Code）中，追溯了能攻克难题的计算机程序崛起之路，揭示“数学证明AI化”正成为新风口。问题始于2024年国际数学奥林匹克（IMO）。那年，谷歌Dee
数学证明难题终于有解了
闸门已经打开。就在OpenAI的新大语言模型取得二十年来最大数学突破一个月之后，这家公司又放出了一批成果：据称多达三百七十二项结果，每一项都解决或实质性推进了数学或理论计算机科学中的某个重大公开问题。这些结果于美国东部时间傍晚六点发布在一个公开代码仓库中，数学界需要数月才能逐一消化、理解，以判断
助手还是对手？AI工具将如何改变数学领域
原文地址：http://news.sciencenet.cn/htmlnews/2023/2/494250.shtm ChatGPT的横空出世让人们对聊天机器人的兴趣如野火般蔓延，数学家们开始探索人工智能（AI）如何帮助他们完成工作。英国《自然》杂志网站在2月17日的报道中指出，机器学习等AI工
人工智能参加国际奥数仅比金牌差一分
在从围棋到战棋类游戏的所有领域战胜人类后，美国谷歌公司旗下DeepMind现在表示，它在解决数学问题方面即将击败世界顶尖学生。7月25日，DeepMind宣布，其人工智能系统已经解决了本月在英国巴斯举行的2024年国际数学奥林匹克竞赛（IMO）所出6个题目中的4个。人工智能给出了严谨、循序渐进的证明
专家热议科研诚信与学术规范
近日，由教育部高等学校图书馆学专业教学指导委员会主办的第二届“科研诚信与学术规范”研讨会在北京大学举行。此次会议以“加强过程化管理，助力教育教学质量提升”为主题，旨在进一步强化高校科研诚信与学术规范意识，加强过程化管理，端正学术风气，提升教学质量，助力创新型国家战略建设目标。 科技部科技监督与
专家实验证明：活性炭口罩拦截PM2.5不靠谱
昨天，实验人员正在利用自行发明的粉尘测试仪器测定熏香散发出的颗粒物浓度值。 在信息技术日新月异的今天，轻点鼠标，信息即可通过网络在人群中快速传播。虽然方便获取，但也让我们饱受虚假信息之苦。从“谣盐”风波到北京水安全传言，各种伪科学、假科学充斥网络，时时考量公众的认知，甚至严重危害社会秩序和安全
研究显示：AI数学证明效果提升显著
问题提出：当两套研究同时借助 AI 攻克同一道难题 上周四，麻省理工学院（MIT）研究生 Seyoon Ragavan 将自己的一份量子密码学证明发给了朋友、加州大学圣巴巴拉分校（UCSB）博士生 Yao-Ting Lin。然而 Lin 当时正与导师、UCSB 教授 Prabhanjan Ana
人工智能是否真的破解了千禧年数学难题
流体运动看似简单，背后的方程却是数学界最著名的悬案之一。这道谜题如今似乎被人工智能解开，尽管这一成果本身也引发了激烈争议。九月八日，OpenAI 宣布在纳维-斯托克斯存在性与光滑性问题上取得突破——该问题分量极重，以至于有人为它的解答悬赏一百万美元，被视作指引整个流体力学方向的指南针之一。就在前一天
实验证明声音能在真空中传播
芬兰科学家首次证明，声音可在真空中传播。他们首次实现了让声波在两个晶体之间极小的真空传输，这一成果有望用于开发手机或其他设备内的微机电组件。相关论文刊发于最新一期《通信物理学》杂志。1979年大热的科幻电影《外星人》的标志性口号是：在太空中，没有人能听到你的尖叫。因为太空是真空，其中没有任何粒子，而
同离子效应的实验证明
原理在已经建立起溶解平衡的难溶电解质的溶液中，加入含有相同离子的另一强电解质溶液时，由于离子浓度的增加，会使平衡向着生成沉淀的方向进行移动，从而达到新的溶解平衡。可见相同离子效应会也使沉淀的溶解度降低。实验步骤[用品] 试管、饱和硝酸银溶液、饱和醋酸银溶液、饱和醋酸钠溶液、饱和硝酸钾溶液、饱和氯化铅
实验证明声音能在真空中传播
原文地址：http://news.sciencenet.cn/htmlnews/2023/8/507191.shtm ?声波穿过真空间隙（艺术图）。图片来源：sciencealert网站科技日报北京8月23日电 （记者刘霞）芬兰科学家首次证明，声音可在真空中传播。他们首次实现了让声波在两
校企联合完成三维粘性挂谷猜想形式化验证
近日，南开大学讲席教授郭少明带领团队与字节跳动Seed合作完成三维粘性挂谷猜想的形式化验证工作，并在开源代码托管平台GitHub上发布。这一成果实现了对现代数学领域重要成果的一次机器形式化验证，也为未来利用计算机处理更大规模、更复杂的数学证明任务提供了重要实践。三维挂谷猜想是现代数学中的著名难题之一
巴黎西岱大学数学系教授陈华一入职西湖大学
原文地址：http://news.sciencenet.cn/htmlnews/2024/1/516058.shtm 陈华一2024年元旦刚过，陈华一正式辞去巴黎西岱大学数学系教授职务，全职加入西湖大学，任数学讲席教授。这不是他在西湖大学第一次亮相。此前，他以访问学者的身份，来到西湖大学开展
“征服”数学，AI是否有能力“回答世界”
最近，专门为人工智能（AI）设立的AI国际奥林匹克数学竞赛（IMO）即将进入尾声，其结果将随今年7月于英国巴斯举行的65届IMO大会同步揭晓。这项赛事的目的是推动发展大语言模型的数学推理能力，训练出更高数学水平的新AI模型。 纯数学领域中的重大发现是推理和创造力的灵感结晶，往往意味着人类智慧
AI破解数学难题正成为新风口
人工智能或许刚刚改写了数学史。据多家报道，AI 已攻克数学界六大"百万美元"公开难题之一，证明支配流体运动的纳维-斯托克斯方程在本质上存在缺陷。如果属实，这将是至少二十年来数学领域最具分量的一天。 纳维-斯托克斯方程描述的是从浴缸排水口的漩涡到厄尔尼诺横扫北美的狂风等一切流体运动。经过两个世纪的研
数学家计划计算机证明费马大定理
原文地址：http://news.sciencenet.cn/htmlnews/2024/3/519642.shtm费马大定理是一个关于数字的著名定理，几个世纪以来一直困扰着数学界。现在，数学家希望开发一种计算机证明费马大定理的方法。这是一个雄心勃勃、为期数年的项目，旨在展示计算机辅助数学证明的潜力
OpenAI宣布攻克千禧年难题：AI证明纳维斯托克斯方程存缺陷
OpenAI宣称在数学领域取得一项“重磅突破”：其自研内部模型证明了用于描述流体运动的纳维-斯托克斯方程（Navier-Stokes）存在“致命缺陷”。若属实，这将是人类历史上第二次有人攻克七大“千禧年大奖难题”之一——而首次的解决者是人，这一次却是一家AI公司。“千禧年大奖难题”由克莱数学研究所于
欧盟议会竭力反对削减科研经费
近日，欧盟议会对新任主席Jean-Claude Juncker削减科研经费的计划表示反对。Juncker之前提议从欧盟2014~2020年研究经费中削减27亿欧元，投入到提振欧洲经济的新项目中。尽管欧盟成员国似乎赞同Juncker的提议，但该议会表示，欧盟战略投资基金（EFSI）必须从其他地方寻
人工智能开放联盟成立
12月16日，由17家高水平大学、8家科技领军企业和科研机构共同发起的人工智能开放联盟（以下简称联盟），在广州举行的2025高校科技成果交易会上宣告成立。联盟理事长、清华大学校长李路明代表联盟理事会向所有加入联盟的成员单位表示欢迎。他指出，成立人工智能开放联盟是主动服务国家重大战略需求、抢占人工智能
中国科学院发布八条诚信提醒
9月10日，中国科学院科研道德委员会公开发布《关于在科研活动中规范使用人工智能技术的诚信提醒》（以下简称《诚信提醒》），对中国科学院科技人员和学生进行提醒。近年来，人工智能技术的快速发展与广泛应用，给科学研究带来了新的变革与创新，同时也对支撑科研诚信的现有实践提出了严峻挑战。譬如，利用人工智能算法伪
实验证明动量空间存在“量子龙卷风”
德国维尔茨堡—德累斯顿卓越集群ct.qmat团队改进了原来的既定方法，首次通过实验证明了“量子龙卷风”（即量子涡旋）的存在。对这一量子现象的证实标志着量子材料研究的一个重要里程碑。相关论文发表在最近的《物理评论X》上。 科学家早已知晓，电子可在量子材料中形成涡旋。例如在量子半金属砷化钽（TaA
卢瑟福的a粒子散射实验证明了什么
卢瑟福的a粒子散射实验证明了：原子的全部正电荷和几乎全部的质量都集中在一个很小的核上。卢瑟福α粒子散射实验的结果证明了原子具有核式结构，原子的全部正电荷和几乎全部的质量都集中在一个很小的核上。实验目的卢瑟福从1909年起做了著名的α粒子散射实验，实验的目的是想证实汤姆孙原子模型的正确性，实验结果却成
噬菌体侵染细菌实验证明了什么
本题考查的是噬菌体侵染细菌的实验。该实验分两组，一组用35S标记噬菌体的蛋白质外壳，结果放射性在上清液中，而上清液中只含噬菌体颗粒，所以结论是：噬菌体的蛋白质外壳未进入细菌体内。另一组用32P标记噬菌体的DNA，结果放射性在沉淀物中，结论是噬菌体的DNA进入细菌体内。总体来看，该实验证明在噬菌体前后
阿里巴巴全球数学竞赛首次向AI开放
学好数学，无论对人类还是AI都至关重要。3月14日国际数学日，2024阿里巴巴全球数学竞赛开始报名。今年赛事最大的革新在于首次向AI开放，诚邀全球AI大模型挑战竞赛难度试题。 数学不仅承载人类智慧的杰出成果，更是推动新一轮AI创新的关键。当前AI已在自然语言、视频生成等方面展现出惊人表现，但在