[控场AI]
概念Conway's conjecture

康威猜想

由数学家约翰·霍顿·康威提出的数学猜想,属于组合数学或数论领域的开放问题,陈述简洁直观但严格证明极为困难

时间轴 (近 90 天)

9月19日

Dan Abramov在GitHub发布了一个借助AI以vibe coding方式尝试构造康威猜想证明或精化的项目

待验证50%
9月19日

康威猜想由数学家约翰·霍顿·康威提出,属于组合数学或数论领域的开放问题

待验证50%

全部知识事实 (2)

来源文章