AI数学家上岗，00后创业者获108亿
今日AI领域发生数件值得关注的事件，逐一来看。这则新闻颇为震撼。一家名为Axiom Math的公司宣布，自今年2月起提交的8篇数学论文中，已有5篇通过同行评审并正式发表至学术期刊。这些论文涵盖数论、组合数学、代数几何等多个方向，其中一篇还成功证明了Ballantine等人提出的10个猜想中的6个，并发现了一个反例。该系统名为AxiomProver，其核心逻辑是将自然语言描述的数学问题转换为Lean形式化证明，再由独立检测器对每一步进行验证。它并非让大模型生成看似证明的文本，而是确保每一步都可被机器验证。创
AI产业链连遭双重打击：数据中心陷诉讼危机、开源组件被植入恶意代码
近期关于AI的强大、智能与创新，我们讨论得沸沸扬扬。然而本周，两条新闻迫使我们将目光投向一个更为基础的问题——AI的根基，是否稳固？答案并不乐观。⚡ xAI数据中心：遭NAACP起诉美国NAACP已将马斯克的xAI告上法庭，指控其在孟菲斯的Colossus 2数据中心违反了《清洁空气法》——27台燃气轮机在未获许可的情况下擅自运营。原告请求：立即停止建设，直至取得合法环境批文。这标志着AI行业首次遭遇重大环保法律挑战。训练一个大型语言模型需要消耗多少能源？答案足以支撑一整个小镇全年的用电需求。随着模型规模
从广州到硅谷：洪乐潼押注16亿美元，筑起AI逻辑校验防线
2026年4月，硅谷。在人工智能浪潮高涨之际，代码生成能力正以惊人的速度攀升。但与此同时，潜在风险也在同步放大：这些愈发强大的系统，正越来越像一个“擅长编造”的幻觉制造者。它们能够在极短时间内写出成千上万行代码，却无法确保系统在真正运行到关键节点时，不会因逻辑缺陷而失效。在这片“概率式繁荣”的迷障里，25岁的广州女孩洪乐潼（Carina Hong）选择了反向而行。她的目标并不是让AI更聪明，而是让它更可信。洪乐潼的经历堪称天才模板，但更令人注意的，是她身上展现出的韧劲。2001年出生于广州天河的她，17岁
以色列黎巴嫩直接对话下周启动
据Axios记者Barak Ravid在社交媒体X上透露，以黎两国将开启面对面磋商，首轮会谈定于美国国务院进行。美国方面由驻黎巴嫩大使Michel Issa担任主导。以色列代表团由其驻美国大使Yechiel Leiter出任。黎巴嫩方面则由其驻华盛顿大使Nada Hamadeh-Moawad作为代表。
Axios npm包遭恶意篡改引发安全警报
一次针对npm生态的供应链攻击，通过发布恶意版本的Axios库，成功植入远程控制木马，导致微软旗下GitHub托管的多个项目紧急启动安全防护机制。 责任编辑：张俊 SF065 新浪财经声明：此消息系转载自合作媒体，新浪财经登载此文出于传递更多信息之目的，文章内容仅供参考，不构成投资建议。 郑重声明：1.根据《证券法》规定，禁止编造、传播虚假信息或者误导性信息，扰乱证券市场；2.用户在本社区发表的所有资料、言论等仅代表个人观点，与本网站立场无关，不对您构成任何投资建议。用户应基于自己的独立判断，自行决定证券