水木社区手机版
首页
|版面-力学(Mechanics)|
新版wap站已上线
返回
1/1
|
转到
主题:AI数学证明提速5倍,80%数学步骤全自动化
楼主
|
vinbo
|
2024-04-23 15:17:58
|
展开
mp dot weixin dot qq dot com slash s slash XErFod3ax-yvf6iKTPP3TQ
另外还有一件事,去年手动交互式的AI辅助证明 NP<>P 按照文中说法是被承认了的?怎么不见媒体报道呢?
--
修改:vinbo FROM 202.120.11.*
FROM 202.120.11.*
2楼
|
vinbo
|
2024-04-23 15:32:21
|
展开
自媒体文有夸大成分,谨慎看吧
【 在 Soar 的大作中提到: 】
: AI这么牛了?
--
FROM 202.120.11.*
1/1
|
转到
选择讨论区
首页
|
分区
|
热推
BYR-Team
©
2010.
KBS Dev-Team
©
2011
登录完整版