25位菲尔兹奖得主联名质疑AI“剧透”数学，他们究竟在担心什么？
Credit: 澎湃新闻
8月以来，美国Anthropic、OpenAI等AI企业凭借手中先进的大模型在前沿数学领域接连取得多项成果。Anthropic宣称研究版Claude模型在黎曼猜想上取得进展，其Fable模型仅用11天就完成了费马大定理的完整形式化证明。Op...
Direct profile
Your Direct account
Manage your avatar, profile name, account email, and usage from one place.
Log in to manage your Direct account profile.