新闻资讯8

AI助力，48小时攻克50年数学难题

新智元2025-12-13

AI 摘要

2025年12月，陶哲轩宣布困扰数学界50年的Erdos#1026问题被攻克。在AI辅助下，人类团队48小时完成证明。Harmonic官网称其AI系统Aristotle参与解题，AI带来全新数学理解。

关注公众号

扫码关注
第一时间收到每日精选

公众号专辑

亚马逊CTO即将来华，值得关注

本文梳理亚马逊CTO Werner Vogels从业多年的技术思考路径：从供给侧造工具降低开发门槛，到转向关注使用者与真实需求，反思当前AI热潮下的行业焦虑，指出他本次2026年10月中国行，比泛滥的AI发布会更具关注价值。

本文为深度行业分析，围绕Anthropic推出的模型硬件标准MHS展开，探讨AI从虚拟屏幕切入真实物理世界、接入实验设备的产业进程，梳理核心挑战与未来竞争格局。

本文是《麻省理工科技评论》正式发布2026年度“35岁以下科技创新35人”（TR35）亚太区入选名单，介绍了多位入选青年创新者在AI、生物医学、材料、能源等领域的突破性成果，展现亚太青年创新的交叉化、落地化趋势。

彭博社爆料Anthropic一边呼吁AI行业踩刹车，一边加速推进IPO，选定纳斯达克最早10月上市，融资对标SpaceX欲创美股新纪录，本文拆解该事件，曝光AI圈资本操作。