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.SummaryAll five canonical nucleobases found in pristine asteroid Ryugu samplesHayabusa2, Bennu, and the possibility of widespread prebiotic chemistryThe fight over political control of federal research grantsCongress, OMB, peer review, and the American science-funding systemThe Jacobian conjecture and an AI-assisted counterexampleSpecial relativity, coordinate transformations, and invertibilityAI-generated mathematics, open science, attribution, and verificationSupport the showDonate: FFPod.com/donateFollow: @FFPod on X / Instagram / TikTok / FacebookShow NotesA complete set of canonical nucleobases in asteroid RyuguOMB proposed federal-grant ruleAssociation of American Universities responseLevent Alpöge’s Jacobian counterexample announcementLeiden Declaration on Artificial Intelligence and MathematicsHuman-verified remarks on the OpenAI-generated Erdős result