云创数科：chatgpt自动证明重大突破，10年后ai将称霸数学界
chatgpt自动证明重大突破，10年后ai将称霸数学界
前几天，一篇加州理工和MIT研究者用ChatGPT证明数学定理的论文爆火，在数学圈引发了极大关注。
英伟达首席科学家JimFan激动转发，称AI数学Copilot已经到来，下一个发现新定理的，就是全自动AI数学家了！
纽约时报近日也发文，称数学家们做好准备，AI将在十年内赶上甚至超过最优秀的人类数学家。
而陶哲轩本人，也转发了此文。
SiobhanRoberts参加了今年MachineAssistedProofs举办的IPAM研讨会，随后她根据自己的经历和采访，写下了这篇关于AI和数学的文章AI也来颠覆数学界了！