主题：旧金山 -- 胡里糊涂
共:💬2741 🌺26334 🌵509
舒尔茨最近也做过类似的工作。陶哲轩和舒尔茨他们还是把交互式定理证明作为一种工具来用的。华老的意思是人工智能无法创造新的概念体系，因而意义不大。
实际上人工智能在数学研究方向有两个目标，第一个目标就是在现有概念体系下自主证明一些人类未知或未证明的定理，这一个目标应该是可以完成的。第二个目标是自主创造新的概念体系，这一个目标我以前认为是不可能的，但是现在不确定。
- 相关回复 上下关系8
压缩 22 层
🙂忙总的看法现在看来是有些片面了 8 唐家山 字328 2023-12-05 04:20:02
🙂不明觉厉 1 桥上 字0 2023-12-05 22:30:29
🙂应该是吴文俊院士 6 东海后学 字2891 2023-12-05 03:17:12
🙂河里真有厉害的 1 桥上 字0 2023-12-05 22:29:14
🙂你说的可能是吴文俊先生 5 唐家山 字255 2023-12-05 01:49:41
🙂是的，人类的思维方式可分为“归纳型”的和“演绎型” 6 土木辛科 字1666 2023-12-04 02:10:59
🙂最近中美还站在了AI硬件的门槛上，也就是非冯诺依曼架构的 7 onlookor 字541 2023-12-04 02:34:39
🙂我也看到清华大学存算一体技术研究的报道 6 土木辛科 字321 2023-12-04 04:13:22