Hacker News：AI 热帖· 01-_-·· 3 天前AI 评分23
AI 驱动的形式化证明搜索推进数学研究
Advancing mathematics research with AI-driven formal proof search
AI 导读
一篇 science.org 文章以 AI 驱动的形式化证明搜索推进数学研究为主题。该网页当前仅显示 Cloudflare 安全验证页面，正文未加载，无法获知具体模型、方法或研究结果。
来源：Hacker News：AI 热帖 · science.org