tacomonstrous

He's already made back multiples of what he paid for Twitter, just not directly from X.

Not always that you see two wildly wrong claims made in ostensible opposition to each other

If you understood how they were solved, you'd see that you're only bolstering the point you were responding to.

As a mathematician, this is far from my experience of actual professional mathematicians, because they encounter people much smarter than them quite often. Maybe more true among graduate students, however.

It's hard to know what math is 'useful' a priori. That's always been the argument for supporting basic research. This is not why I am a mathematician however. I think there's intrinsic value into understanding something of depth and meaning, but the societal setup we have now that mostly agrees this is valuable is probably a very contingent phenomenon that is unlikely to last much longer.

FWIW even Astra hasn't been able to solve the problems I care about, which are less about proving theorems and more about understanding the right way to think about already existing stories (and thus permitting extensions to new contexts). However it's been a more than a capable interlocutor to test my ideas with and see if they actually have any content. It's also great for parsing possible mistakes in long technical arguments that at least my brain isn't wired to verify completely satisfactorily. Personally, I think it's good to know what is made trivial (meaning depending only on token expenditure) vs what remains a real hard kernel.

The fact that you talk about 'first author' papers in math only reinforces my point. It's not the same culture as other STEM fields.

None of this is true.

This is essentially irrelevant to the content of the post, but it's amusing to me that he casually mentions submitting to JAMS as if its acceptance were a mere formality.

Looks like Google's given up on frontier models for external consumption?

The true morally correct path would have been to take big money out of college sports (not to mention high school sport) entirely. Of course this is now essentially impossible without what I imagine will be extensive rioting countrywide.

Everyone commenting here seems to take this to mean he's leaving Google, when that's not what the article says.

Maybe there's an error, but much of this write-up reads like nonsense to me. The assertion that a semidirect product with an abelian factor must admit that factor in its center is absolutely false. This is actually acknowledged later in this article, but is handwaved away in incomprehensible fashion.

If you think not having done this (or really anything else except somehow preventing him and the Republican party from gaining power in the first place) would have prevented any of Trump's actions, I have a lovely bridge that just came on the market that I think you would be the perfect buyer for.

Hmm... If only there were a tangible reason why a treaty would have been impossible to get through the US Congress as currently constituted.