“第四十四章 和数学家做朋友”版本间的差异

2022年8月24日 (三) 08:53的版本

教学资料

• 教学参考
• 课件
• 小清爱提问：机器如何实现定理证明？ [1]
• 小清爱提问：AI如何为数学家出题？ [2]

扩展阅读

• AI100问：机器如何实现定理证明？[3]
• AI100问：如何为数学家出题？[4]

• 拉马努金机主页 [5]

视频展示

• 四色猜想 [6]

演示链接

开发者资源

• AutoGraphiX证伪代码 [7]
• 拉马努金机代码 [8]

高级读者

• Wagner A Z. Constructions in combinatorics via neural networks[J]. arXiv preprint arXiv:2104.14516, 2021. [9]
• The Ramanujan Machine: Researchers have developed a 'conjecture generator' that creates mathematical conjectures [10]
• Raayoni G, Gottlieb S, Manor Y, et al. Generating conjectures on fundamental constants with the Ramanujan Machine[J]. Nature, 2021, 590(7844): 67-73. [11]
• AI maths whiz creates tough new problems for humans to solve [12]