Anthropic 用 Lean 定理证明器形式化证明了费马大定理，把数学界 350 年的难搬进机器可验证体系，形式化数学的里程碑级项目。
https://github.com/anthropics/fermats-last-theorem
互联网充电｜优质资源
优质内容｜内幕消息
Post #51194
500
- 👍 2
- Oct 12, 2026把 agent 的记忆写成 Obsidian vault 里的 Markdown 笔记，Claude Code、Codex、Gemini 下次开 session 直接读，不用你再讲…
- Oct 12, 2026这个真酷啊，用代码生成一段六秒短片。 虚拟摄影机拍 AI agent 的终端屏幕，视觉追踪框逐个锁住它打出的每个字符，画面和音效全部由代码合成，不用任何实拍素材和库音频。 http…
- Oct 12, 2026Agent 写分析文案很强，写电子表格却老出错，数错表头行、插一行之后整片 B7 引用悄悄失效。 这个框架干脆不让 agent 碰单元格坐标：模型写成 React，公式引用按名字走…
- Oct 12, 2026复仇者联盟 5 定档了 中国大陆2026年12月16上映 美国12月18上映 时长166分钟 那个陪你熬夜看漫威首映的人还在你身边嘛 @https1024
- Oct 12, 2026为庆祝代言人郑钦文中网夺冠，霸王茶姬10月12日推出全场买一送一活动，大量用户涌入直接挤崩小程序 ，几百上千单的，有些直接休息了，你们太热情了吧🤤 @https1024
- Oct 12, 2026Apple又要发新品了呢：Apple Hone View🤡 @https1024