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