● 5 篇 AI 生成的数学论文被接收！00 后创始人洪乐潼融资 14 个亿

📌 一句话摘要 AI 初创公司 Axiom Math 提交的 8 篇数学论文中有 5 篇被学术期刊接收，其 AI 系统 AxiomProver 能生成形式化证明，创始人洪乐潼已为公司融资 2 亿美元。 📝 详细摘要 本文报道了 AI 数学初创公司 Axiom Math 的最新进展。该公司由 20

● 2026-05-22 Hacker News Top Stories #

📌 一句话摘要 本文精选了 2026 年 5 月 22 日 Hacker News 十大热门话题，涵盖 OpenAI 模型推翻离散几何猜想、Flipper One 开源硬件、AI 抄袭争议、谷歌搜索变革及 SpaceX 上市等多元技术热点。 📝 详细摘要 文章汇总了 Hacker News 上近

● AI「生肉证明」堆爆 GitHub！陶哲轩重磅发声：只会解题没用了

📌 一句话摘要 陶哲轩提出数学正从「证明稀缺」进入「证明过剩」时代，AI 大量生成未经消化的「生肉证明」，数学家的核心竞争力正从「生成证明」转向「验证与消化」，学术评价体系面临重构。 📝 详细摘要 文章报道了陶哲轩在 Mastodon、Nature 访谈和博客中同步发出的重磅判断：数学正在从「证