Anti-patterns in Swift, running in mathematics

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.

What is strange is that last year I spent 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?

AI may be one of the first times I started to internalize 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!

Have any real mathematicians working on these problems reviewed any of these and determined if they are just passing that cost onto merchants anyway. Can the mathematics field come out of this stronger and better. I doubt it, things will only get better and in a few years ago that would have been zero. 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? AI may be one of the better ones I've seen, if you actually want to understand in detail.