主题：旧金山 -- 胡里糊涂
共:💬2741 🌺26330 🌵509
姓名记不准确了，搞了个机器数学，这个名称也记不准确了，就是在公理和定理基础上进一步推理，还得了科技进步奖来者。
- 相关回复 上下关系8
压缩 24 层
🙂如果在ChatGPT之前 5 唐家山 字503 2023-12-06 03:30:02
🙂逻辑已死——哥德尔 15 tq10 字469 2023-12-07 02:58:04
🙂昨天刚好看到这篇文章 1 懒厨 字175 2023-12-06 21:17:02
🙂陶哲轩的工作跟华老的设想还是有区别的 4 唐家山 字538 2023-12-07 02:59:55
🙂好像有过报道说可以自创他它们自己的语言 2 大眼 字0 2023-12-07 06:40:02
🙂还是有厉害人记得此事 1 桥上 字113 2023-12-05 22:25:33
🙂忙总的看法现在看来是有些片面了 8 唐家山 字328 2023-12-05 04:20:02
🙂不明觉厉 1 桥上 字0 2023-12-05 22:30:29