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

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 comparing Ryugu with NASA’s Bennu samples strengthens 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 what remains for mathematicians when machines can produce results humans have pursued for generations.