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