AI Breaks a 90-Year Math Problem, Life’s Alphabet in Space, and Science Funding (EP 50)
July 23, 2026
AI Summary
5 min readThe recipe for life may not be uniquely terrestrial. The Japanese space agency JAXA confirmed that all five nucleotides that make up DNA and RNA—adenine, guanine, cytosine, thymine, and uracil—are present on the asteroid Ryugu. This is the second time such a discovery has been made on a different asteroid, following NASA’s 2023 findings on Bennu. The implication is that the molecular alphabet of life is not a rare fluke of Earth but appears to be a common feature of asteroids in our solar system. Meanwhile, a quiet but consequential battle is unfolding over who controls the money that makes this kind of research possible. The White House Office of Management and Budget has proposed sweeping changes to how federal research grants are awarded and managed, and the scientific community is pushing back hard. And in mathematics, an AI system from Anthropic has done something that would have been unthinkable just a few years ago: it disproved the Jacobian conjecture, a problem that has resisted the best human minds for nearly a century.
Life’s Alphabet Found in Deep Space
Continue reading the full summary in the app — free to try.
Read Full Summary →Free • No credit card required
Never miss an episode of From First Principles
Get every new episode summarized in your inbox — free, ~5 minutes to read.
No spam. Unsubscribe anytime.
What you'll learn
- 1 (01:11) **Life’s Molecular Alphabet Found on an Asteroid** - JAXA’s Hayabusa2 mission discovered all five nucleotide bases (A, T, G, C, U) on the asteroid Ryugu, supporting the theory that life’s building blocks can form in space.
- 2 (18:11) **The Battle Over Federal Science Funding** - The White House Office of Management and Budget (OMB) has proposed new rules that would allow political appointees to overrule expert peer review and cancel grants, sparking a constitutional crisis over who controls research money.
- 3 (40:18) **AI Cracks a 90-Year-Old Math Problem** - A researcher at Anthropic used the AI model “Fable” to disprove the Jacobian Conjecture, a famous unsolved problem in mathematics, by finding a counterexample that had eluded human mathematicians for nearly a century.
- 4 (87:48) **Why This Isn't Just Brute Force** - The hosts argue that the AI’s solution is a genuine act of insight, not a simple computational search, because the number of possible polynomial functions is far too vast for any computer to test.
- 5 (98:37) **A Human Blind Spot Revealed** - The AI found the counterexample in a dimension (3D) that human mathematicians had largely ignored, having focused on the 2D case for decades, which required a much higher degree of polynomial complexity.
- 6 (104:39) **An Existential Crisis for Pure Mathematics** - The ability of AI to solve open problems is creating an existential crisis, with mathematicians worrying about their future role as the field is reshaped by machines that can generate proofs they may not even understand.
- 7 Standout Quotes
+ Full timestamped outline available in the app
Show Notes
Hosted by Lester Nare and Krishna Choudhary, this episode moves from astrobiology to science policy to the rapidly changing frontier of artificial intelligence and mathematics.
First, researchers analyzing pristine samples returned from asteroid Ryugu report all five canonical nucleobases used by DNA and RNA. We explain what that does—and does not—mean for the origin of life, how JAXA’s Hayabusa2 mission collected uncontaminated asteroid material, and why comparisons with NASA’s Bennu samples strengthen the case that prebiotic chemistry may be widespread across the Solar System.
Next, we examine the fight over who controls federal research funding. A proposed overhaul of the rules governing federal grants would give political appointees greater influence over awards, reduce the controlling role of expert peer review, and expand the government’s power to stop grants that no longer align with an administration’s priorities. We break down the roles of Congress, OMB, federal agencies, universities, and the courts—and why this dispute could reshape the American research ecosystem.
Finally, we go deep on an AI-assisted counterexample to the Jacobian conjecture, a major open problem in mathematics. Krishna explains coordinate transformations, Jacobian determinants, invertibility, special relativity, and why this result appears fundamentally different from simple brute force. We close with the growing debate over AI-generated mathematics, human verification, open science, attribution, and the future role of mathematicians.
Summary
- All five canonical nucleobases found in pristine asteroid Ryugu samples
- Hayabusa2, Bennu, and the possibility of widespread prebiotic chemistry
- The fight over political control of federal research grants
- Congress, OMB, peer review, and the American science-funding system
- The Jacobian conjecture and an AI-assisted counterexample
- Special relativity, coordinate transformations, and invertibility
- AI-generated mathematics, open science, attribution, and verification
Support the showDonate: FFPod.com/donateFollow: @FFPod on X / Instagram / TikTok / Facebook
Show Notes
A complete set of canonical nucleobases in asteroid Ryugu
OMB proposed federal-grant rule