AI4Math热潮：现状如何？

AI在数学研究中的应用日益增加，分析显示，实质性AI使用从3月到8月增长了10倍，组合数学领域使用最多，美国和中国贡献了三分之二的研究。AI已应用于开放性问题，OpenAI和Anthropic系统使用最频繁。AI辅助数学发展迅速但处于早期且不均衡阶段。