- 主题:AI数学证明提速5倍,80%数学步骤全自动化
mp dot weixin dot qq dot com slash s slash XErFod3ax-yvf6iKTPP3TQ
另外还有一件事,去年手动交互式的AI辅助证明 NP<>P 按照文中说法是被承认了的?怎么不见媒体报道呢?
--
修改:vinbo FROM 202.120.11.*
FROM 202.120.11.*
AI这么牛了?
【 在 vinbo 的大作中提到: 】
: mp dot weixin dot qq dot com slash s slash XErFod3ax-yvf6iKTPP3TQ
: 另外还有一件事,去年手动交互式的AI辅助证明 NP<>P 按照文中说法是被承认了的?怎么不见媒体报道呢?
--
FROM 123.117.172.*
自媒体文有夸大成分,谨慎看吧
【 在 Soar 的大作中提到: 】
: AI这么牛了?
--
FROM 202.120.11.*
本质就是路径优化吧
【 在 Soar 的大作中提到: 】
: AI这么牛了?
--
FROM 60.1.2.*