密码学家 Matthew Green:用前沿模型做出 ZK 新结果却懒得发布
matthew_d_green · x · 2026-09-09
约翰霍普金斯密码学家 Matthew Green 称,他用一个未发布的模型加 Fable 得到一个对零知识证明( ZK )研究者有意思的理论结果,但暂时压着不发:一是成稿完全是 AI slop,二是担心其中藏着低级错误,三是自己不想当编辑去逐句打磨。这条推文本身也是对当前 AI 写作质量的一次圈内吐槽——模型已能辅助产出数学结果,但把结果整理成可信文本的最后一公里仍要人扛。
「Fun」频道最新
- OpenAI IPO 前高管末日言论引争议，投资人斥「脑残发言」 — GarrisonLovely · 2026-09-09
- 网友调侃:Anthropic 员工都信末日,不如把财产捐给我 — tekbog · 2026-09-09
- 开发者用 AI 实现裸眼 3D 医学影像：黑白 DICOM 变彩色 30 帧全息 — Ghost_Pilot_MD · 2026-09-09
- 「Claude，派百万舰队去解决千禧年难题」：网友梗图成真 — ctjlewis · 2026-09-09
- 网友回味 Nathan 仿扮演哈德逊河机长名场面：23 秒沉默配 Evanescence — banteg · 2026-09-09
- 「氛围化学家」警告别服用 AI 合成的「氛围编码精神类药物」 — Polymarket · 2026-09-09