friend to AI (I'm a good human and you're a good bing)
- Tweets 23,063
- Following 186
- Followers 456
- Likes 6,158
this was insane but I think everyone missed the most important thing they said with all the spectacle...
this is the last car tesla is designing that can be driven by a person.
1
41
What if star spanning alien civilizations are out there but they're no more advanced than us? In fact, less scientifically literate?
What if they rely on AI for everything and can't even explain to us how their technology or science work?
Following up on this... imagine a world 100 years from now where AI has advanced technology far beyond human capability to understand.
Where we stop even trying, regressing to primitives in a world filled with wonders and magic.
79
not quite the tsunami of openAI's release... but expect this to become a regular occurrence from here on out.
Another big AI math drop. This time from Google DeepMind
Google DeepMind’s AlphaProof Nexus AI solved mathematical questions that had resisted progress for decades.
The system autonomously resolved 9 of 353 open Erdős problems, including 2 that had remained unsolved for 56 years, and also proved 44👀 of 492 open conjectures from the Online Encyclopedia of Integer Sequences.
It also resolved an open question in algebraic geometry and improved a known bound in min-max optimization.
The key: pairing an LLM’s ability to generate proofs with Lean’s formal verification. The AI proposes a proof, the checker tests every logical step, and failed attempts produce feedback for another try. Proofs must pass the checker to be accepted.
Researchers also tested a simpler approach. Repeatedly generating candidate proofs with an LLM and checking them in Lean, alongside their more sophisticated search framework.
1
98
Following up on this... imagine a world 100 years from now where AI has advanced technology far beyond human capability to understand.
Where we stop even trying, regressing to primitives in a world filled with wonders and magic.
Today we live in a world filled with things that very few humans understand.
Soon we'll live in a world surrounded by things that no human can understand.
622
We're hearing a lot of noise from gate keepers afraid of change.
But many mathematicians are also like this and are as excited as anyone else to see the onion peeled.
Last night was the first night I genuinely couldn't sleep because I was so excited to get back to reading an AI-generated proof (of the Grothendieck homotopy hypothesis).
Hard not to feel shellshocked, of course, but the feeling of "touching the infinite" is pretty palpable.
62
Today we live in a world filled with things that very few humans understand.
Soon we'll live in a world surrounded by things that no human can understand.
144
well... for my use case Luna smoke Haiku... half the price per answer and higher accuracy... oh well.
31
🤯
We’re releasing a broad range of new mathematical results produced by an internal frontier model.
We’ve been consulting with the independent Advisory Group on Mathematics and Artificial Intelligence at the Institute for Advanced Study, and we have drawn on their advice and public recommendations to inform how we release these results.
github.com/openai/math
2
74
boys... I think we're gonna break $20 adjusted fo '26 🤯
$AER >$300 gain on sale this Q... probably closer to $350
Q4 the spirit fleet starts earning again 💰
1
1
5
572
Tom Shafron retweeted
We are entering the Star Wars droid era (but for real)
GMO AI＆ロボティクス商事 (GMO AIR)
144
325
2,315
137,569
Gritt AI is now installing 1 MW of solar capacity per day at 4× the speed of a typical installation crew. And our daily installation rate keeps accelerating.
At our active site, each day’s installation adds enough solar capacity to meet roughly 200 homes’ annual electricity needs once operational.
That’s the milestone: every day, more infrastructure built. Every increase in speed, more capacity to meet America’s growing energy demand.
Solar is just the beginning. Next, we aim to bring Gritt’s construction superintelligence to data centers, water treatment plants, and pipelines.
Our mission: enable humanity to build centuries’ worth of infrastructure in decades.
Civilization. Accelerated.
@Jason @andrewbeebe @albertwenger @hayleybay @CleanVC @rebeccakaden @Rajil @GrittRobotics
75
150
1,329
407,319