海外 OpenAI数学证明未达学界标准,指南之争浮出水面 TechCrunch报道,OpenAI近期发布大量数学证明,却偏离了由数学研究者为其制定的指南。这些证明被指缺乏严格形式化、未充分引用文献,也未经过同行评审,引发数学界对AI生成数学结果可信度的质疑。事件折射出AI公司追求基准突破与学术规范 OpenAI 数学推理 学术标准 AI可信度 6小时前 68