o1-preview testing thread. first LLM i've tested that can compute the fundamental group of the circle, and basically does it correctly in one shot; other LLMs set up the problem correctly but get…

Posters: QiaochuYuan. QiaochuYuan

4 likes recorded by the source corpus.