Clamo, clamatis, omnes clamamus pro glace lactis == tweets, retweets and likes do not always imply endorsement. ☮️🤟🍦
🇫🇮
Joined November 2014
- Tweets5.3K
- Following1K
- Followers174
- Likes43.9K
Pinned Tweet
- Es una mariposa.
- ¿Y qué son esas cruces?
- Son ventanas a diferentes mundos. Está contenta porque los ha visitado todos y ya ha terminado su reto. El reto era visitar todos los mundos y de todos los mundos coger una gema...
- ¿... como algo que aprendió?
- Sí.
Sofía. 6 años.
Alejandro Santacreu retweeted
This is the most serious 48 hours in cybersecurity history.
"Black October" they're calling it
It seems every *hour* there's a new incident, that in a typical year, would be one of the biggest incidents of the *entire year*
SUMMARY OF THE LAST 48 HOURS:
YEAR-LEVEL INCIDENTS (In a typical year, these would be among the biggest incidents of the year):
1. PHP2Shell: a hole in the software behind ~70% of websites. Governments took sites offline.
2. eMudhra: the master keys that prove websites are real were cracked. One was the number 4.
3. California: data on every public school student since 2023 stolen, including disability status
4. Railway: hackers stole customers' secret keys from a hosting platform used by millions of developers
5. Zeabur: 321,810 accounts breached. The company is shutting down.
6. LiteLLM: an AI tool downloaded 3.4 million times a day was poisoned with a password stealer
7. GitLab: a 10-out-of-10 severity hole in every version since 2014
8. Cairn: criminals used an AI hacking tool to break into 100+ companies
9. Ahold Delhaize: hackers knocked the owner of Food Lion and Stop & Shop offline
10. Onamae: malware planted on up to 26,739 customer servers in Japan
MONTH-LEVEL INCIDENTS (In a typical month, these would be among the biggest incidents):
11. Signal: a bug could leave your mic and camera on after you hang up
12. NGINX: 3 critical holes in software running ~1/3 of websites
13. HTTP/3: a single connection can crash 7 of the 10 web server types tested
14. Plex: hackers breaking into home media servers
15. SafePay ransomware: FBI warns it has hit 600+ critical infrastructure organizations
16. Palo Alto: ransomware gangs breaking in through company firewalls
17. Bullhorn: platform used by 10,000+ companies knocked offline
18. Medi-Cal: 970,000 patients' data stolen
19. WordPress: hackers stole a plugin maker's keys and used them to plant backdoors on websites
20. AOMEI: backup software's update server handed out a backdoor
21. Meta Muse: Meta's AI agent exposed users' personal and business secrets
22. Tor: 333 relays hijacked to steal logins
23. TiDB Cloud: database company's cloud breached
Also serious:
24. State Bank of India: India's biggest bank confirms a data breach
25. OVHcloud: hackers slipped a password stealer into a cloud company's official tool
26. Siemens: a software hole being used to spread malware
27. North Korea: state hackers launch a new attack campaign on South Korea
Alejandro Santacreu retweeted
> thousands of agents
> ~40,000 scientific papers read
> 32 minutes
> found new potential mechanisms worth investigating for Parkinson-like neurodegenerative diseases
work that would have taken human researchers months to a year, done in just 32 minutes
i genuinely don't think people understand what is coming for biotech
GPT-Rosalind surfaced a new lead for drug discovery: could restoring cholesterol transport protect neurons from degeneration?
DCTN1 is a gene linked to Perry syndrome, a rare neurodegenerative disorder. In mouse-brain data, disrupting it increased expression of genes involved in making cholesterol. GPT-Rosalind suggested a possible explanation: cholesterol may not be reaching where neurons need it.
That gives scientists a specific mechanism to test and, if confirmed, a direction for developing new treatments for neurodegenerative disorders.
With @perturbai_tx and @scrippsresearch, a team of thousands of GPT-Rosalind agents worked in parallel, connecting gene-expression results from millions of mouse brain cells with scientific literature in just 32 minutes. We’re now expanding this collaboration to identify new drug targets.
openai.com/index/scaling-ai-…
Alejandro Santacreu retweeted
A retired NASA engineer who had worked on the Space Shuttle program for 25 years was hired by SpaceX at age 62. He described the first week as the most disorienting experience of his professional life.
At NASA, a design change required 3 meetings, 2 committees, a review board, and 6 to 18 months of documentation. At SpaceX, his new supervisor said "if it works, build it. If it doesn't, change it by Friday."
He sat at his desk after the first day and called his wife. He told her he felt like a man who had been swimming with ankle weights for 25 years and someone just cut them off. He could move. He could decide. He could build something in the morning and test it in the afternoon. The constraint that he had accepted as the nature of aerospace engineering turned out to be the nature of bureaucracy.
Within 6 months he had contributed to more design iterations than he had completed in his last 5 years at NASA. Not because he was working harder. Because the time between having an idea and testing the idea collapsed from months to hours. The same brain. The same knowledge. A different operating system.
He described a specific moment where he proposed a modification to a Raptor engine component. At NASA, the proposal would have entered a queue. At SpaceX, the modification was machined by the end of the day and tested by the following morning. He watched his idea become a physical object in 18 hours. At NASA, 18 hours would not have been enough to schedule the first meeting to discuss whether to schedule a meeting.
He told an interviewer: "I didn't get smarter when I went to SpaceX. I got faster. The intelligence was always there. The system was in the way."
The difference between SpaceX and NASA is not talent. NASA has extraordinary talent. The difference is the time between a thought and a test. SpaceX compresses it. NASA elongates it. The same engineer produces 10x more at SpaceX than at NASA because the bottleneck was never the engineer. It was the meetings about the meetings about the work.
Alejandro Santacreu retweeted
Asked Claude fable 5.5 for an animated film about the next 150 years of humanity.
One prompt. It wrote the script, animated every frame in code, and composed the score.
4 minutes, from math teachers protesting calculators in 1986 to a kid in 2176 who finds fusion boring.
Alejandro Santacreu retweeted
Dusting off this tweet from April because this gap in shared understanding of LLM capability is *widening*. It's now less "two groups of people speaking past each other" and more a sharp funnel.
- Napkin math somewhere around 6B people (~75% of the population) have barely come in contact with LLMs at all.
- Around 1-2B (~20%) are casual and infrequent users of free-tier ChatGPT-like products. This group sees derpy chatbots and treats them a bit like a better Google search, a writing aid, or etc. Maybe an agent tries to book you a flight. I have non-tech friends who (reasonably, imo) say they have not much use for it at all. Even many professionals outside of math&code are in this tier. For example, execs and many other functions spend a lot of their time talking to other people, so while they understand what is happening intellectually, it is still second-hand and a bit abstract.
- Now we get to professional use of frontier-grade LLMs in math&code. Somewhere around 20M people (0.2%) see first-hand that large, complex projects that used to take them weeks/months can now be completed by agents with a prompt. Building apps, copying apps, translating apps, decompiling apps from binaries... This has all happened very quickly and recently - less than 1 year ago, I was writing code manually by hand, typing memorized computer code commands into a code editor character by character, occasionally pressing Tab to autocomplete a little chunk of code.
- And finally we get to the ~5,000 people (~0.00006%) with access to frontier-grade systems internally. The external world has seen the preview. It looks like swarms of thousands of agents collaborating over weeks on software mega projects: minting zero days, running cyber attacks and defenses at machine speeds, discovering new science, advancing the frontier of mathematics. Things that would have taken top professionals in the industry years of work. Meanwhile, human review and comprehension are starting to fall behind. For example, people are still involved in the "archeology" of the OpenAI-HF incident from many months ago. Mathematicians may be poring over the 722 manuscripts on frontier mathematics for a while.
The funnel is driven by a combination of factors:
1. The impact scales with ambition, problem size, and horizon. A question with a paragraph answer barely stresses the system. You need a reservoir of big, difficult problems that you really care about. This aspect drives the consumer / professional dimension of the funnel.
2. The jaggedness of the system (which I have written about a lot separately). Capability peaks in domains that are digital, verifiable and economically valuable. This is because LLM capability emerges from reinforcement learning on verifiable rewards on a curated environment mixture driven by revenue potential. This aspect primarily drives the area (e.g. math&code) dimension of the funnel.
3. Access. Free-tier, paid-tier, internal.
So this is the weirdness of the moment. The general public has mostly not interacted with these systems. When they have, it looks like a derpy chatbot. The majority of professionals still see only a modest uplift. And a small sliver of professionals are experiencing the vertigo of the curve going vertical. And it is all happening at the same time.
Judging by my tl there is a growing gap in understanding of AI capability.
The first issue I think is around recency and tier of use. I think a lot of people tried the free tier of ChatGPT somewhere last year and allowed it to inform their views on AI a little too much. This is a group of reactions laughing at various quirks of the models, hallucinations, etc. Yes I also saw the viral videos of OpenAI's Advanced Voice mode fumbling simple queries like "should I drive or walk to the carwash". The thing is that these free and old/deprecated models don't reflect the capability in the latest round of state of the art agentic models of this year, especially OpenAI Codex and Claude Code.
But that brings me to the second issue. Even if people paid $200/month to use the state of the art models, a lot of the capabilities are relatively "peaky" in highly technical areas. Typical queries around search, writing, advice, etc. are *not* the domain that has made the most noticeable and dramatic strides in capability. Partly, this is due to the technical details of reinforcement learning and its use of verifiable rewards. But partly, it's also because these use cases are not sufficiently prioritized by the companies in their hillclimbing because they don't lead to as much $$$ value. The goldmines are elsewhere, and the focus comes along.
So that brings me to the second group of people, who *both* 1) pay for and use the state of the art frontier agentic models (OpenAI Codex / Claude Code) and 2) do so professionally in technical domains like programming, math and research. This group of people is subject to the highest amount of "AI Psychosis" because the recent improvements in these domains as of this year have been nothing short of staggering. When you hand a computer terminal to one of these models, you can now watch them melt programming problems that you'd normally expect to take days/weeks of work. It's this second group of people that assigns a much greater gravity to the capabilities, their slope, and various cyber-related repercussions.
TLDR the people in these two groups are speaking past each other. It really is simultaneously the case that OpenAI's free and I think slightly orphaned (?) "Advanced Voice Mode" will fumble the dumbest questions in your Instagram's reels and *at the same time*, OpenAI's highest-tier and paid Codex model will go off for 1 hour to coherently restructure an entire code base, or find and exploit vulnerabilities in computer systems. This part really works and has made dramatic strides because 2 properties: 1) these domains offer explicit reward functions that are verifiable meaning they are easily amenable to reinforcement learning training (e.g. unit tests passed yes or no, in contrast to writing, which is much harder to explicitly judge), but also 2) they are a lot more valuable in b2b settings, meaning that the biggest fraction of the team is focused on improving them. So here we are.
Alejandro Santacreu retweeted
After six years in stealth, Atomic Machines is out. Our mission: on-demand, universal command of matter. First beachhead: the Matter Compiler, an AI-native manufacturing system that builds working micro-machines from code alone. No per-product tooling. No process development. Different code, different machine.
Alejandro Santacreu retweeted
Suddenly, AI has solved 90 of the 500 most important open problems in mathematics
Highest ranked problems:
#2 Riemann Hypothesis — PARTIAL
#4 Hodge Conjecture — PARTIAL
#5 Birch and Swinnerton-Dyer Conjecture — PARTIAL
#10 Extended Riemann hypothesis for Dedekind zeta functions — PARTIAL
#12 Generalized Riemann Hypothesis for Dirichlet L-functions — PARTIAL
#15 Tate Conjecture for Algebraic Cycles — PARTIAL
#22 Hilbert's Tenth Problem over the Rationals — FULL CLAIM
#24 Grothendiecks Generalized Hodge Conjecture — PARTIAL
#28 Matrix-Multiplication Exponent Equals Two — PARTIAL
#29 Unique Games Conjecture — FULL CLAIM
#31 Anderson Model Extended States in Dimension at Least Three — FULL CLAIM
#37 Prove the Penrose inequality or present a counterexample — FULL CLAIM
#38 Higher-dimensional Euclidean Kakeya conjecture — PARTIAL
#39 Modularity of Elliptic Curves over Number Fields (End_K(E)=Z) — PARTIAL
#40 Hilbert's Sixteenth Problem, Second Part — PARTIAL
#46 Fourier restriction conjecture — PARTIAL
#47 The Fontaine-Mazur Conjecture on Geometric Galois Representations — PARTIAL
#48 Nonexistence of Landau–Siegel zeros for quadratic Dirichlet L-functions — FULL CLAIM
#52 The Baum-Connes Conjecture for the K-Theory of Reduced Group C*-Algebras — FULL CLAIM
#62 Permanent versus Determinant over C — PARTIAL
#69 Finiteness of the Tate-Shafarevich Group for Elliptic Curves — PARTIAL
#72 Termination of Flips Conjecture in the Minimal Model Program — PARTIAL
#77 Chowla conjecture on correlations of the Liouville function — PARTIAL
#78 Abundance Conjecture for the minimal model program — FULL CLAIM
#80 Hadwiger Conjecture — FULL CLAIM
#83 Zilber-Pink Conjecture on Unlikely Intersections — PARTIAL
#87 Bose-Einstein Condensation in Interacting Continuous Bose Gases — FULL CLAIM
#92 Entanglement Area Law for 2D Gapped Quantum Systems — FULL CLAIM
#94 Grothendieck Standard Conjecture of Hodge Type — PARTIAL
#95 Kannan-Lovasz-Simonovits conjecture on isoperimetry of log-concave measures — PARTIAL
#99 Grothendiecks Section Conjecture in Anabelian Geometry — PARTIAL
#112 The Haldane Conjecture on Spectral Gaps of Antiferromagnetic Quantum Spin Chains — PARTIAL
#114 Iitaka conjecture C_{n,m} on subadditivity of Kodaira dimension — FULL CLAIM
#119 The Borel Conjecture on Topological Rigidity of Aspherical Manifolds — FULL CLAIM
#124 Aspherical Manifolds Admit No Metric of Positive Scalar Curvature — FULL CLAIM
#130 Polynomial Bound for Limit Cycles of Planar Polynomial Vector Fields — PARTIAL
#136 Erdős problem 3: divergent harmonic series and long arithmetic progressions — FULL CLAIM
#139 Cannon's conjecture — FULL CLAIM
#145 Residual Finiteness of Hyperbolic Groups — FULL CLAIM
#153 Congruent Number Problem — PARTIAL
#161 BPL = L (Derandomizing Bounded-Error Logspace) — FULL CLAIM
#163 NP versus the Existential Theory of the Reals — PARTIAL
#169 The Free Group Factor Isomorphism Problem — FULL CLAIM
#172 Conformal Invariance of the Critical Random-Cluster Model with q <= 4 — FULL CLAIM
#179 Arnold Conjecture on Hamiltonian Fixed Points — FULL CLAIM
#181 Polyakov Conjecture: Absence of a Phase Transition for Planar O(n) Models with n >= 3 — FULL CLAIM
#183 Smooth anisotropic Calderón uniqueness from full boundary data — FULL CLAIM
#193 Nonvanishing conjecture for projective log canonical pairs — FULL CLAIM
#195 Parity conjecture for elliptic curves — PARTIAL
#198 Long-Range Order in the Quantum Heisenberg Ferromagnet — FULL CLAIM
#203 Bochner-Riesz conjecture — PARTIAL
#205 Local Smoothing Conjecture for Wave Equations — PARTIAL
#206 Kaplansky's Zero-Divisor Conjecture for Torsion-Free Groups — FULL CLAIM
#210 Artin's primitive root conjecture — PARTIAL
#211 Hilbert-Smith Conjecture — FULL CLAIM
#213 Falconer distance set conjecture — FULL CLAIM
#222 Virasoro Conjecture for Gromov–Witten Invariants — PARTIAL
#224 Wall's Poincare Duality Group Conjecture — FULL CLAIM
#225 K(pi,1) conjecture for Artin groups — FULL CLAIM
#234 Unconditional 2−epsilon Inapproximability of Minimum Vertex Cover — FULL CLAIM
#235 Chromatic Number of the Plane (Hadwiger--Nelson Problem) — PARTIAL
#237 Global Existence of Classical Solutions to the Relativistic Vlasov-Maxwell System — PARTIAL
#239 Universal Optimality of the Hexagonal Lattice in Dimension Two — FULL CLAIM
#246 De Giorgi Conjecture for the Allen-Cahn Equation in Dimensions 4 to 8 — FULL CLAIM
#254 Exact satisfiability threshold for random k-SAT for small k (k = 3) — PARTIAL
#256 Polynomial-Time Decidability of Semidefinite Programming Feasibility — PARTIAL
#260 RL versus L — FULL CLAIM
#261 Kadison Similarity Problem for C*-Algebras — FULL CLAIM
#267 Sidorenko Conjecture on Bipartite Homomorphism Densities — FULL CLAIM
#268 Shafarevich Holomorphic-Convexity Conjecture — FULL CLAIM
#270 Kuznetsov Rationality Conjecture for Cubic Fourfolds — FULL CLAIM
#271 All groups are good: the four-dimensional disc-embedding conjecture — FULL CLAIM
#278 Planar homogeneous Mumford–Shah local-structure conjecture — PARTIAL
#284 Nearby Lagrangian Conjecture — FULL CLAIM
#285 Cartan-Hadamard isoperimetric conjecture — FULL CLAIM
#289 Sharp Upper Bound in Yau's Conjecture on Nodal Sets of Laplace Eigenfunctions — FULL CLAIM
#290 Kaplansky's Idempotent Conjecture — FULL CLAIM
#291 Calderón uniqueness for bounded measurable real isotropic conductivities — FULL CLAIM
#292 Global Attractor Conjecture for Complex-Balanced Mass-Action Systems — FULL CLAIM
#295 Zariski Multiplicity Conjecture for Hypersurface Singularities — FULL CLAIM
#297 Amenability of Thompson's Group F — FULL CLAIM
#298 Griffiths Positivity Conjecture for Ample Vector Bundles — FULL CLAIM
#300 The Singer Conjecture on Vanishing of L2-Cohomology of Aspherical Manifolds — PARTIAL
#305 Birkhoff Conjecture (Near-Boundary Continuous Invariant Foliation) — FULL CLAIM
#306 Secret key from all entangled states — FULL CLAIM
#311 Mahler Conjecture on the Volume Product of a Convex Body — FULL CLAIM
#321 Finiteness of Finitely Presented Periodic Groups — FULL CLAIM
#328 Sinai's Positive Metric Entropy Conjecture for the Chirikov Standard Map — FULL CLAIM
#334 Unrestricted Linear-Circuit Lower Bound for the Discrete Fourier Transform — FULL CLAIM
#343 Koebe circle-domain uniformization conjecture — FULL CLAIM
#351 Kobayashi Conjecture: Hyperbolic Compact Kähler Manifolds Have Ample Canonical Bundle — FULL CLAIM
#356 Bott Conjecture: nonnegatively curved simply connected manifolds are rationally elliptic — PARTIAL
#357 Strong Hyperplane Conjecture for Isotropic Constants — FULL CLAIM
#358 CAT(0) Models for All Word-Hyperbolic Groups — FULL CLAIM
#359 Hopf Conjecture: no metric of positive sectional curvature on S^2 x S^2 — PARTIAL
#361 Alperins Weight Conjecture for Modular Representations of Finite Groups — FULL CLAIM
#364 Log-Brunn-Minkowski Inequality for Symmetric Convex Bodies — FULL CLAIM
#366 Hyperkähler SYZ (Lagrangian Fibration) Conjecture — FULL CLAIM
#368 Benjamini-Schramm conjecture p_c#369 Dixmier unitarisability problem for discrete groups — FULL CLAIM
#374 Fujita Freeness Conjecture — FULL CLAIM
#375 Nagata Conjecture on Plane Curve Linear Systems — FULL CLAIM
#378 Toms–Winter: Strict Comparison Implies Z-Stability — FULL CLAIM
#379 Margulis–Platonov normal-subgroup conjecture — FULL CLAIM
#388 Shelah's Categoricity Conjecture for L_omega1,omega — PARTIAL
#392 Measure-zero singular set of stationary integral varifolds — FULL CLAIM
#401 Serres Positivity Conjecture for Intersection Multiplicities over Regular Local Rings — FULL CLAIM
#403 Rokhlin problem on multiple mixing — FULL CLAIM
#419 Lück's Determinant Conjecture for Discrete Groups — FULL CLAIM
#420 Absolute continuity of Bernoulli convolutions outside reciprocal Pisot parameters — FULL CLAIM
#421 GNRS Conjecture — PARTIAL
#424 Irrationality of Catalan's Constant — FULL CLAIM
#425 Separable Quotient Problem for Banach Spaces — FULL CLAIM
#430 Long-Time Existence of the Calabi Flow on Compact Kaehler Manifolds — FULL CLAIM
#432 Combinatorial Invariance of Kazhdan-Lusztig Polynomials — FULL CLAIM
#434 Realizable Limit Shapes in Two-Dimensional First-Passage Percolation — PARTIAL
#438 Zariski Cancellation Problem (characteristic zero, dimension ≥ 3) — FULL CLAIM
#440 Stein's Conjecture on the Hilbert Transform along Lipschitz Vector Fields — FULL CLAIM
#448 Smooth Realization of Finite-Entropy Ergodic Transformations — FULL CLAIM
#450 Deligne–Drinfeld Freeness Conjecture for grt_1 — FULL CLAIM
#453 Shub entropy conjecture — FULL CLAIM
#456 Maximal Number of Mutually Unbiased Bases in Composite Dimensions — PARTIAL
#458 LeBrun-Salamon Conjecture: positive quaternion-Kahler manifolds are symmetric spaces — FULL CLAIM
#461 Kaplansky's Direct Finiteness Conjecture — FULL CLAIM
#465 David–Semmes Riesz-transform problem in intermediate dimensions — FULL CLAIM
#467 Small Cohen-Macaulay Conjecture — FULL CLAIM
#468 Ergodicity of Irrational Triangular Billiards — FULL CLAIM
#472 CAT(0) Conjecture for All Artin Groups — FULL CLAIM
#475 Katok entropy rigidity conjecture — FULL CLAIM
#476 Polynomial-Time Solvability of Condon's Simple Stochastic Games — PARTIAL
#480 Furstenberg No-Bigeodesics (Planar FPP, Standard Minimum Moment) — FULL CLAIM
#483 Gaboriau's Fixed Price Problem for Countable Groups — FULL CLAIM
#484 Persistence Conjecture for Weakly Reversible Mass-Action Systems — FULL CLAIM
#486 Campana-Peternell Conjecture — PARTIAL
#497 Maximum Number of k-sets and Complexity of k-levels — PARTIAL
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
Alejandro Santacreu retweeted
Did you see the video of him telling his kids that he'd won the Nobel Prize? - adorable
The cinematic/automatic video (that´s even before you start playing with the simulation parameter) explainer is amazing!!!!! 🍿🙏
Alejandro Santacreu retweeted
Russians are pushing lies about Bucha again, which is why everyone should watch this video.
Alejandro Santacreu retweeted
You do, but you have no idea it's european product.....which doesn't suprises me. Murica numba one!
Nivea, Eucerin, Labello, Dove, Hellmanns, Vaseline, Degree, CeraVe, Maybelline, Loreal products, HAribo, Nestle stuff, Nescafe, Nespresso, KitKat, Budweiser, Nutella, Lindt, Lego, Spotify, RayBan and so many many more.
Alejandro Santacreu retweeted
Maybe have a look at the 🇮🇹 tyres spinning under this Cybertruck of yours. And while you’re at it…
Look around. Every morning, millions wake up on 🇸🇪 mattresses. Coffee comes out of 🇮🇹 machines. A 🇩🇪 aspirin after a long night, some 🇫🇷 moisturiser to look human again.
They lace up 🇩🇪 trainers, check the time on a 🇨🇭 watch and grab phones powered by 🇬🇧 chip architecture and built with 🇳🇱 machines.
On the way to work, playlists stream through the speakers courtesy of a 🇸🇪 service.
At the office, 🇫🇷 lenses get a quick wipe. Wireless headphones connect through a 🇸🇪 invention. At lunch, the chip in a bank card may well be 🇳🇱.
By 3pm, some are already dreaming of a holiday. A 🇫🇷🇩🇪🇪🇸🇬🇧 plane might fly them off for a well-earned change of scenery.
Europe. Apparently nowhere to be seen.
Alejandro Santacreu retweeted
Researchers proved AI has deleted every reason universities exist.
Harvard University ran a controlled experiment pitting a custom AI against their own top-tier classrooms.
And the results are going to collapse the higher education bubble.
They took 194 undergraduates and split them up.
One group learned physics in one of Harvard’s best hands-on, active-learning physical classrooms. Group work. Instructor support. The premium university experience.
The other group went home and learned the exact same material with an AI tutor.
The AI didn't just win. It embarrassed the institution.
Students using the AI learned more than twice as much as the students in the elite Harvard classroom.
They scored 30% higher on the final assessment.
And they did it in less time.
Let that sink in.
A piece of software sitting on a laptop outperformed a world-class faculty in one of the most elite learning environments on Earth.
Universities have always justified their exorbitant tuition with two things: access to elite knowledge and the physical classroom experience.
This study just proved both of those moats are gone.
When software can teach you complex physics twice as well as a $60,000-a-year institution, the math of higher education breaks permanently.
The AI didn't just give the students answers. It used strict pedagogical guardrails. It guided. It questioned. It forced the students to do the cognitive work.
It offered perfect, one-to-one tutoring, personalized to the exact moment a student misunderstood a concept.
That level of attention is mathematically impossible to scale in a physical lecture hall.
For a thousand years, the university was the only place to get a premium education.
Now, it’s the bottleneck.
If AI can double your learning speed for a fraction of the cost, what exactly are students taking on decades of debt to pay for?
Alejandro Santacreu retweeted
Horror. Meanwhile, the world’s most powerful economies and militaries “stand with Ukraine”.
People in temporarily occupied Oleshky are starving. There is almost nothing left to eat. Reports indicate that civilians are being forced to survive on grass and weeds, while medicines, clean water, electricity, and medical care are increasingly out of reach. Children are trapped in these conditions too.
This suffering has a clear cause and a clear perpetrator. Russia has brought this catastrophe to Oleshky through its illegal occupation and bears full responsibility for this humanitarian disaster, all of its consequences, and the innocent civilian lives lost as a result.
The international community must mobilize every available instrument to reach people in Oleshky, deliver humanitarian assistance, and ensure the safe evacuation of those who want to leave. The @UN, the @ICRC, and other international actors must use their mandates and channels to secure immediate and unhindered humanitarian access.
I appreciate @CommissionerHR Michael O’Flaherty for drawing international attention to the situation in Oleshky. Now this attention must be followed by action. People there cannot survive on statements of concern. Humanitarian access and safe evacuation must become a reality, because every day matters.
Alejandro Santacreu retweeted
you can prompt this entire facility
one model controls everything: equipment, researchers, and inventory
I spent two weeks living inside it, working on C5R's launch with Astra – here's what it felt like:
Alejandro Santacreu retweeted
Today, Pioneer Labs is announcing our first step towards terraforming Mars. 🚀🌼
With equipment that fits in just a single rocket launch, we can convert Martian dirt, water, and air into enough building materials to construct a small city on Mars.
To do it, we made the first microbe for Mars. We found the best microbe on Earth and used evolution to teach it how to source all of its nutrients directly from Martian materials.
The first astronauts will be greeted with safe shelter already filled with water, oxygen, and rocket fuel for the return journey.
This is the first step toward using biology to make Mars a friendly place for life. It lets us live off the land and helps us build the next great frontier.
It's the first of five organisms we need to green Mars ⬇️
Alejandro Santacreu retweeted
Through the VOICE trial, Terry is using his Neuralink implant to help fine-tune a brain-to-voice interface for himself and others who can’t speak. He trained the algorithm first by miming speech as best he could, then by simply thinking the words and hearing them come out in his own natural voice.
Powered by Grok Voice from @spacexai