o1-mini may not get the details of graduate-level arguments consistently right, but so far whenever i describe a mathematical situation to it, it's been able to at least cite relevant theorems.…

Posters: QiaochuYuan. QiaochuYuan

6 likes recorded by the source corpus.