跳到正文
原文
Hacker News 热门(buzzing.cc 中文翻译)· RickJWagner·· 3 小时前AI 评分72

OpenAI 批量产出数学证明后,数学家为何流泪

我知道数学家为何流泪

AI 导读

作者 Derek Thompson 采访数学家 Steven Strogatz,讨论 OpenAI 近几个月发布数百项数学发现后数学界的震惊、愤怒与悲伤。Strogatz 认为数学既是求解技艺,也是从阿基米德延续至今的跨代对话,AI 可能带来更多知识,却造成没有理解的知识。

来源:Hacker News 热门(buzzing.cc 中文翻译) · derekthompson.org