特朗普：或与伊朗于本周末或下周一敲定协议
Axios 记者引用与特朗普的通话，在 X 平台发文称，这位美国总统认为同伊朗的协议有望在本周末或周一签署。 据 Axios 消息，特朗普表示已敦促伊朗针对其官方媒体关于协议细节的报道发表公开澄清。 特朗普向 Axios 透露，他觉得伊朗外长阿巴斯·阿拉格齐此前在 X 上的言论“相当积极”。 责任编辑：何云 新浪财经声明：本新闻系转引自合作媒体，新浪财经刊登此文旨在传递更多信息，文章内容仅供参考，不构成任何投资建议。 郑重声明：1.依据《证券法》规定，严禁编造、传播虚假或误导性信息，扰乱证券市场秩序；2.
普拉达股价劲升超7% 新型登月服内衬进入终测
立足香港，放眼世界。新浪财经全球资本峰会金曜奖投票启动！挖掘最具价值的资本力量，你的一票，至关重要 点击投票 普拉达(40.04, 2.08, 5.48%)（01913）盘中涨幅逾8%，截至今日发稿，股价已上扬7.11%，当前报价40.66港元，成交总额达9820.23万港元。 近期，据市场媒体报道，意大利时尚巨头Prada宣布，其与美国商业航天企业Axiom Space联手打造的新一代登月宇航服内层——液冷通风服（LCVG）已迈入最终测试环节。该装备专为NASA“阿尔忒弥斯4号”任务定制，此举象征着奢侈
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.用户在本社区发表的所有资料、言论等仅代表个人观点，与本网站立场无关，不对您构成任何投资建议。用户应基于自己的独立判断，自行决定证券