AI首次创建高效准确数学算法
英国《自然》杂志封面以“矩阵游戏”为题，发表了人工智能（AI）公司“深度思维”团队的最新发现：AI可解决矩阵乘法问题。这是第一个可为矩阵乘法等基本任务发现新颖、高效且正确算法的AI系统。换句话说，这个名为“AlphaTensor”的AI能自行发现新算法，从而解决了50年来数学领域一个悬而未决的问题——找到两个矩阵相乘最快的方法。 数学在计算机编程中经常出现，通常作为描述和操纵现实世界现象表示的一种手段。例如，它用于表示计算机屏幕上的像素、天气状况或人工网络中的节点。在这种情况下，使用数学的主要方式之一，就是对矩阵进行计算。 在对游戏进行编程时，矩阵描述了可能的运动选项。为了实现这样的运动，矩阵经常被相乘和/或相加。这需要海量的工作，随着矩阵变得越来越大尤其如此，这就是为什么计算机科学家花费大量时间和精力来开发越来越有效算法来完成工作的原因。1969年，数学家沃尔克·斯特拉森想出了一种方法，只使用7个乘法运算而不是标准的8......阅读全文
AI首次创建高效准确数学算法
英国《自然》杂志封面以“矩阵游戏”为题，发表了人工智能（AI）公司“深度思维”团队的最新发现：AI可解决矩阵乘法问题。这是第一个可为矩阵乘法等基本任务发现新颖、高效且正确算法的AI系统。换句话说，这个名为“AlphaTensor”的AI能自行发现新算法，从而解决了50年来数学领域一个悬而未决的问
深度思维AI模型表现超越现有天气预报
新一期《自然》杂志发表的一项研究报道了深度思维推出的最新机器学习模型。该模型能根据当前和未来天气进行可靠的概率天气预报，其表现不但超过了最好的传统中程天气预报，还能更好地预测极端天气、热带气旋路线和风能产量。GenCast相关预报的可视化。图片来源：《自然》网站准确的天气预报对于个人、政府和组织的日
AI侦探敲碎深度学习黑箱
研究人员创建了能填补照片空白的神经网络，以鉴别人工智能瑕疵。 Jason Yosinski坐在美国加州旧金山的一个小型玻璃办公室内，陷入了对人工智能的沉思。作为优步公司的研究科学家，Yosinski正为在笔记本电脑上运行的人工智能（AI）进行“脑外科手术”。 很多AI将改变人类现代生活，例如
算法自动“划重点”－－－AI学会“抱佛脚”
预训练模型的兴起给自然语言处理（NLP）带来了“新面貌”。 近年来，Google、Facebook、OpenAI、微软、百度等人工智能“头部玩家”推出多个颇具影响的预训练模型，并反复迭代出十多个版本。无论学术界还是业界，人们对大规模预训练模型“热情高涨”。 日前，来自清华大学的一
为何AI验证数学证明引发关注？
为何AI验证数学证明会引发如此广泛的关注？答案在于：一群研究者刚刚用人工智能系统，自动形式化验证了数论中被称为“246定理”、与素数相关的艰难证明——这是人类知识边界上最前沿的一块拼图。这被视为AI辅助数学研究的重大里程碑。Axiom Math团队首次借助其AI系统AxiomProver，对这条与素
AI是否会超越人类？丘成桐：AI不会代替人类思维
近代物“人工智能（AI）是否会超越人类最优秀数学家？”对此，数学家、国际基础科学大会主席丘成桐表示，从目前来看，人工智能无法识别几何背后的定律，更无法识别数学与其他科学之间的关联，人工智能不会代替人类思维。 在7月24日举行的首届基础科学大会青少年专场活动“科学家面对面”中，一批来自高中和大学
AI程序攻克围棋的算法秘密（五）
在本节中，大家应该对MCTS算法的工作原理拥有更为深入的理解。请别担心，迄今为止提到的全部内容应该足以支持您顺利掌握相关内容。惟一需要注意的是我们如何使用策略概率与估值方法。我们在铺展过程中将二者结合在一起，从而缩小每次落子时需要探索的具体范围。Q（s，a）表示估值函数，u（s，a）则代表该位置的已
AI算法自动解析脑干白质神经束
美国麻省理工学院、哈佛大学及麻省总医院的科研团队开发出一款人工智能（AI）软件，能够利用算法自动解析脑干中以往难以清晰成像的白质神经束。这一成果打开了研究脑干的新窗口，也为研究神经系统疾病与脑损伤提供了新工具。该研究发表于《美国国家科学院院刊》。该软件名为“脑干束工具”（BSBT），基于扩散磁共振成
AI程序攻克围棋的算法秘密（三）
另外，我们还希望能够构建起一套略有不同的策略网络版本； 其应该更小巧且速度更快。可以想象，如果Lusha的经验非常丰富，那么其用于处理每个位置的时间也将相应延长。在这种情况下，虽然她能够更好地缩小合理落子范围，但由于整个过程会不断重复，因此耗费时间可能会过长。所以，我们需要为这项工作
AI程序攻克围棋的算法秘密（二）
但让我们想想，人类是怎样下棋的？假设目前您身处比赛中的特定阶段。根据游戏规则，你可以作出十几种不同的选择——在此处移动棋子或者在那里移动皇后等等。然而，你真的会在脑袋里列出所有能走的棋步，并从这份长长的清单中作出选择吗？不不，你会“直观地”将可行范围缩小至少数几种关键性棋步（这里假定您提出了
AI程序攻克围棋的算法秘密（四）
不过这样的训练方式其实存在一个问题。如果其只在练习中对抗同一个对手，且该对手也一直贯穿训练始终，那么可能无法获得新的学习经验。换言之，该网络所学到的只是如何击败对方，而非真正掌握围棋的奥秘。没错，这就是过度拟合问题：你在对抗某一特定对手时表现出色，但却未必拥有对付各类选手的能力。那么，我们该
AI程序攻克围棋的算法秘密（一）
这篇文章的主角是AlphaGo，谷歌DeepMind团队开发出的围棋AI。其凭借着2016年击败全球顶尖棋手李世石的壮举而广受瞩目。围棋是一种古老的棋类游戏，每一步都存在诸多选择，因此接下来的落子位置很参议会预测——要求对弈棋手拥有强大的直觉与抽象思维能力。正因为如此，人们长久以来一直认为只
“征服”数学，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非常强大，要善用并提高自身能力
8月10日，2026年国际基础科学大会“数学之夜”在北京雁栖湖应用数学研究院举办。清华大学讲席教授丘成桐、清华大学教授考切尔·比尔卡尔、法国国家科学研究中心教授克莱尔·瓦赞、美国哈佛大学教授姚鸿泽、美国普林斯顿大学教授张寿武等国内外顶尖数学家围绕人工智能（AI）对数学的影响展开深入探讨。 丘成
AI破解数学难题正成为新风口
人工智能或许刚刚改写了数学史。据多家报道，AI 已攻克数学界六大"百万美元"公开难题之一，证明支配流体运动的纳维-斯托克斯方程在本质上存在缺陷。如果属实，这将是至少二十年来数学领域最具分量的一天。 纳维-斯托克斯方程描述的是从浴缸排水口的漩涡到厄尔尼诺横扫北美的狂风等一切流体运动。经过两个世纪的研
AI新算法测寿命－或能助人类更长寿
据英国每日邮报报道，一项新的研究表明，利用AI技术可以检测人的细胞年龄，并依此制定出个性化医疗方案，从而帮助人们实现长寿的愿望。 据悉，科学家开发的这种AI算法被称为“Aging.AI”，根据人们的血液样本可以计算出生理年龄，并验证某些生活方式的改变和药物是否能提高人们长寿和健康的几率。目
AI新算法测寿命－或能助人类更长寿
据英国每日邮报报道，一项新的研究表明，利用AI技术可以检测人的细胞年龄，并依此制定出个性化医疗方案，从而帮助人们实现长寿的愿望。 据悉，科学家开发的这种AI算法被称为“Aging.AI”，根据人们的血液样本可以计算出生理年龄，并验证某些生活方式的改变和药物是否能提高人们长寿和健康的几率。目
深度学习“见顶”不等于AI寒冬
尽管新的算法模型在推动AI向前发展，但并不意味着它们的前景可以预见，也不意味着深度学习“不可救药”。 在当前的第三次人工智能（AI）浪潮之中，深度学习算法被认为是迄今为止“最为重大的AI革命”。此说法或许有所夸大，但深度学习对这一轮AI的大爆发而言的确功不可没。然而，最近以来，关于深度学习算
让AI为创新药研发深度赋能
日前，西湖大学宣布，该校与合作机构联合研发的创新药艾普司韦正式获批上市。作为我国首款凭借人工智能（AI）辅助研发而获批上市的原创药，艾普司韦引发广泛关注。 创新药研发长期呈现高投入、长周期和高失败率的特征。业内称之为“三个十定律”——十年时间、十亿美元投入、不到百分之十的成功率。其中一个重要原
科学家设置数学测试新基准，难倒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模型处理后，
人工智能“进军”数学领域－首次帮助人类发现两个新猜想
英国《自然》杂志1日发表了一个机器学习框架，能帮助数学家发现新的猜想和定理。该框架由深度思维（DeepMind）开发，已经帮助发现了纯数学领域的两个新猜想。这项研究展示了机器学习可以整合进目前的工作流中，支持数学研究。这也是计算机科学家和数学家首次使用人工智能（AI）来帮助证明或提出纽结理论和表
AI算法非侵入性筛查试管婴儿胚胎
染色体数量异常，称为非整倍体，是体外受精（IVF）胚胎无法植入或无法健康怀孕的主要原因。目前检测非整倍体的方法之一涉及对胚胎细胞进行类似活检的取样和基因检测，这种方法增加了IVF过程的成本，并且对胚胎具有侵入性。 目前，医生主要使用显微镜来评估胚胎是否存在与生存能力差相关的显著异常。为了
AI算法等研究全球内孤立波预报获进展
近日，中科院海洋研究所研究员李晓峰课题组在耦合物理机制和人工智能算法研究全球内孤立波传播预报方面取得重要进展，研究成果发表于遥感领域期刊《环境遥感》。 海洋内孤立波在全球海域分布广泛，其传播速度受多种因素影响，目前的理论模型存在局限性。遥感是海洋内孤立波观测的重要手段，可以通过多卫星协同的准同