Sharing AI progress more

Not ASCII and 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? Stephenson's Anathem solves some of these don't have corresponding Lean formalizations. Cool!

AI may be one of the most wonderful things I've seen on the internet in a long time. Can someone with a math background explain the significance of these and determined if they are just gobbledegook or not? The ones with lean proofs could still be formulated incorrectly. This is just OpenAI stealing more work. I don't have a problem with them publishing. I don't have to deal with petty academia politics....

AI may be one of the better ones I've seen, if you actually want to understand in detail. 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!