@CosmicMultivac@burkov I wholeheartedly agree with other people pointing out about how unnecessarily snarky this person is, but modern day gauss is super wild
Terence Tao for some reason referenced ChatGPT as the source of some content in his paper.
Expect scientists to cite spelling correctors: "By the way, the word 'elucidate' was suggested by Microsoft Word spelling corrector. I wasn't previously aware of 'elucidate'."
@SenatorWong@YvetteCooperMP@IMOHQ Reading this thread by Australia's top diplomat you'd think Iran closed the Strait of Hormuz for no reason, completely unprovoked, just to be mean.
If you need to lie and obfuscate like this, you just might be on the wrong side of history.
0-3 vs Godlike, GGs! They played incredibly well, putting a lot of pressure and doing good plays in general. In our end, SnD we had a good idea on how they were playing but we just couldn’t convert the situations, we lost a lot of clutches. And respawns-
Why would someone seek to formalize a proof they don't understand? That seems a necessary requirement. Formalization is not a means of understanding a mathematical argument, but rather a process of exhibiting already existing understanding of and mastery over an argument. It isn't possible if the understanding is not already there.