↑
Further human + AI + proof assistant work on Knuth's "Claude Cycles" problem
Posted by
mean_mistreater
|
2 hours ago |
11 comments
adrithmetiqa an hour ago
[4 more]
Super interesting but what does this mean for us mere mortals?
