http://www.cslt.org/mediawiki/index.php?action=history&feed=atom&title=%E7%AC%AC%E5%9B%9B%E5%8D%81%E5%9B%9B%E7%AB%A0_%E5%92%8C%E6%95%B0%E5%AD%A6%E5%AE%B6%E5%81%9A%E6%9C%8B%E5%8F%8B 2026-04-09T05:59:45Z 本wiki的该页面的版本历史 MediaWiki 1.23.3 http://www.cslt.org/mediawiki/index.php?title=%E7%AC%AC%E5%9B%9B%E5%8D%81%E5%9B%9B%E7%AB%A0_%E5%92%8C%E6%95%B0%E5%AD%A6%E5%AE%B6%E5%81%9A%E6%9C%8B%E5%8F%8B&diff=40579&oldid=prev 2023-08-13T02:42:21Z

<p>‎<span dir="auto"><span class="autocomment">高级读者</span></span></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr style='vertical-align: top;'> <td colspan='2' style="background-color: white; color:black; text-align: center;">←上一版本</td> <td colspan='2' style="background-color: white; color:black; text-align: center;">2023年8月13日 (日) 02:42的版本</td> </tr><tr><td colspan="2" class="diff-lineno">第36行：</td> <td colspan="2" class="diff-lineno">第36行：</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* Wagner A Z. Constructions in combinatorics via neural networks[J]. arXiv preprint arXiv:2104.14516, 2021. [https://arxiv.org/pdf/2104.14516.pdf]</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* Wagner A Z. Constructions in combinatorics via neural networks[J]. arXiv preprint arXiv:2104.14516, 2021. [https://arxiv.org/pdf/2104.14516.pdf]</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* 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]</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* 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]</div></td></tr> <tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>* 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://<del class="diffchange diffchange-inline">scholar</del>.<del class="diffchange diffchange-inline">google</del>.com/<del class="diffchange diffchange-inline">scholar_lookup?title=&amp;journal=Nature&amp;volume=590&amp;pages=67</del>-<del class="diffchange diffchange-inline">73&amp;publication_year=2021&amp;author=Raayoni%2CG.</del>]</div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>* 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://<ins class="diffchange diffchange-inline">www</ins>.<ins class="diffchange diffchange-inline">nature</ins>.com/<ins class="diffchange diffchange-inline">articles/s41586</ins>-<ins class="diffchange diffchange-inline">021-03229-4</ins>]</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* AI maths whiz creates tough new problems for humans to solve [https://www.nature.com/articles/d41586-021-00304-8]</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* AI maths whiz creates tough new problems for humans to solve [https://www.nature.com/articles/d41586-021-00304-8]</div></td></tr> </table>

Cslt http://www.cslt.org/mediawiki/index.php?title=%E7%AC%AC%E5%9B%9B%E5%8D%81%E5%9B%9B%E7%AB%A0_%E5%92%8C%E6%95%B0%E5%AD%A6%E5%AE%B6%E5%81%9A%E6%9C%8B%E5%8F%8B&diff=39202&oldid=prev 2022-08-24T09:47:53Z

<p></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr style='vertical-align: top;'> <td colspan='2' style="background-color: white; color:black; text-align: center;">←上一版本</td> <td colspan='2' style="background-color: white; color:black; text-align: center;">2022年8月24日 (三) 09:47的版本</td> </tr><tr><td colspan="2" class="diff-lineno">第18行：</td> <td colspan="2" class="diff-lineno">第18行：</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* 四色猜想 [https://www.bilibili.com/video/BV1bB4y1Q7wt?spm_id_from=333.337.search-card.all.click]</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>* 四色猜想 [https://www.bilibili.com/video/BV1bB4y1Q7wt?spm_id_from=333.337.search-card.all.click]</div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">* 哥德巴赫猜想 [https://www.bilibili.com/video/BV1Pw411f7Ca?spm_id_from=333.337.search-card.all.click]</ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">* 开普勒猜想[https://www.bilibili.com/video/BV1hT4y1e7o7?spm_id_from=333.337.search-card.all.click]</ins></div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">* 天才简史：拉马努金 [https://www.bilibili.com/video/BV1m4411N7hx?spm_id_from=333.337.search-card.all.click]</ins></div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td></tr> </table>

Cslt http://www.cslt.org/mediawiki/index.php?title=%E7%AC%AC%E5%9B%9B%E5%8D%81%E5%9B%9B%E7%AB%A0_%E5%92%8C%E6%95%B0%E5%AD%A6%E5%AE%B6%E5%81%9A%E6%9C%8B%E5%8F%8B&diff=39201&oldid=prev 2022-08-24T08:53:09Z

<p>以“==教学资料== * <a href="/mediawiki/index.php/%E6%95%99%E5%AD%A6%E5%8F%82%E8%80%83-44" title="教学参考-44">教学参考</a> * [http://aigraph.cslt.org/courses/44/course-44.pptx 课件] * 小清爱提问：机器如何实现定理证明...”为内容创建页面</p> <p><b>新页面</b></p><div>==教学资料==<br /> <br /> * [[教学参考-44|教学参考]]<br /> * [http://aigraph.cslt.org/courses/44/course-44.pptx 课件]<br /> * 小清爱提问：机器如何实现定理证明？ [https://mp.weixin.qq.com/s?__biz=Mzk0NjIzMzI2MQ==&amp;mid=2247487114&amp;idx=1&amp;sn=6868a5aaa279f6527beab6e202324adf&amp;chksm=c3080448f47f8d5e4150aa518c7929766f07efccb30e5a52c5e0176b384624560f80c66f63aa&amp;scene=178#rd]<br /> * 小清爱提问：AI如何为数学家出题？ [https://mp.weixin.qq.com/s?__biz=Mzk0NjIzMzI2MQ==&amp;mid=2247486219&amp;idx=1&amp;sn=186b37a2a97c1854f9b679abe713f2e9&amp;chksm=c30801c9f47f88df29808440460ded96be5f080236e225907508d14c973c846aab6388658b40&amp;scene=178#rd]<br /> <br /> <br /> ==扩展阅读==<br /> <br /> * AI100问：机器如何实现定理证明？[http://aigraph.cslt.org/ai100/AI-100-55-机器如何实现定理证明.pdf]<br /> * AI100问：如何为数学家出题？[http://aigraph.cslt.org/ai100/AI-100-32-AI如何为数学家出题.pdf]<br /> <br /> * 拉马努金机主页 [http://www.ramanujanmachine.com/]<br /> <br /> <br /> ==视频展示==<br /> <br /> * 四色猜想 [https://www.bilibili.com/video/BV1bB4y1Q7wt?spm_id_from=333.337.search-card.all.click]<br /> <br /> <br /> <br /> ==演示链接==<br /> <br /> <br /> ==开发者资源==<br /> * AutoGraphiX证伪代码 [https://github.com/zawagner22/cross-entropy-for-combinatorics]<br /> * 拉马努金机代码 [https://www.dei.ac.in/dei/edei/files/Generating%20conjectures%20on%20fundamental%20constants%20with%20the%20Ramanujan%20Machine%20(1).pdf]<br /> <br /> <br /> ==高级读者==<br /> <br /> * Wagner A Z. Constructions in combinatorics via neural networks[J]. arXiv preprint arXiv:2104.14516, 2021. [https://arxiv.org/pdf/2104.14516.pdf]<br /> * 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]<br /> * 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=&amp;journal=Nature&amp;volume=590&amp;pages=67-73&amp;publication_year=2021&amp;author=Raayoni%2CG.]<br /> * AI maths whiz creates tough new problems for humans to solve [https://www.nature.com/articles/d41586-021-00304-8]</div>

Cslt