
谷歌AI破解六项世界顶级难题,超越IMO金牌的成就!陶哲轩揭示创新解题思路
新智元报道Google DeepMind 最新的人工智能体 Aletheia 在 FirstProof 挑战赛中,独自解决了六道世界级数学难题,彰显了其卓越的能力。具有里程碑意义的是,在这项竞赛中人工智能体证明了自己的实力,达到了前所未有的高度。从挑战赛开始以来,Aletheia 的表现引起了广泛关注。它不仅展现了对复杂问题的理解能力,还展示了其在数学领域的创新能力。挑战赛的结局引人注目:尽管其他
共找到 889 篇相关文章

新智元报道Google DeepMind 最新的人工智能体 Aletheia 在 FirstProof 挑战赛中,独自解决了六道世界级数学难题,彰显了其卓越的能力。具有里程碑意义的是,在这项竞赛中人工智能体证明了自己的实力,达到了前所未有的高度。从挑战赛开始以来,Aletheia 的表现引起了广泛关注。它不仅展现了对复杂问题的理解能力,还展示了其在数学领域的创新能力。挑战赛的结局引人注目:尽管其他

新智元报道在过去,软件行业的核心是传统的计算机科学学位,但现在这个观念正在受到挑战。软件开发领域面临一场深刻的变革,许多既定规则被重新审视。随着技术的快速发展,大学课程的内容往往跟不上业界的步伐。这导致了公司不得不花费大量时间和资源来培训新员工以适应最新的技术和工具。传统教育体系正逐步让位于新的生态系统,其中包括短期编程训练营、在线认证项目和开源贡献等途径,这些都提供了更灵活且实用的学习方式。许多

当地时间25日,印度总理莫迪抵达以色列进行为期两天的访问,这是他自2017年首次访问以来的第二次到访,也是巴以新一轮冲突爆发后的第一次中东之行。此次访问的重点在于深化印以两国的合作关系,但遭到了印度反对派的强烈批评,指责其背弃了巴勒斯坦事业。据报道,莫迪在以色列期间将分别与总理内塔尼亚胡和总统赫尔佐格会面,并出席一场聚焦人工智能和量子计算的创新技术峰会。此外,他还将成为首位在以色列议会发表演讲的印

随着人工智能(AI)技术在社会各领域的广泛应用,美国五角大楼也开始采取行动。据《防务新闻》网站报道,军工巨头洛克希德·马丁公司宣布成功测试了一项新技术,该技术利用AI增强F-35战斗机的目标识别能力。这次名为“守望先锋计划”的试验在内利斯空军基地进行,旨在将机器学习模型集成到战机的信息系统中。新的AI大模型能够根据周边环境生成数字化信息,并向飞行员提供潜在目标的建议,这标志着战术AI首次独立提出作

OpenAI已与美国国防部达成协议,将其人工智能模型部署在军事机密网络上。就在此协议宣布前数小时,白宫刚下令联邦机构停止使用其竞争对手Anthropic的技术。据OpenAI首席执行官Sam Altman周五晚间在X平台发文称,该公司将为五角大楼“机密网络”提供其模型。他表示,国防部对安全表现出“高度尊重”,并愿意在OpenAI的运营限制内开展合作。这一消息背景下,AI行业正经历动荡一周。当天早些

机器之心编辑部是什么样的大事,能让 OpenAI 跟 Anthropic 和解,站到了同一战线上?本周五,特朗普在社交媒体上发帖,指责人工智能公司 Anthropic 试图「强迫」五角大楼接受其条款,并指示所有联邦机构「立即停止」使用其产品并不再与 Anthropic 开展合作。这一宣布后不久,美战争部长海格塞斯将该公司列为「对国家安全的供应链风险」,这意味着任何与军方合作的承包商或供应商都不得与

一转头,OpenAI拿下了AI史上的最大一笔支票。2月27日晚,OpenAI宣布获得新融资1100亿美元,其中300亿美元来自软银,300亿美元来自英伟达,500亿美元来自亚马逊,投前估值7300亿美元。这也是AI领域迄今规模最大的单笔融资。官方说法是,这笔融资将用于扩大人工智能基础设施的建设,以加快推进AI的普惠。奥特曼还在X上描绘了与三家的具体合作方向:英伟达:负责底层算力供给,围绕 GPU

机器之心编辑部就在奥特曼公开支持 Anthropic、声称反对五角大楼施压后不到 12 小时,剧情发生了戏剧性逆转。本周,奥特曼在致 OpenAI 员工的备忘录中表示:「我们一直认为,人工智能不应用于大规模监控或自主致命武器,在涉及高风险的自动化决策中,人类应该始终参与其中。这些是我们的主要底线。」他还在 CNBC 节目中重申:「我个人认为五角大楼不应以《国防生产法》威胁这些公司。尽管我和 Ant

一转头,OpenAI拿下了AI史上的最大一笔支票。 2月27日晚,OpenAI宣布获得新融资1100亿美元,其中300亿美元来自软银,300亿美元来自英伟达,500亿美元来自亚马逊,投前估值7300亿美元。 这也是AI领域迄今规模最大的单笔融资。 官方说法是,这笔融资将用于扩大人工智能基础设施的建设,以加快推进AI的普惠。 奥特曼还在X上描绘了与三家的具体合作方向: 英伟达:负责底层算力供给,

星期一(2月23日)重点:美国关税政策引发的混乱,导致美国华尔街股市主要股指期货在星期一(2月23日)走低。投资者本星期关注科技巨头英伟达(Nvidia)在星期三(25日)发布的季度业绩。这将是考验整个人工智能行业信心的一个重要指标。在7时截稿时,标准与普尔500指数期货退低15.40点或0.22%,报6894.10点;以科技股为主的纳斯达克100指数期货跌了97.30点或0.39%,报24915

国际商业机器公司(IBM)股价在星期一(2月23日)暴跌13.2%,创下逾25年来的最大单日跌幅,月内累计下跌近24%。 导火索是人工智能(AI)创新公司Anthropic宣称,其Claude Code工具可协助让COBOL编程语言变得现代化。 COBOL全称是Common Business-Oriented Language(通用商业语言),被视为IBM核心业务的重要护城河。这是一种广泛运行

在未来四年里,人工智能(AI)竞赛会一直吞噬资本。单单是Alphabet、亚马逊(Amazon)、Meta Platforms、微软(Microsoft)和甲骨文(Oracle)这五家科技巨头,就预计会在房地产与设备上投入合计高达3万亿美元巨款。资金主要流向AI相关的基础设施建设,例如:超大规模数据中心、高端AI晶片、网络设备,以及电力系统等。换言之,资产正在以前所未有的速度堆积。然而,在资本开

星期二(2月24日)重点:美国华尔街股市主要股指期货在星期二(2月24日)走高。在7时截稿时,标准与普尔500指数期货上升16.90点或0.25%,报6854.60点;以科技股为主的纳斯达克100指数期货起76.30点或0.31%,报24785.20点;重量级的道琼斯指数期货也升高138.90点,报48943.00点。华尔街股市在隔夜(星期一)下挫。市场投资者持续担忧人工智能可能带来的颠覆性影响,

澳大利亚物流软件公司WiseTech Global宣布,将在人工智能(AI)驱动的业务重组下裁减约2000个职位,约占30%,凸显AI正迅速改变全球软件业的工作模式与人力需求。彭博社报道,公司首席执行官阿普(Zubin Appoo)在声明中直言:“以人工手写代码为工程核心业务的时代已经结束。”他说,AI正带来更高程度自动化,并释放过去难以实现的效率提升。WiseTech指出,相关裁员将在本财年及

本周,一家名不见经传的研究机构Citrini Research发布的一份名为《2028年全球智能危机》的情景分析报告,竟让全球主要股市在星期一(2月23日)剧烈波动。这份报告本来只是一个“思想实验”分析,主要探讨人工智能(AI)可能带来的结构性风险。报告描述的那些围绕AI的潜在冲击,突然显得很真实,即刻在当天迅速蔓延各个股市。美国科技、支付与部分金融板块股票因此承压。所谓的“AI惊慌交易”(AI

英伟达即将发布新的芯片以提升人工智能运算速度据报道,在2月27日,英伟达宣布计划推出一款专为加速人工智能处理设计的新芯片。该公司正在开发一个新型系统,旨在优化“推理”计算过程,使人工智能模型能够更高效地回应用户查询。

美国市场因担忧人工智能迅速崛起会破坏现有商业模式,导致“人工智能恐慌交易”,投资者大量抛售软件公司和财富管理机构的股票。相比之下,中国市场对此持乐观态度,投资者并未感到忧虑,反而对这项技术的发展潜力及其能为用户节省成本的能力表现出兴趣,并积极购入有望成为赢家的相关企业。推出全新或更新版本模型的企业最受市场欢迎,其中Minimax和智谱表现尤为突出,这两家公司的股价在二月份翻了一番多。包括摩根士丹

蚂蚁集团在社交平台上宣布,支付宝的“AI付”功能春节期间用户数量突破了一亿。同时,在微信公众号上发布的信息显示,“AI付”的支付笔数于2月12日超过一亿笔,并且春节假期期间用户量也达到了一个新的里程碑——突破一亿大关。快科技指出,支付宝的“AI付”已经成为全球首个同时在支付交易量和活跃用户数量上双双达到亿级规模的人工智能原生支付工具,这标志着其正式进入了大规模应用阶段。 蚂

中国人工智能企业智谱自上市以来股价持续上涨,因发布新一代旗舰大模型GLM-5时出现三个错误而公开道歉,并导致其股价急剧下跌。智谱于今年一月在香港交易所挂牌交易,在星期一(2月23日)的开盘价即下跌13.8%,收盘时跌幅扩大至22.76%。同属港股大模型领域的一家竞争对手MiniMax,当日也下跌了13.35%。据报道,智谱和另一家公司MiniMax在上周五(20日)的总市值曾一度超过六百亿港元(

要点速览韩国计划采用人工智能驱动的系统来管理加密货币市场,利用算法自动识别可疑交易行为,取代过去的传统人工流程。新模型引入了滑动窗口网格搜索技术,用于扫描重叠的时间段以发现异常模式,例如交易量突然激增的情况。到2026年,韩国金融监督院计划增强人工智能系统的功能,以便发现协同操作账户网络,并追踪操纵资金来源。监管部门正考虑实施临时的交易或付款停止措施,旨在及时冻结可疑操作以防止违法所得被转移出市场