Upgunta

[Upgunta @nymbleton]

Anthropic’s AI R&D work has gone from 0% fully automated by Claude to 26% fully automated by Claude in only 6 months.

It will likely be over +90% within the next 3-6 months.

(https://t.co/qTCTdkLq6Q, September 17, 2026)

[Upgunta @nymbleton]

@willsommer huge fan btw - well before the trio coalesced. Dude, you're a god sent. Always cheers, Will.

[Upgunta @nymbleton]

@willsommer is there a way I can message you with it costing me $ or being triggered on X?

(this website is shit)

[Justine Moore @venturetwins]

Can't believe people keep doing the meme

[Anthropic @AnthropicAI]

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: https://t.co/ryYnDEAU6J

And see the complete proof on GitHub: https://t.co/wlYMXYnofz

[Upgunta @nymbleton]

@beffjezos Already happening

https://t.co/UZq7eHBZKm

[Claude @claudeai]

We’re introducing Claude Fable 5.1 and Claude Mythos 5.1.

They're the world’s most advanced models for coding and knowledge work.

[Physics In History @PhysInHistory]

5 Most Important Science Books Of All Time:

https://t.co/6BHjoOC5zw

[MapPorn @MapPornTweet]

Oceans and lakes with depths shown to scale. See inset for Marianas Trench detail at scale. https://t.co/R2SkszZyR2 #MapPorn

[Upgunta @nymbleton]

@Jason Hoping for some great tech startups with all the layoffs lately.

[Upgunta @nymbleton]

@Jason @KimKardashian Jason Calacanis giving out life advice.

[The Figen @TheFigen_]

The video that NASA does not want you to see!

[ARCHIVED NASA Exoplanets @NASAExoplanets]

Howdy, neighbor! 👋
The star closest to our Sun, Proxima Centauri, also hosts the closest exoplanet to Earth, only 4.2 light-years away. The small star is hard to see, but now there's more reason to look! A possible second planet, Proxima Centauri c, is awaiting confirmation!

[Upgunta @nymbleton]

🤣

[Wall Street Mav @WallStreetMav]

Drunk World Champion chess grandmaster Magnus Carlsen wins vs 2484 player taking over a losing position in a bullet game, barely aware of what is happening.

The second best player in the world is drunk Magnus Carlsen.

🔊sound ...🤣

[Upgunta @nymbleton]

😁

[Prof. Feynman @ProfFeynman]

Education is the acquisition of knowledge, while intelligence is the ability to use that knowledge to think and reason. One can be highly educated but not necessarily intelligent, and vice versa.

[Prof. Feynman @ProfFeynman]

Not knowing is not a bad thing like they teach you in School. It is an opportunity to learn something.

[Wonder of Science @wonderofscience]

The resurrection plant (Selaginella lepidophylla) can survive years of drought and almost complete desiccation, coming back to life after exposure to moisture.

[Prof. Feynman @ProfFeynman]

Things that Schools should teach: 🧠

• Being wrong is not a bad thing.
• It's Okay to question what you have been taught.
• Grades aren't as valuable as skills.
• Understanding is more important than memorization.
• Making mistakes is Okay. Learn from your mistakes.

[Jen Fulwiler @jenfulwiler]

’Twas the Night Before Christmas in 2022, featuring @elonmusk

[Prof. Feynman @ProfFeynman]

17 Equations that changed the world. 🧠