自行写代码的AI和能够证明IMO试题的AI

majer · 发表于 2022-2-3 20:20:44

马上注册，结交更多好友，享用更多功能，让你轻松玩转社区。

您需要登录才可以下载或查看，没有账号？欢迎注册

×

不知道是不是巧合，今天有两个关于AI的大新闻。deepmind的AlphaCode能够参加 Codeforces 上举办的编程比赛。水平排在前54%。

这个大新闻掩盖了微软赞助的openAI同天发布的数学证明器。后者可以就（竞赛难度的）数学问题给出证明。后者的神经网络已经足以参加美国高中生的数学联赛，同时也能部分证明IMO上的试题。

http://jandan.net/p/110233

账号		自动登录	找回密码
密码			欢迎注册

[分享] 自行写代码的AI和能够证明IMO试题的AI

马上注册，结交更多好友，享用更多功能，让你轻松玩转社区。