math-problems

作者介绍了ARC-AGI-N，这是一款开源的AI研究工具，可帮助用户查找尚未解决的数学与科学问题，并为其他AI模型提供解决这些问题的提示词。

本文探讨了在假设驱动研究中，人机协作如何推动数学问题解决和人工智能发展，并以黎曼猜想的进展以及用于架构搜索的AIRA-Compose系统为例。

作者观察到许多数学难题正在被攻克，并询问这是否意味着奇点或AI快速起飞的开端。

VibeMathed是一个追踪借助AI解决的数学问题的网站，特别关注Erdős问题，包含验证状态和所用AI模型的引用。