Thinking nobody actually likes the taste of IPAs is in the same category as not thinking someone could like the taste of coffee, dark chocolate, tannic red wines, whiskey, uni, grapefruit, negronis, blue cheese, or licorice (just to name a few)

There is no rule against dropping slop on the internet. The reason the mathematicians are annoyed, obviously, is that it is not just slop that OpenAI is dropping on the internet

*calls her opponent a faggot retard* Men’s approval rating: 📈📈📈

Talarico outraising Paxton in the GOP fundraising strongholds of Highland Park and University Park in Dallas and River Oaks in Houston is a 5-alarm fire type event for the GOP. These (and places like Preston Hollow in Dallas) are the fundraising breadbasket of the national party

Jessica: El-Sayed is actually a doctor and he can point to the results under Bobby Kennedy's HHS and say we are sicker as a result Compagno: He’s an MD. Not a practicing physician. Jessica: Bobby Kennedy is a nothing so—

The head of the philosophy department at Williams College downplays the pedagogical value of writing: “What if we are mistaken in treating writing as the highest cultivation of thought? The evidence that supports this belief is thin at best. Writing can be useful cognitive scaffolding for memory and self-regulated learning, but the notion that it is the best process for developing thinking skills is a fairly recent idea, traceable to the 1970s writing-across-the-curriculum movement.”

I think this was ultimately the right move.

Checking that a major mathematical proof is correct can take years. Formalization—converting the mathematical reasoning into a form computer proof assistants like Lean can verify—can help. Last month, Claude completed the first formalized proof of Fermat’s Last Theorem, one of the most famous theorems of all time. This was a project experts thought would take many years. It is the largest Lean proof ever written. Fermat’s Last Theorem was first proven in 1995 by Sir Andrew Wiles, more than 350 years after it was conjectured. Our proof, which totals over 13 million lines of code, provides machine verification. More importantly, it proves over 29,000 other theorems that the proof requires, across many areas of math which had never before been formalized. We see this as a major step in the long process of firming up the core of mathematical knowledge, building on work from three centuries of mathematicians and hundreds of contributors to Lean and Mathlib. We are optimistic that AI-assisted verification of mathematical proofs will help reduce the burden of refereeing mathematics in an era where more proofs are being produced than ever before. You can read about the process on our Science Blog: anthropic.com/research/forma… And see the complete proof on GitHub: github.com/anthropics/fermat…

The stupid push for permanent Daylight Saving Time combines the three dysfunctions that drive our politics today: ignorance of history, failure to consider trade-offs, and whining that is vastly disproportionate to the problem at hand. joshbarro.com/p/permanent-da…

This is the looksmaxxer version of "'Defund the police' doesn't actually mean you defund the police"

Once again: GDP is a pretty good metric. It is one of a few good but imperfect metrics economists have created, like unemployment rates and the money supply, which are weaker than their supporters think but stronger than their detractors think

Rory McIlroy brought the green jacket to Wimbledon. 🎾