chatgpt自动证明重大突破,10年后ai将称霸数学界

打开网易新闻 查看精彩图片

前几天,一篇加州理工和MIT研究者用ChatGPT证明数学定理的论文爆火,在数学圈引发了极大关注。

打开网易新闻 查看精彩图片

英伟达首席科学家JimFan激动转发,称AI数学Copilot已经到来,下一个发现新定理的,就是全自动AI数学家了!

纽约时报近日也发文,称数学家们做好准备,AI将在十年内赶上甚至超过最优秀的人类数学家。

打开网易新闻 查看精彩图片

而陶哲轩本人,也转发了此文。

打开网易新闻 查看精彩图片

SiobhanRoberts参加了今年MachineAssistedProofs举办的IPAM研讨会,随后她根据自己的经历和采访,写下了这篇关于AI和数学的文章AI也来颠覆数学界了!