AI 快讯列表关于 Lean
| 时间 | 详情 |
|---|---|
|
2026-08-01 14:44 |
OpenAI Astra发布10项数学突破
据emollick称，Astra发布含Lean与推理链的10项证明，显示跨领域能力提升。 |
|
2026-08-01 14:24 |
OpenAI Astra发布10项数学突破
据@emollick称，Astra以Lean与链式推理完成10项数学证明。 |
|
2026-08-01 07:37 |
OpenAI Astra证明10项数学突破
据@gdb称，Astra以约2000美元生成10项含Lean证书的新证明。 |