目录
Lean
条目：15
2026年三月
9 篇
| 类型 | 阅读 | 条目 |
|---|---|---|
[自动]
[HACKER_NEWS] | 1min | newspaper
Leanstral：面向可信编码与形式化证明的开源智能体 03-17
Leanstral
智能体
形式化验证 |
[自动]
[HACKER_NEWS] | 1min | newspaper
Leanstral：面向可信编码与形式化证明的开源智能体 03-17
Leanstral
形式化验证
智能体 |
[自动]
[HACKER_NEWS] | 1min | newspaper
Leanstral：面向可信编码与形式化证明的开源智能体 03-17
Leanstral
智能体
形式化验证 |
[自动]
[HACKER_NEWS] | 1min | newspaper
Leanstral：面向可信编码与形式化证明的开源智能体 03-17
Leanstral
形式化验证
智能体 |
[自动]
[HACKER_NEWS] | 1min | newspaper
TorchLean：基于 Lean 形式化验证的神经网络框架 03-04
TorchLean
形式化验证
Lean |
[自动]
[HACKER_NEWS] | 4min | newspaper
TorchLean：基于 Lean 形式化验证的神经网络框架 03-03
TorchLean
形式化验证
Lean |
[自动]
[HACKER_NEWS] | 1min | newspaper
TorchLean：基于 Lean 形式化验证的神经网络框架 03-03
TorchLean
形式化验证
Lean |
[自动]
[HACKER_NEWS] | 1min | newspaper
TorchLean：基于 Lean 形式化验证的神经网络框架 03-03
TorchLean
形式化验证
Lean |
[自动]
[HACKER_NEWS] | 1min | newspaper
TorchLean：在 Lean 中形式化神经网络 03-03
TorchLean
Lean
形式化验证 |
2026年二月
4 篇
| 类型 | 阅读 | 条目 |
|---|---|---|
[自动]
[HACKER_NEWS] | 4min | newspaper
迈向自主数学研究 02-16
自主研究
数学
AI |
[自动]
[HACKER_NEWS] | 4min | newspaper
迈向自主数学研究 02-15
自主研究
数学
AI |
[自动]
[HACKER_NEWS] | 4min | newspaper
迈向自主数学研究 02-15
自主研究
数学
AI科学家 |
[自动]
[HACKER_NEWS] | 4min | newspaper
迈向自主数学研究：AI 探索自动化定理证明 02-15
自动化定理证明
AI for Math
形式化验证 |
2026年一月
2 篇
| 类型 | 阅读 | 条目 |
|---|---|---|
[自动]
[HACKER_NEWS] | 3min | newspaper
🤖AI竟伪造数学证明？深扒“创意数学”背后的惊人真相！ 01-26
AI
数学证明
形式化验证 |
[自动]
[ARXIV] | 7min | school
高效定理证明新突破！结构化提示实现少样本学习 🚀 01-25
定理证明
Lean
DeepSeek-Prover |
无匹配条目