1700514910
10.1 数学证明的游戏 [:1700516591]
1700514911
10.2 数学的起源 [:1700516617]
1700514912
10.3 证明的起源 [:1700516680]
1700514913
11 第10章 数学家的望远镜 [:1700516738]
1700514914
11.1 Coq证明助手 [:1700516772]
1700514915
11.2 人脑的极限 [:1700516806]
1700514916
11.3 沃沃斯基的愿景 [:1700516848]
1700514917
12 第11章 音乐：声响的数学之旅 [:1700516894]
1700514918
12.1 巴赫：首位音乐程序员 [:1700516934]
1700514919
12.2 艾米：人工智能作曲家 [:1700516985]
1700514920
12.3 模拟游戏：音乐图灵测试 [:1700517051]
1700514921
12.4 “深度巴赫”：从头开始再生作曲家 [:1700517107]
1700514922
13 第12章 歌曲的创作公式 [:1700517153]
1700514923
13.1 普希金、诗歌和概率 [:1700517173]
1700514924
13.2 “续作者”：第一个人工智能即兴爵士作曲演奏者 [:1700517222]
1700514925
13.3 “心流机” [:1700517248]
1700514926
13.4 量子作曲 [:1700517331]
1700514927
13.5 人为何创作音乐 [:1700517363]
1700514928
14 第13章 深度数学 [:1700517383]
1700514929
14.1 Mizar的数学 [:1700517413]
1700514930
14.2 数学图灵测试 [:1700517439]
1700514931
14.3 巴别数学图书馆 [:1700517467]
1700514932
14.4 数学寓言 [:1700517498]
1700514933
14.5 意料之外的故事 [:1700517536]
1700514934
14.6 数学的叙述艺术 [:1700517569]
1700514935
15 第14章 语言游戏 [:1700517597]
1700514936
15.1 《危险边缘》 [:1700517729]
1700514937
15.2 “华生”的工作模式 [:1700517763]
1700514938
15.3 在翻译中迷失 [:1700517809]
1700514939
15.4 机器人术语 [:1700517843]
1700514940
15.5 受阻于“中文房间”试验 [:1700517861]
1700514941
16 第15章 人工智能讲故事 [:1700517883]
1700514942
16.1 如何在一个月内完成一部小说 [:1700518095]
1700514943
16.2 哈利·波特和死亡波特尼克 [:1700518117]
1700514944
16.3 假如…… [:1700518159]
1700514945
16.4 伟大的“自动化”数学家 [:1700518195]
1700514946
16.5 人工智能新闻 [:1700518235]
1700514947
17 第16章 为什么要创造：思想的交流 [:1700518275]
1700514948
1700514949
1700514950
Cover
1700514951
1700514952
1700514953
天才与算法：人脑与AI的数学思维 天才与算法：人脑与AI的数学思维
1700514954
1700514955
The Creativity Code：How AI Is Learning to Write，Paint and Think
1700514956
1700514957
（英）马库斯·杜·索托伊（Marcus du Sautoy） 著
1700514958
1700514959
王晓燕 陈浩 程国建 译