Hacker News· bookofjoe·· 2 小时前AI 评分65
菲尔兹奖得主陶哲轩呼吁建立 Maths 2.0 时代
Can maths survive AI? Fields medallist Terence Tao calls for a 'Maths 2.0' world
AI 导读
菲尔兹奖得主 Terence Tao 在 Nature 撰文指出，AI 已在过去几个月为数百个长期未解的数学问题给出证明，数学家需要数月才能理解这些自动推导的论证。
来源：Hacker News · nature.com