搜索结果
独家 | 新谷歌AI模型据称缩小编程能力差距
谷歌正在准备一款具有更强编程技能的新AI模型，以寻求缩小与OpenAI和Anthropic的差距。 Gemini 3.8 Flash的内部测试显示，在该公司落后于Anthropic和OpenAI的领域取得了进展。预计本周发布。
Claude刷新物理学世界纪录！单挑基于杨振宁理论9圈难题
就在刚刚，Anthropic官宣，Claude拿下了理论物理的一项前沿纪录。 它在几乎无人类干预的情况下，连续运行数天，一举攻克了高能物理学界出了名难算的「九圈散射振幅」计算难题！ 具体来说，它算出了平面N=4超杨-米尔斯理论里六粒子振幅的九圈结果，人类此前的纪录停在八圈。 注意，杨-米尔斯模型（Yang-Mills）其中的「杨」，指的正是物理学泰斗杨振宁先生。 他与米尔斯在1954年共同创立的「
OpenAI有望攻克另一项千禧年大奖数学难题
还记得本月早些时候，数学家指责OpenAI试图抢占先机、争夺一道超高难度数学难题的成果，令这家公司陷入舆论风波吗？据了解该研究进展的人士透露，事实是OpenAI距离攻克千禧年大奖难题中的另一道数学难题已近在咫尺。千禧年大奖难题一共包含七大著名数学挑战，此前引发争议的纳维–斯托克斯方程存在性与光滑性问题正是其中之一。 该消息人士称，公司内部员工预计，下一个目标——霍奇猜想，有望在较短时间内得到证明。
韦神主攻的千禧年难题 被Claude攻破了？
原来，首位华人菲尔茨奖获得者、清华大学教授丘成桐也是新智元读者！昨日，我们报道了费马大定理的证明被 Claude 首次形式化，其中的关键是清华姚班校友彭天翼基于 Claude 的 Prove2Me 系统。出乎我们意料的是，丘成桐先生悬赏 10 万元，征集对佩雷尔曼的庞加莱猜想证明的形式化验证！ 庞加莱猜想是拓扑学中一个关于三维空间形状的著名数学定理，指出如果在一个封闭的三维空间里，每条封闭的曲线都
OpenAI未发布内部AI模型据称攻克纳维-斯托克斯方程难题
OpenAI未发布内部AI模型据称攻克纳维–斯托克斯方程难题，相关结果已由机器验证。报道还称，该公司动用了约1万个并发自主代理完成推理与形式化验证，但这项成果目前仍未被克雷数学研究所正式认定为千禧年大奖难题的已解答案。 公司称已用机器验证方式给出纳维–斯托克斯方程解法，但距离正式获奖仍有数学界审查程序要走。 OpenAI称，这一内部模型在数学与理论计算机科学方向的多项长期难题上都取得了突破；在先前
AI丨谷歌匿名测试新模型 能力价格胜竞争对手
Arena近日出现一款名为「gemini-3.8-flash」匿名模型，据报为谷歌Gemini 4 Pro早期版本。(路透资料图片) 人工智能(AI)模型竞技场Arena近日出现一款名为「gemini-3.8-flash」的匿名模型，经多名开发者实测后，认为极可能是谷歌(Google)的Gemini 4 Pro的早期版本。基准测试显示，该模型在程式编码、AI代理、推理及电脑操作等多项能力上领先Op
一款新聊天机器人欲解开破损古希腊记录中的秘密
全球的学术图书馆中堆积着数以十万计的古希腊纸草片碎片。尽管其中许多件由于损坏程度过高其含义或已不可恢复，但学者们仍可以通过系统地填补缺失的单词或短语来恢复其内容。为了加速这一繁琐的工作，研究人员转而利用人工智能。 周三，奥地利科学院将发布“世界上首个先进的古希腊大语言模型”，该模型是与法国人工智能实验室米斯特拉尔(Mistral)以及科技服务公司赛尔回复(Sail Reply)合作开发的。这款名为
一个百万美元的数学问题对OpenAI来说可能只是一个开始
两名数学家、1,0000个AI智能体和一个百万美元的奖金构成了本周又一场AI闹剧，双方围绕剽窃工作和学术不端的指控展开了激烈的交锋。 尽管存在争议，但一些专家表示，这表明了AI在帮助突破棘手问题方面不可忽视的力量。对其他人来说，它偏离了学术研究和谨慎的人类合作的意义。那么本周纯数学世界发生了什么，为什么它会引起争议？
“不成熟的操场吹嘘”：数学家对 OpenAI 的最新战果感到不安
随着 OpenAI 的模型攻克了困扰专家数十年的千禧年大奖难题，许多人对变革的速度感到震惊。这让数学家们感到晕头转向。在人工智能不断推动该领域发展的多起案例之后，OpenAI 宣布其最新的 AI 模型攻克了一个千禧年大奖难题——一个悬赏 100 万美元、数十年里一直难倒人类大脑的谜题。 这一成就与数学问题的常规解决方式几乎没有相似之处。一家价值近万亿美元的私营公司向该问题部署了 10,000 个智
OpenAI解出千禧年数学难题后，Altman下一目标：攻克室温超导？
OpenAI正将AI驱动的科学发现推向更广阔的领域。9月8日，OpenAI宣布，其内部AI系统已提出纳维-斯托克斯方程存在性与光滑性问题的解决方案，并通过Lean形式化验证。这是七大千禧年大奖难题之一，也意味着AI在前沿数学研究中的能力再次向前迈进。 据OpenAI官网公告，这套系统由约1万个并发智能体组成，从启动到形成解决方案耗时约88小时。OpenAI称，完成证明所使用的内部模型“能力显著超越
谷歌AI基因组系统评估每一个可能的单碱基变化
周二，谷歌宣布推出AlphaGenome Atlas，这是一个试图预测人类基因组中每一个可能的单碱基变异后果的资源。人类基因组约有30亿个碱基长，因此尝试我们参考基因组中出现的其他三种DNA碱基，意味着总共需要将90亿个碱基通过AlphaGenome软件处理。 AlphaGenome旨在识别非编码DNA的潜在功能，非编码DNA不编码蛋白质，但构成了人类基因组的绝大部分。其中一些非编码DNA对于控制
人工智能对数学的命运意味着什么？
OpenAI 用人工智能在四天内解决了百年难题——Navier-Stokes 方程，挑战了数学家的角色，并在特伦斯·陶等专家中引发了存在危机。 专家指出，人工智能在数学领域取得了进展，它能够跟随复杂的论证，但缺乏真正的创造力和想象力来产生新的数学思想。 人们担忧人工智能对数学研究的影响，担心它可能阻碍合作与洞察力，而人类数学家仍然是提出有意义问题的关键。 AI 生成的纽约——OpenAI 用人工智
那个永远改变了数学的星期——播客
九月初，OpenAI宣布他们解决了一个困扰人类近一个世纪的重大数学问题。 这一消息让数学家们感到震惊，许多人担心随着AI在解决复杂问题方面变得越来越熟练，人类将失去什么。 现在，25位菲尔兹奖（常被称为数学界的诺贝尔奖）得主签署了一封公开信，表达了他们对AI公司与数学界之间可能存在“严重脱节”的担忧。 为了了解AI将如何颠覆数学领域以及数学家们可能会做出怎样的反应，Ian Sample采访了圣安德
数学不能再这样下去了
七月下旬，一位世界著名数学家向他的领域发出了警告。加州大学洛杉矶分校的特伦斯·陶（Terence Tao）教授在国际数学家大会一个挤满听众的讲堂上表示，数学正进入一个“动荡时期”。他说，人工智能在数学方面的能力越来越强，这正导致“我们的数学价值观和实践面临危机”。就在陶教授在最负盛名的数学会议上发表演讲的同一周早些时候，一位来自Anthropic的研究人员使用Claude推翻了一个已有87年历史的
谷歌完成对AI编程初创公司Mechanize的人才收购
谷歌已完成对总部位于旧金山的AI编程初创公司Mechanize Inc.的人才收购协议。 根据LinkedIn资料显示，Mechanize联合创始人兼前CEO塔迈·贝西罗格卢以及十多名员工已加入谷歌的AI部门DeepMind，主要专注于聊天开发中的“中期训练”工作。 尽管谷歌和贝西罗格卢拒绝置评，但此前《商业内幕》曾报道称该交易估值超过15亿美元。 此举是谷歌更广泛战略的一部分，旨在收购AI人才以
在领先AI实验室争夺数学霸主地位之际，OpenAI斥资数百万美元
在领先AI实验室争夺数学霸主地位之际，OpenAI花费数百万美元攻克了纳维-斯托克斯问题。竞争对手已开始挑战AI迄今最大的数学突破。