Claude Opus 5.5 找到环 Petri 网活性问题的 coNP 完全性证明
几个计算复杂度的公开问题被 Claude Opus 5.5 找到了归约证明，人只负责验证和修改，这篇论文本身就成了人机协作做数学的案例。
#chip-firing
共 1 条 · 7 天 1 条 · 30 天 1 条
信息流里打上「chip-firing」标签的资讯、产品与论文，按刊登时间排，新的在上。
10月19日
几个计算复杂度的公开问题被 Claude Opus 5.5 找到了归约证明，人只负责验证和修改，这篇论文本身就成了人机协作做数学的案例。