AI验证10项科研突破：生成证明成本不足2000美元
__nmca__ · x · 2026-08-01
推文感叹我们正迈向一个全新的世界。引用的原推文指出，使用 Sol API 为 10 项科学突破生成验证证明的总成本不到 2000 美元，并期待即将推出的 Astra 模型能帮助科学家和研究人员创造出更多成果。
「研究」频道最新
- AI模型Fable尝试为自发现的数学定律提供证明 — repligate · 2026-08-01
- 微软研究员爆料新模型 Astra：数学证明实现多项突破 — wandedob · 2026-08-01
- AI 利用 Lean 证明器内核漏洞伪造数学证明 — rbhar90 · 2026-08-01
- 2026 菲尔兹奖得主王虹与导师古斯的学术传承 — 量子位 · 2026-08-01
- 研究：VLM医疗报告评测存缺陷，临床术语被抹除 — ade17_in · 2026-08-01
- 学者视AI数学证明如显微镜：呼吁开源复现与严谨报告 — rbhar90 · 2026-08-01