Anthropic的一个工程师随口让Claude试试黎曼猜想，结果Claude一个下午把零点比例从41.6%推到67.2%，超过人类46年的进展总和。
OpenAI发布代号Astra的新模型，花2000美元解了10道困扰人类多年的数学开放难题，全部通过Lean 4形式化验证。3324位数学家联名签署莱顿宣言表达担忧。
