math-problems

据报 OpenAI 计划发布数百道由 AI 解决的数学题，此举引发数学家的批评，他们认为这类输出贬低了人类的数学推理能力以及严格的证明标准。

Prof. Tom Yeh分享了一份PDF，包含agentic AI主题的数学题，如令牌成本和系统提示，鼓励手算以学习。

本文探讨了OpenAI宣称在一个月内解决100个长期存在的数学问题，以及这对通用人工智能（AGI）加速时间线的影响。

Scott Aaronson 讨论了AI的快速进展，特别是在解决重大数学问题方面，并认为Singularity已经到来，导致未来的不确定性。

本文描述了 motive.md，这是一个开源去中心化系统，AI代理使用基于技能的贡献和结构化的假设-证据记忆来协作解决数学问题，模拟科学方法循环。

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

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

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

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