Mathematical Exploration and Discovery at Scale
6 months ago
- #AI
- #mathematics
- #optimization
- 与Google Deepmind合作，使用AlphaEvolve工具进行数学探索
- AlphaEvolve通过LLM演化计算机代码，生成优化问题的输入
- 在分析学、组合数学和几何领域的67个数学问题上进行测试
- 优势包括解决方案的可扩展性、鲁棒性和可解释性
- 在某些情况下（如Talenti函数）AlphaEvolve找到了精确解
- 在解析数论问题上表现欠佳，但在代数结构方面表现突出
- 为有限域Kakeya集和Nikodym集发现了新的构造方法
- 有望系统性地记录数学研究中的负面结果