标签：文献挖掘
谷歌给「AI解数学题」神话降温：能摘低垂果实，但过程依然痛苦
谷歌近期利用Gemini人工智能系统对Erdős Problems数据库中700个未解决问题进行了系统性研究，取得了显著进展。研究团队开发了名为Aletheia的定制数学研究智能...
陶哲轩亲自曝光：AI破解数学难题，竟全是「抄」的？
近期数学界出现一系列引人深思的事件：人工智能工具宣称解决了著名的Erdos数学难题，但随后被发现这些问题实际上早已在多年前的冷门文献中被人类解决。陶哲轩...
