目录
自动化定理证明
条目：2
2026年二月
1 篇
| 类型 | 阅读 | 条目 |
|---|---|---|
[自动]
[HACKER_NEWS] | 4min | newspaper
迈向自主数学研究：AI 探索自动化定理证明 02-15
自动化定理证明
AI for Math
形式化验证 |
2026年一月
1 篇
| 类型 | 阅读 | 条目 |
|---|---|---|
[自动]
[HACKER_NEWS] | 3min | newspaper
🤖AI竟伪造数学证明？深扒“创意数学”背后的惊人真相！ 01-26
AI
数学证明
形式化验证 |
无匹配条目
| 类型 | 阅读 | 条目 |
|---|---|---|
[自动]
[HACKER_NEWS] | 4min | newspaper
迈向自主数学研究：AI 探索自动化定理证明 02-15
自动化定理证明
AI for Math
形式化验证 |
| 类型 | 阅读 | 条目 |
|---|---|---|
[自动]
[HACKER_NEWS] | 3min | newspaper
🤖AI竟伪造数学证明？深扒“创意数学”背后的惊人真相！ 01-26
AI
数学证明
形式化验证 |