2026-10-06 数学的流水线,停在了第一站 一年前还够发表的数学结果,如今AI信手拈来。数学界庆祝松绑,却没人问一句:当证明免费,人类还剩什么可卖? #陶哲轩 #数学证明 #Lean形式化 READ MORE →
2026-09-09 88小时解出千禧年难题之后,数学还敢公开吗? 一道悬了一百多年的方程组,88小时被一家公司”解决”了。比起证明本身,数学家们更在意另一件事:下一个好想法,还敢不敢当众说出来。 #OpenAI #Navier-Stokes #陶哲轩 READ MORE →