由 OpenAI 的 O1 模型提供支援的自主 AI 代理，可分析科学论文中的数学错误和差异。