陶哲轩最新论文：深入探究GUE及其子矩阵特征值分布
2024-12-22
著名数学家陶哲轩最新上传至arXiv的论文，深入研究了高斯酉系综(GUE)及其子矩阵特征值在固定指标下的分布。论文运用行列式过程和精细的分析技巧，获得了关于特征值间隙的若干估计，解决了先前文献中未曾解答的问题，为后续研究GUE边界条件下的“蜂巢”的极限行为奠定了基础。该研究对理解随机矩阵模型以及相关领域具有重要意义。
阅读更多
一个利用通用代数探索全新合作方式和机器辅助的试点项目
2024-09-27
著名数学家陶哲轩提议开展一个利用通用代数探索全新合作方式和机器辅助的试点项目。该项目旨在探索岩浆的简单方程式理论，并构建一个包含大量方程式及其关系的数据库。项目将利用 Github 仓库、Lean 证明辅助语言和自动证明工具等，鼓励专业数学家、公众和 AI 工具协作完成证明、反驳和可视化等任务。
阅读更多
数学的真谛：超越严谨与证明
2024-06-19
文章将数学学习分为三个阶段：前严谨阶段、严谨阶段和后严谨阶段。作者认为，严谨性固然重要，但不能忽视直觉和应用。数学教育应该帮助学生在掌握严谨思维的同时，提升直觉思维，并将两者结合起来解决问题。
阅读更多
未分类
思维
两项公告：数学人工智能资源和erdosproblems.com网站
2024-06-15
陶哲轩教授在他的博客文章中宣布了两项与数学领域相关的消息。首先，他推荐了一份由Talia Ringer发起的数学人工智能资源清单，该清单收集了大量有关人工智能在数学推理方面应用的资源，并公开征集新的贡献。其次，陶教授介绍了由Thomas Bloom创建的erdosproblems.com网站，该网站致力于收集和展示由著名数学家Paul Erdős提出的数学问题，并鼓励数学爱好者参与网站建设和问题解答。
阅读更多
未分类