it rhymes with this mistake. o1 has trouble writing down a non-circular proof of FTA (in some approaches) b/c it keeps remembering facts that are equivalent to FTA and not suppressing them…

Posters: QiaochuYuan. QiaochuYuan

2 likes recorded by the source corpus.