TAG · ARCHIVE

AI科研

共 3 篇带此标签的文章

2026-10-17

一道三十年没人肯写的论文，AI替我们交了

ECDSA曲线参数的来历在那儿躺了三十年，全世界密码学家路过无数次都没人弯腰——AI弯了。不是它更聪明，是它没有职业前途要操心。

#AI科研 #ECDSA #密码学

READ MORE →

2026-10-06

数学的流水线，停在了第一站

一年前还够发表的数学结果，如今AI信手拈来。数学界庆祝松绑，却没人问一句：当证明免费，人类还剩什么可卖？

#陶哲轩 #数学证明 #Lean形式化

READ MORE →

2026-09-24

自带裁判的科学，最先被AI攻下

费马留下猜想，人类追了三百多年，Claude补上机器验证只用了十一天。科学不是被AI从正门攻破的，是从裁判最铁面的那扇侧门进来的。

#费马大定理 #Lean形式化验证 #机器证明

READ MORE →