这些本来是助手的工作

来源: wzg69 于 2023-12-07 13:15:25 [] [博客] [旧帖] [给我悄悄话] 本文已被阅读： 次 (105 bytes)
回答: AI 是对TAO 已经做出的论文进行形式化 由 trivial 于 2023-12-07 12:19:24

现在不用了，他只要在顶层考虑。中间很多步骤可以跳过，让机器来证明

所有跟帖： 

• 数学家没助手。 -trivial- ♀ 给 trivial 发送悄悄话 (0 bytes) () 12/07/2023 postreply 15:57:09

请您先登陆，再发跟帖！

发现Adblock插件

如要继续浏览
请支持本站 请务必在本站关闭/移除任何Adblock

关闭Adblock后 请点击

请参考如何关闭Adblock/Adblock plus

安装Adblock plus用户请点击浏览器图标
选择“Disable on www.wenxuecity.com”

安装Adblock用户请点击图标
选择“don't run on pages on this domain”