费马在一本书的页边写下一句话就走了，害得整个数学界找了 358 年。而真正终结这道题的人，早在 10 岁那年就发过誓。这是「算得出 ≠ 证得了」系列的第 4 篇。

孪生素数猜想困扰了数学界一百多年，谁也证不出来。一个北大毕业却漂泊半生、送过外卖、当过三明治店会计的数学博士张益唐，58 岁那年用一篇论文，第一次把这扇门推开了一条缝。

ICM 2026 官网前端疑似泄露了菲尔兹奖名单，王虹、邓煜在列，官方要到 7 月 23 日才公布。一根针难倒数学界 108 年，破解它的桂林姑娘王虹是谁，为什么这一次对中国数学格外重要。

第 04 期：陶哲轩让 AI 编程智能体把自己 1999 年写的 Java 小程序搬到网页，顺手挑出两个他没发现的 bug，并亲口划出"视觉辅助"与"数学论证核心"的边界；第三届 AI for Math 工作坊在首尔 ICML 举行，投稿量较去年翻倍；IMO 2026 上海本周开幕，7 月 15—16 日笔试，AI 阵营的表态成为悬念。

质数看起来杂乱无章，却守护着你每天的网上支付。有人在这片混乱里，用一个叫黎曼 ζ 的函数，听出了藏得极深的秩序，也留下了一道悬了一百多年、悬赏一百万美元的难题。

在线试玩（浏览器直接打开）：https://maweis.com/rust_bevy_lua_game/ → 菜单选 Engine Showcase。 本文对应的全部代码、issue、开发过程记录都在 rust_bevy_lua_game 仓库里（PR #56，主工单 #52）。 游戏引擎的宣传页都长一个样：一排 feature 图标，一段”强大而灵活”的形容词。今天我们换了个做法——把...

立项输入只有一句话:"换成悬疑访谈吧"。文生图定人、图生图定情绪、BiRefNet 抠图、TTS 一人一音色(基频 291/202/158 Hz 仪器验证)、Lyria 2 氛围乐——五种生成能力各有引擎契约承接。附立绘管线四阶段图与 WASM 实机成品截图。

我全程只给了截图、视频、一两句话:玩法调研是 agent 做的,视频关键帧是 agent 抽取比对的,任务分解是 agent 自己统筹的——没写过一条复杂提示词。本篇拆解 rust_bevy_lua_game 引擎平台与 Floniks 素材平台如何咬合成一条零关卡流水线,以及"一份 Rust crate,原生 + WASM 全跨平台"。

你只说"想要什么"，Claude Code 写代码、调 Floniks 生成素材、跑测试、自主迭代。本文用一整段真实的 git 历史，7 步复盘我们如何用纯 vibe coding 做出一套浏览器直接可玩的小游戏合集——从一句话加一个解谜游戏， 到用文生图/图生图/去背景/TTS/文生音乐做出一个悬疑微恐视觉小说，再到系统性 debug 与一键发布。

第 03 期：陶哲轩逐行拆解 OpenAI 单位距离构造的三级台阶；"拉马努金 AI 挑战赛"上线，要求可核查的证明而非答案；Lean 与 LMFDB 数据库工作坊在英国召开；Kevin Buzzard 费马大定理形式化工作坊本周在伦敦开幕，专挑硬骨头考验自动形式化；IMO 2026 上海倒计时，本周开幕在即。