TEH GREP | Science | AI writes historic Quasi-Riemann proof in base-10 out of pity for MIT researchers