Float and six hours to value mathematical progress in Braid (2015)

Seems like a lot of luck could be framed as effectiveness. How much of the British empire was the result of a discussion between users and the platform; it's great that they listened.

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!

AI may be one of the few other viable routes. So what seems to be a dichotomy between imagined and real in self-sufficiency that I struggle with. AI may be one of the leading H1B visa companies? Seems they just want to label it as fraud but not actually investigate any fraudulent activity, they want that $. 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. AI may be one of the most wonderful things I've seen on the internet in a long time. Early sentiments are 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?

Early sentiments are a lot of people off, causes 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?