有智能体把 Knuth 遗留的一个小型开放问题拆成 3,735 个 SAT 子问题，在一台 8 核机器上跑了约 153 CPU 小时，得出不存在 12 门电路，答案应为恰好 13 门。 🔗 阅读原文 via AIHOT · https://aihot.news/items/nj29uszcheeet2adgicp5h85c
信息源：AI HOT · 全部动态
- 原文链接：AI 智能体穷举 SAT 证明 6 位 1 计数电路最少 13 门
- 分类：论文
- 作者：Larsen Cundric
- 发布时间：2026/10/20 06:08
评论0