Claude 用 Lean 形式化费马大定理,11 天基本自主完成
thione · x · 2026-09-15
- Claude 形式化费马大定理:Anthropic 发布了 Claude 对费马大定理的机器可检验 Lean 形式化证明,整个过程以高度自主方式在 11 天内完成。
- Cognition 融资:另一条重要动态是 Cognition 以 480 亿美元估值完成超 20 亿美元融资,其 Devin 产品的年化收入从 4.92 亿美元攀升至近 9 亿美元。
「创投」频道最新
- Agent 跑失败的隐藏成本被忽视:一次任务 Codex 可能要多花一倍额度 — ToneAromatic178 · 2026-09-15
- Whop 接入支付宝与微信支付,中国买家付款卖家收美元 — eptwts · 2026-09-15
- 两类 AI 公司分化：高杠杆吃短期红利 vs 现金流健康长跑 — RihardJarc · 2026-09-15
- 机器人评测机构 Robocurve 获 1000 万美元种子轮,YC 参投 — ycombinator · 2026-09-15
- 网络安全股集体大涨:CRWD 涨 15%,ZS 涨 16%,原因成谜 — matt_slotnick · 2026-09-15
- AI 可观测平台 Arize 被 Dynatrace 以 9.15 亿美元收购 — jfiance · 2026-09-15