site stats
微软AI将加入明年的IMO竞赛,现在的第四个版本Lean 4还在完善中,想要让它自己证明IMO中提出来的、此前“没见过的”数学问题,依旧非常困难。而OpenAI家的GPT-f,发现的23个简短证明已被Metamath主库接收,这也是首次AI的数学证明获得业内认可。
发布时间:
1
数据加载中
Markdown支持
评论加载中...
您可能感兴趣的: 更多