AI Breaks a 90-Year Math Problem, Life’s Alphabet in Space, and Science Funding (EP 50)

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

Association of American Universities response

Levent Alpöge’s Jacobian counterexample announcement

Leiden Declaration on Artificial Intelligence and Mathematics

Human-verified remarks on the OpenAI-generated Erdős result

Denne episoden er hentet fra en åpen RSS-feed og er ikke publisert av Podme. Den kan derfor inneholde annonser.

Episoder(58)

What OpenAI Actually Did to Navier-Stokes (EP 58)

What does it mean to solve an equation that describes almost every fluid around us, from the air over a wing to the water swirling down a drain?In Episode 58 of From First Principles, Lester Nare and ...

24 Sep 4h 9min

What’s Next in Science? Nobel Prizes, Space Missions & More (EP 57)

What science should you be watching this fall? From Nobel Prize season to NASA’s Roman Space Telescope, Mars’ moons and Mercury, Lester Nare and Krishna Choudhary take a relaxed tour of the discoverie...

14 Sep 1h 3min

The Yak Mutation That Could Help Repair the Brain (EP 56)

What can a yak living thousands of meters above sea level teach us about repairing the human brain?In Episode 56 of From First Principles, Lester Nare and Krishna Choudhary break down a new Neuron pap...

7 Sep 1h 35min

Why Spin Qubits Will Win the Quantum Race (Part 2) (EP 55)

Which quantum computer will actually scale?In Part 2 of our quantum computing deep dive, Lester Nare and Krishna Choudhary move from theory to hardware—comparing superconducting qubits, trapped ions, ...

31 Aug 3h 46min

How Quantum Computing Actually Works (Part 1) (EP 54)

Quantum computers do not simply “try every answer at once.” So what do they actually do—and why have governments and technology companies spent billions trying to build them?In Part 1 of our two-part ...

20 Aug 2h 11min

What Claude Actually Did to the Riemann Hypothesis (EP 53)

Claude did not solve the Riemann Hypothesis. But what it actually did may be one of the clearest examples yet of how rapidly AI systems are changing the way difficult mathematics can be attacked.In Ep...

14 Aug 1h 47min

The Amazon’s Hidden Civilization (One Year Anniversary) (EP 52)

In this anniversary episode, Lester Nare and Krishna Choudhary look back at how two longtime friends turned their regular conversations about science into a show now shared by millions of people aroun...

6 Aug 1h 47min

The Tech Elon Has Been Waiting For (EP 51)

What happens when electronics can operate at temperatures hot enough to melt aluminum?In this deep-dive episode, Lester Nare and Krishna Choudhary examine a new high-temperature memory device develope...

31 Jul 1h 44min