据新智元报道，近日热衷于用 GPT-4、Copilot 做研究的数学大神陶哲轩，在 AI 的帮助下发现了自己论文中的一处隐藏 bug。一些数学爱好者粉丝在此帖中惊呼：这太惊人了，很高兴看到 AI 证明助手的传播，为数学研究的未来奠定了更坚实的基础。
Gate.io - 芝麻交易所，又称芝麻开门交易所，是原比特儿交易所国际版本，是全球第二大交易所 支持人民币OTC交易 让财富更自由一点
文章采集自互联网，本站不对其真实性负责，如需删除，请发送链接至oem1012@qq.com
发表评论
电子邮件地址不会被公开。 必填项已用*标注
文章评论已关闭！