标签: API

AI 猜对了阿根廷,却还是没猜透佛得角

AI 猜对了阿根廷,却还是没猜透佛得角

2026年世界杯淘汰赛,阿根廷3:2击败佛得角晋级。赛前12家AI大模型和6位人类嘉宾均准确预测了阿根廷胜出,但在比分预测上集体失真——没有任何模型或嘉宾预料到佛得角能攻入两球。这事说明:AI在“结果预测”上愈发精准,但对比赛过程、球风韧性和“黑马”表现,依然缺乏深层建模能力。

人工智能优先:联邦政府如何将人工智能置于人类和地球之上

人工智能优先:联邦政府如何将人工智能置于人类和地球之上

一份由多家机构联合发布的报告指出,美国联邦政府正通过“AI优先”国家战略,在政策、税收和监管上全面倾斜,帮助科技巨头加速建设数据中心和AI基础设施,而这一过程正在加剧社会不平等与生态破坏。报告特别披露,仅微软、Meta和Alphabet三家公司,2025年就通过税收漏洞规避了约500亿美元的联邦税款。

Leanstral 1.5:人人可用的证明丰富性

Leanstral 1.5:人人可用的证明丰富性

Mistral AI 发布了 Leanstral 1.5,一个完全开源(Apache-2.0 许可)、参数量仅 6B 的正式验证模型。它在多个数学推理基准上达到或刷新了最佳成绩,实测中发现了 57 个开源仓库中的 5 个先前未知 Bug,使得严格的形式化证明在真实软件开发中变得实用且廉价。