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