苏菲拉底
向最好的头脑提问
文库
问题
头脑
文库
Terence Tao – How the world’s top mathematician uses AI
数学直觉与海量数据之间,谁在推动真正的突破?
当AI能验证证明,数学家的核心价值将转移到哪里?
剧场模式
来源:
https://www.youtube.com/watch?v=Q8Fkpi18QXU
· 内容由苏菲拉底翻译整理,仅供个人学习使用
01
开普勒如何发现行星运动定律
02
开普勒像高温采样的大语言模型
03
从理论实验到大数据驱动的科研范式
04
AI 让想法生成变廉价,验证成为瓶颈
05
好点子难评判:时间检验与路径依赖
06
新理论初期往往更差:日心说与万有引力
07
达尔文晚于牛顿两百年的叙事之谜
08
天文学式的数据榨取与科学计量学
09
Erdős 问题热潮为何停滞:会跳的机器人
10
AI 的优势是广度,科研需为广度重构
11
氛围编程与氛围科研的根本差异
12
数学缺失的实验面与规模化数学
13
现有技术能走多远:1%~2% 的真实成功率
14
陶哲轩自述 AI 带来的实际生产力变化
15
智能不只是聪明:累积式协作推理
16
Lean 暴力证明能否带来概念性理解
17
为数学策略与猜想建立半形式化语言
18
素数的伪随机模型与黎曼猜想的意义
19
刺猬与狐狸:陶哲轩的自学与写博客方法
20
为偶然性留白:优化一切的隐患
导读
句型
生词
自测
这期还没有生成总结。
这期还没有生成核心句型(制作精读 PDF 时会一并生成)。
这期还没有生成生词表(制作精读 PDF 时会一并生成)。
这期还没有生成自测题(制作精读 PDF 时会一并生成)。
苏菲拉底
向最好的头脑提问 · ASK THE BEST MINDS
私享文库 · 内容仅供个人学习