o1 impresses Po-Shen Loh by acing his freshly written CMU math test (nitter)