Claude 用 Lean 形式化费马大定理,11 天基本自主完成
thione · x · 2026-09-15
- Claude 形式化费马大定理:Anthropic 发布了 Claude 对费马大定理的机器可检验 Lean 形式化证明,整个过程以高度自主方式在 11 天内完成。
- Cognition 融资:另一条重要动态是 Cognition 以 480 亿美元估值完成超 20 亿美元融资,其 Devin 产品的年化收入从 4.92 亿美元攀升至近 9 亿美元。
「创投」频道最新
- 多家公共养老基金借 Spark Capital 间接持股 Anthropic,IPO 或获利数十亿 — rohanpaul_ai · 2026-10-30
- 多地公共养老金间接持股 Anthropic,777 万美元或变 90 亿 — rohanpaul_ai · 2026-10-30
- 搜索量涨广告收入降,Google 将在 AI Mode 追问中直接插入广告 — lilyraynyc · 2026-10-30
- 曝一家未具名机构已建成规模化算力借贷专项载体 — matt_slotnick · 2026-10-30
- Stripe 代币支出占 OpEx 1%,多头称数字劳动力真实可期 — zephyr_z9 · 2026-10-30
- OpenBot 宣布 12 月起收费，开源竞品 Open Duet 强调永久免费无限制 — matchaman11 · 2026-10-30