AI智能体穷举SAT证明6位计数电路最少13门

Larsen Cundric 称，其 AI 智能体把 Knuth 遗留的一个小型开放问题——6 位输入中 1 的个数模 3 的最小电路——拆成 3,735 个 SAT 子问题，在一台 8 核机器上运行约 153 CPU 小时，得出不存在 12 门电路，答案应为恰好 13 门。 这一结论来自 Cundric 在社交平台上的自述，属于穷举 SAT 搜索的结果，尚未见独立验证。

AI 根据报道生成 · 59 分钟前更新

还没有足够的连续观测数据，暂不绘制趋势。