科研动态
AI 正在搅动数学界，但它的证明可信吗？
摘要
Science 发文追问 AI 生成的数学证明是否可信。原文页面仅显示 Cloudflare 安全验证信息，未提供具体模型、机构或研究数据。
摘要由模型根据原文撰写，以原文为准。
正文 · 原文
www.science.org
Performing security verification
This website uses a security service to protect against malicious bots. This page is displayed while the website verifies you are not a bot.
Verification successful. Waiting for www.science.org to respond
Ray ID: a514edbf0b9e3eef
Performance and Security by CloudflarePrivacy
注意转载授权 · 阅读原文
来源：Science News · science.org
引用原文
Celina Zhao. AI is shaking up math. But can its proofs be trusted?[EB/OL]. (2026-10-27)[访问日期]. https://www.science.org/content/article/ai-shaking-math-can-its-proofs-be-trusted.