“第四十四章 和数学家做朋友”版本间的差异
来自cslt Wiki
（以“==教学资料== * 教学参考 * [http://aigraph.cslt.org/courses/44/course-44.pptx 课件] * 小清爱提问：机器如何实现定理证明...”为内容创建页面） |
（→高级读者） |
||
| （相同用户的一个中间修订版本未显示） | |||
| 第18行： | 第18行： | ||
* 四色猜想 [https://www.bilibili.com/video/BV1bB4y1Q7wt?spm_id_from=333.337.search-card.all.click] | * 四色猜想 [https://www.bilibili.com/video/BV1bB4y1Q7wt?spm_id_from=333.337.search-card.all.click] | ||
| + | * 哥德巴赫猜想 [https://www.bilibili.com/video/BV1Pw411f7Ca?spm_id_from=333.337.search-card.all.click] | ||
| + | * 开普勒猜想[https://www.bilibili.com/video/BV1hT4y1e7o7?spm_id_from=333.337.search-card.all.click] | ||
| + | * 天才简史：拉马努金 [https://www.bilibili.com/video/BV1m4411N7hx?spm_id_from=333.337.search-card.all.click] | ||
| 第33行： | 第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:// | + | * 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的最后版本
教学资料
扩展阅读
- 拉马努金机主页 [5]
视频展示
演示链接
开发者资源
高级读者
- 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]
