水木社区手机版
首页
|版面-数学科学(Mathematics)|
新版wap站已上线
展开
|
楼主
|
同主题展开
|
溯源
|
返回
上一篇
|
下一篇
|
同主题上篇
主题:Re: Machine Assisted Proofs Workshop
annals
|
2023-05-19 04:00:24
|
其实不太一定,现有的数学知识被形式化了其实还是很适合用深度学习去搞的
就好像大家之前也觉得围棋很难超越人类一样
因为哥德尔不完备定理/图灵停机定理,确定性的自动推理算法的局限性很明显,主要优化方向应该是降低计算复杂度
探索性算法的潜力比较值得期待
【 在 Sapphirn 的大作中提到: 】
: 如果能被取代,数学家的工作也是最后一个被取代的。在此之前人类的其他工作早就被AI取代了,哈哈
--
FROM 59.36.211.201
上一篇
|
下一篇
|
同主题上篇
选择讨论区
首页
|
分区
|
热推
BYR-Team
©
2010.
KBS Dev-Team
©
2011
登录完整版