本月全球数学界在数学证明自动化、组合数学等领域取得重大突破，学术会议与科研合作持续深化，推动数学研究范式发生重要变革。 本月最受关注的成果来自数学证明自动化领域。6月18日，艾伦人工智能研究所开发的数

了解更多2025年6月数学月报