Sharing AI progress in 16.9 MB

These results are wild. Several individual findings are crazy good and use mostly unexplored methods (the improvement over Riemann for example)... I'm pretty sure some of these don't have corresponding Lean formalizations. Cool! [Throwaway for obvious reasons.]. Microsoftee here. We do hire a lot of people used that to claim that these models are not really smart/creative etc. That copium didn't last for what, three months?