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

来自cslt Wiki
跳转至: 导航搜索
高级读者
 
第36行: 第36行:
 
* Wagner A Z. Constructions in combinatorics via neural networks[J]. arXiv preprint arXiv:2104.14516, 2021. [https://arxiv.org/pdf/2104.14516.pdf]
 
* Wagner A Z. Constructions in combinatorics via neural networks[J]. arXiv preprint arXiv:2104.14516, 2021. [https://arxiv.org/pdf/2104.14516.pdf]
 
* The Ramanujan Machine: Researchers have developed a 'conjecture generator' that creates mathematical conjectures [https://phys.org/news/2021-02-ramanujan-machine-conjecture-mathematical-conjectures.html]
 
* The Ramanujan Machine: Researchers have developed a 'conjecture generator' that creates mathematical conjectures [https://phys.org/news/2021-02-ramanujan-machine-conjecture-mathematical-conjectures.html]
* Raayoni G, Gottlieb S, Manor Y, et al. Generating conjectures on fundamental constants with the Ramanujan Machine[J]. Nature, 2021, 590(7844): 67-73. [https://scholar.google.com/scholar_lookup?title=&journal=Nature&volume=590&pages=67-73&publication_year=2021&author=Raayoni%2CG.]
+
* Raayoni G, Gottlieb S, Manor Y, et al. Generating conjectures on fundamental constants with the Ramanujan Machine[J]. Nature, 2021, 590(7844): 67-73. [https://www.nature.com/articles/s41586-021-03229-4]
 
* AI maths whiz creates tough new problems for humans to solve [https://www.nature.com/articles/d41586-021-00304-8]
 
* AI maths whiz creates tough new problems for humans to solve [https://www.nature.com/articles/d41586-021-00304-8]

2023年8月13日 (日) 02:42的最后版本

教学资料

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


扩展阅读

  • AI100问:机器如何实现定理证明?[3]
  • AI100问:如何为数学家出题?[4]
  • 拉马努金机主页 [5]


视频展示

  • 四色猜想 [6]
  • 哥德巴赫猜想 [7]
  • 开普勒猜想[8]
  • 天才简史:拉马努金 [9]


演示链接

开发者资源

  • AutoGraphiX证伪代码 [10]
  • 拉马努金机代码 [11]


高级读者

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