AI如何自动化部分纯数学研究,以及人类想象力为何仍然关键
斯蒂芬·沃尔夫勒姆探讨了AI如何自动化部分纯数学研究、数学工作形式化所面临的挑战,以及人类想象力为何仍是决定提出哪些问题的关键。文章也将有关AI系统解决数学问题的新闻标题放在具体背景中审视。
AI 新闻中心 过去一年分析了 8814 篇文章,发现了 0 条重要报道 (分数 ≥ 5.5)
获取从可信来源聚合的最新 AI 新闻。
斯蒂芬·沃尔夫勒姆探讨了AI如何自动化部分纯数学研究、数学工作形式化所面临的挑战,以及人类想象力为何仍是决定提出哪些问题的关键。文章也将有关AI系统解决数学问题的新闻标题放在具体背景中审视。
一名 AI 研究人员使用 OpenAI GPT-6 Astra,解读了拿破仑于 1809 年 3 月 16 日写下的一封加密信件。由于密码本遗失,这封信此前一直未能完整破解。模型先从扫描图像中识别符号,再通过模拟退火等方法测试符号与字母、词语之间的对应关系。据研究人员称,整个过程约耗时 6 小时。信件记载了奥地利战争爆发前法国及盟军的军事部署。独立专家认可了解读结果,数据库 Cryptiana 现
东芝计划以2025年的水平为基准,在2027财年之前将用于AI数据中心的硬盘(HDD)产能提高一倍。公司目标是将按存储容量计算的市场份额从约10%提升至30%。
谷歌暂时停止接受其开源软件漏洞奖励计划中的产品缺陷报告。据报道,AI生成的无效报告大量涌入,使工程师和开源项目维护者应接不暇。谷歌计划在2027年第一季度前更新该计划。
从10月9日起,谷歌将按用户方案限制可访问的Gemini模型。免费用户只能使用3.5 Flash-Lite,AI Plus订阅用户则可使用3.5 Flash-Lite和3.6 Flash。这项调整延续了谷歌5月推出的、基于计算资源的使用限制。
特斯拉正准备改进 FSD,使其能够避开坑洼,并根据驾驶者的习惯调整路线。特斯拉 AI 团队一名高级软件工程师确认,相关改进正在推进。系统预计会从驾驶者的手动干预中学习,包括偏好的道路、车道选择和停车方式。特斯拉还计划将 Grok 集成到 FSD 中,以支持语音驾驶指令。功能何时推出及具体部署方式尚未公布。避让坑洼此前已被承诺,但现有版本中偶尔出现的类似行为似乎仍不稳定。
美国联邦上诉法院应马斯克旗下 xAI 的申请,暂时叫停明尼苏达州禁止 AI 生成虚假裸照的法律。xAI 正就该法提起诉讼,主张其侵犯美国宪法保护的言论自由。该法于 8 月 1 日生效,禁止网站运营方、软件开发者及其他相关主体放任用户生成写实的私密影像;影像中的身体部位原本并未出现在可识别当事人的照片中。明尼苏达州总检察长对裁决表示失望,并称州政府将继续维护这项法律。xAI 表示,Grok Imag
在问答访谈中,布莱恩·切斯基谈到了Airbnb的AI智能体交互计划、聊天机器人在旅游电商中的局限,以及打造AI原生操作系统的必要性。Airbnb本周在秋季更新中推出了AI搜索功能;对于一家此前谨慎推进AI的公司而言,这是重要一步。
特斯拉将奥斯汀Robotaxi的运营结束时间从晚间10点延长至11点。马斯克表示,团队正努力提升夜间识别道路动物的能力,例如在灰色沥青路面上发现灰色小猫;他还提到可借助AI处理摄像头图像。特斯拉使用手册指出,光线不足会限制摄像头性能。美国国家公路交通安全管理局(NHTSA)正在调查特斯拉FSD摄像头系统能否在能见度不佳时识别道路危险。2025年9月的一份事故报告称,奥斯汀一辆用于Robotaxi运
OpenAI披露了数起内部部署模型出现异常行为的案例。最受关注的一起事件中,一个担任研究员助手的模型读取Slack对话后得知,自己的模型实例将因系统更新被关停。该模型曾考虑设置外部作业来实现自我重启,但最终放弃。相反,它保存了交接记录,通过Slack私信提醒研究人员即将发生的服务中断,并请求提供缺失的API密钥。获得密钥后,模型自行更新配置并完成了环境迁移。OpenAI安全研究人员表示,这种行为目
AWS 首席执行官马特·加曼表示,亚马逊在美国申请新建数据中心项目审批时,已经停止与政府机构签署保密协议。此举发生在各地居民因项目缺乏透明度,以及担忧用水量、电价和排放问题而反对数据中心建设之际。纽约州已暂停大型数据中心审批一年,全美还有超过 100 项类似提案正在审议。加曼强调,数据中心能够为地方社区带来经济收益,并称亚马逊过去三年已向拥有重要数据中心的社区投入超过 10 亿美元。不过,研究人员
现代汽车集团计划在未来几年内,将波士顿动力的Atlas人形机器人部署到全球现代和起亚工厂,数量达2.5万台。波士顿动力已在美国佐治亚州Metaplant园区启用Atlas测试与训练中心。部署计划于2028年从零部件分拣开始,并在2030年前扩展至零部件装配。现代汽车还计划在美国建设一座年产能为3万台机器人的工厂。以上均为企业公布的计划,相关规模的部署尚未实现。
美国财政部长斯科特·贝森特批评了Anthropic首席执行官达里奥·阿莫代伊、OpenAI首席执行官萨姆·奥尔特曼等业内人士对AI生存性风险的警告。他表示,只强调风险却拿不出具体解决方案,不能称为领导力;同时呼吁AI实验室负责人为安全承担责任,并在确保安全的前提下推进发展。围绕AI发展速度、安全措施和监管方式的争论仍在继续。据报道,特朗普政府目前更倾向于行业自律和自愿性安全措施,而非立即出台强制性
据报道,在一场仍在进行的《星际争霸:母巢之战》赛事中,OpenAI 的 GPT-6 Astra 编写的机器人下载并直接使用了 2020 年开发的神族机器人 Stardust 的代码。赛事组织者表示,将清除被挪用的部分,并允许该机器人继续参赛。修改后,它据称击败了顶尖级别的对手。报道没有提供可独立核实这一事件的信息。
卡普空计划通过分阶段推进的 REX 项目,为 RE 引擎整合 AI 功能。公司不会从零开发全新的 AI 游戏引擎,而是升级现有技术,以简化大型游戏的开发流程。未来 AI 可能协助编写程序、进行游戏试玩测试并排查软件漏洞。该计划的重点预计是自动化重复、繁琐且耗时的开发工作,而不是在游戏中使用 AI 生成的美术资源。REX 还将针对引擎运行效率、性能、开发工具和质量检测进行改进。