陈小杨的主要研究方向为黎曼几何,在Geometry and Topology, Advances in Mathematics等期刊发表了多篇研究论文。近期,陈小杨与研究团队开展了大模型在基础数学的应用研究,并计划开发机器学习算法用于发现数学规律,构造数学猜想反例等。
同时，使用计算机导致 Thomas Hales 的论文难以通过审查。Hales 把论文提交给了数学顶级期刊之一《数学年刊》（Annals of Mathematics），整个审稿过程持续了四年，审稿委员会包括 12 名审稿人。最终，他们表示 99% 地确定证明是正确的，但无法完全确认其中的所有计算。出于这种不确定性，编辑们采取了非常罕见的做法，发...
Everything in the world has duality, and behind the mutually beneficial relationship between mathematics and artificial intelligence, there may also be hidden risks. When the audience at the event expressed confusion about this issue, Professor Manuel Blum noted that humanity might one day perish, bu...
论文「Advancing mathematics by guiding human intuition with AI」已于12月1日在Nature发表。扭结理论 低维拓扑学是一个活跃而有影响力的数学领域。扭结，是三维空间中的简单封闭曲线，也是低维拓扑中的基本对象之一。在数学语言中，结是一个圆在3维欧几里得空间中的嵌入。如果两个数学结可以通过R的变形转化为另一...
论文题目:AI-driven research in pure mathematics and theoretical physics 论文链接:https://www.nature.com/articles/s42254-024-00740-1 目录 1. 引言 2. 人工智能驱动的数学和理论科学 2.1 自下而上的数学(Bottom-up mathematics) ...
▲ IB数学是IB课程中的必修课，IBDP阶段提供了两门数学课程选择：Mathematics：analysis and approaches（AA）和Mathematics：application and interpretation（AI），分别有SL和HL两个级别。▲ 难度上看， AA HL > AI HL ≈ AA SL > AI SL。SL和HL数学在内容深度和广度上有很大差异。一般数学能力较弱或以后专业...
10. Larson, C. E. in DIMACS Series in Discrete Mathematics and Theoretical Computer Science Vol. 69 (eds Fajtlowicz, S. et al.) 297–318 (AMS &DIMACS, 2005). 11. Raayoni, G. et al. Generating conjectures on fundamental constants with...
The rich historical and artistic world heritage has often been based on mathematical concepts, and thus it is an interesting and motivating sample of what mathematics can be taught about the surrounding reality. The purpose of this chapter is to show how AI can help, from fields such as ...
[4] Polu S, Han J M, Zheng K, et al. Formal mathematics statement curriculum learning[J]. arXiv preprint arXiv:2202.01344, 2022. [5] Silver D, Hubert T, Schrittwieser J, et al. Mastering chess and shogi by self-play with a general reinforcement learning algorithm[J]. arXivpreprint...
消极的思想(统计的自省:statistics and AI a fireside Conversation)David donoho 积极的思想:AI for mathematics! AI的方法:提升数学理论研究的效率(理论结果的验证,准确的语义检索(terrance tao,面向加速感知算法--数学的本质是什么呢?--搭一些桥),)