2021年2月3日，一个以色列研究团队在Nature上发表了一篇有趣的论文，他们开始用AI来给数学家出题了。这帮科学家写了一个称为“拉马努金机”的程序，专业生产数学猜想。那么，AI如何为数学家出题？


需要下载该视频，扫码关注公众号后台回复“视频下载”即可