关于

面向 AI for Mathematics 的开源研究情报项目，持续追踪数学推理、定理证明、形式化与 AI 辅助数学发现。

当前使用 static-chatgpt：GitHub 保存 canonical data，ChatGPT 负责研究维护，GitHub Pages 负责静态发布；Native AIHOT runtime 仍保留为可切换部署方式。