Tag
Briefings and ideas about AI mathematics from AI podcast discussions and the research they cite, with links to the original sources.
Panelists split over whether OpenAI's Navier–Stokes proof means AI will soon improve AI research; a skeptic called math narrower, while a risk-focused guest gave about 10% odds a bigger agent swarm designs a better AI architecture in six months.
Panelists on Moonshots argue that as agent compute gets cheaper, the scarce skill is choosing targets: OpenAI's claimed Navier–Stokes proof was easy to specify, but models asked for ideas to cure cancer return poor lists.
Google DeepMind's AlphaGenome Atlas precomputes predicted molecular effects of every possible single-letter change in the human genome. A Moonshots panelist cautioned that what combinations of variants mean still needs outcome data.
OpenAI says an internal model running about 10,000 agents for 88 hours produced a forced Navier–Stokes blowup construction with a Lean-checked proof. Moonshots panelists stressed it concerns idealized fluids and noted disputes over credit.
Anthropic's agents formalized Wiles's existing proof of Fermat's Last Theorem in about 13 million Lean lines over eleven days, per its report, with occasional human direction and a dependency-tracking platform keeping runs from losing their work.
Sam Altman told TIME he expects an internal OpenAI system he would call AGI by year-end. Moonshots panelists speculated the leap may be agents that keep their memory over very long tasks instead of losing context.
Moonshots panelists urged young people to skip PhDs, arguing the next one to three years may be the last window when humans steering AI agent fleets are unusually valuable. A panelist noted they all hold the degrees they advise skipping.
Brian Greene argues AI could make Newton-scale discoveries, expecting it to excel at exploring options and linking fields while humans, for now, lead in inventing new frameworks. He sees collaboration reshaping physicists' role.