AITOP
AI热报
Solvability
general · 首次出现
2026-08-18
· 最近出现
2026-10-07
· 累计提及
2
综述正在准备
相关报道少于 3 条时不强行生成。
相关报道
2 条在档
Lean 验证通过不代表自然语言证明正确：从 Navier-Stokes 看自动形式化局限
arXiv: OpenAI
Solvable Sokoban Without a Solver via Diffusion
arXiv: Google DeepMind
今日
全部
早读
东盟
登录