Claude仅用11天便形式化了费马大定理
Anthropic的Claude仅用11天就完成了费马大定理的首个全机器验证证明，生成了1300万行Lean代码。凯文·巴扎德耗时多年的项目，在几周内便告完成——这折射出数学研究未来的图景。
今日信号
真正在动的新闻。
-
-
耐克退出标普100指数：消费者 discretionary 板块向人工智能低头
耐克在被剔除标普100指数18年后，标志着一个结构性转折点，而非品牌本身的失败。消费者 discretionary 板块正让位于人工智能与半导体——随之而来的投资组合轮动将 ripple 全球市场。
-
现代汽车的燃油自动驾驶押注：为何汽油自动驾驶将改变一切
现代成为全球唯一为汽油车和混动车开发L2+级自动驾驶技术的车企——这一战略转向利用了充电基础设施的缺口，并构建起特斯拉和中国竞争对手难以跨越的护城河。
-
日元突破152为何将改变一切
日元升至152关口上方引发深刻反思：日本银行的缓慢正常化路径是否正与美国财政政策产生碰撞，而日美协同干预在现实中又呈现何种面貌。
-
可能重塑芯片格局的 EUV 军备竞赛
三星与台积电正加速采用 ASML 的高数值孔径 EUV 设备——这场静默却剧烈的转变揭示了一个残酷现实：在中企追赶先进制程之际，保持半导体霸权的时间窗口正在收窄。
-
华为和小米借苹果舞台，上演另一出大戏
中国厂商华为和小米特意将折叠屏新机发布时间卡在苹果发布会之前——但真正值得关注的，是他们的硬件所透露出的中国在制裁下的芯片战略。
-
EUV封锁如何翻转半导体权力格局
中国无法购买EUV光刻机，但这并未阻止三星、台积电和英特尔与ASML联手锁定下一代技术。问题是，这一封锁将加速中国实现自主，还是固化长期技术差距。
-
伊朗石油命脉归零——12月意味着什么
在美国封锁将伊朗石油出口削减至一成九之后，伊朗的海上石油储备将在12月中旬耗尽。问题是：经济窒息会让德黑兰走向外交谈判，还是冒险走军事路线？
-
加拿大276亿美元反制关税重塑北美贸易格局
加拿大对美276亿美元的反制关税标志着两国之间最具深远意义的贸易升级，覆盖从钢铁到智能手机的各个领域。这一举措迫使各方重新审视高度一体化的供应链，冲击波远及北美之外。
-
一道困扰数学界40年的难题，8周内迎刃而解。菲尔兹奖或许难以为继
一支AI辅助团队在两月内解决了一个困扰多年的伽罗瓦理论问题。如果机器已开始为纯数学承担最核心的工作，人类最高数学荣誉的评判标准或将彻底崩塌。
-
GPT-6 Astra 背后的十万 GPU 军备竞赛
OpenAI 的 GPT-6 Astra 需要 10 万块 NVIDIA GPU 进行训练——黄仁勋称这一规模很快将翻四倍。这组数字揭示了为何 NVIDIA 的统治地位既是助力，也是下一波 AI 推理飞跃的瓶颈。
-
胡塞武装袭击沙特石油设施是市场的警示
胡塞武装对沙特吉赞石油设施的袭击标志着也门战争危险地向地理范围扩张。随着霍尔木兹海峡航运量降至5月以来最低，油价正逼近100美元——而下一次升级可能来自德黑兰。