★ 5
OpenAI 公布数学难题突破成果
OpenAI 发布由未公开前沿模型生成的 722 篇数学手稿，覆盖 372 个成果族，声称解决了数百个长期未解问题，并公开 Lean 形式化证明与算力估算。此举延续了 AI 冲击数学界的势头，也引发研究伦理与学术规范的争议。独立顾问组织 AGMAI 呼吁实验室通过正规学术渠道发布成果，而非将其当作…
OpenAI26 天前
共 2 篇相关资讯，按重要度与时间排序，每 3 小时更新。
OpenAI 发布由未公开前沿模型生成的 722 篇数学手稿，覆盖 372 个成果族，声称解决了数百个长期未解问题，并公开 Lean 形式化证明与算力估算。此举延续了 AI 冲击数学界的势头，也引发研究伦理与学术规范的争议。独立顾问组织 AGMAI 呼吁实验室通过正规学术渠道发布成果，而非将其当作…
论文提出规范框架，区分内容来源、人类验证、责任归属等概念，主张LLM辅助研究的伦理边界主要由充分验证和负责任的人类所有权决定，而非机器参与程度。引入了“认知审计”概念，使AI辅助推理透明可审查。