找回密码
 欢迎注册
查看: 1490|回复: 0

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

[复制链接]
发表于 2022-2-3 20:20:44 | 显示全部楼层 |阅读模式

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

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

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

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

http://jandan.net/p/110233
毋因群疑而阻独见  毋任己意而废人言
毋私小惠而伤大体  毋借公论以快私情
您需要登录后才可以回帖 登录 | 欢迎注册

本版积分规则

小黑屋|手机版|数学研发网 ( 苏ICP备07505100号 )

GMT+8, 2024-3-29 15:12 , Processed in 0.042660 second(s), 16 queries .

Powered by Discuz! X3.5

© 2001-2024 Discuz! Team.

快速回复 返回顶部 返回列表