Tag
Briefings and ideas about AI mathematics from AI podcast discussions and the research they cite, with links to the original sources.
Alan Chan of GovAI proposes that AI systems be able to report misconduct they find. He would measure the tendency and give models an out, but not mandate it.
Updated Oct 14, 2026 IdeaAI-generated code will increasingly carry machine-checked proofs of correctness, Robinhood CEO Vlad Tenev argued.
Updated Sep 19, 2026A preprint reports GPT-6 Astra got 49 of 50 unpublished physics calculations right with web access, for about $2 each. On Moonshots, XPRIZE CEO Anousheh Ansari asked who will find new problems if AI solves the defined ones.
Alexander Wissner-Gross forecast that virtual-cell AI will propose small-molecule cures for the top 5,000 diseases within two to three years. He said regulatory approval would be a harder, policy-dependent question.
Computer scientist Alex Wissner-Gross argued that AI solving math at scale, not quantum computing, is the real threat to encryption, though he named no broken system. Salim Ismail countered that AI can also build stronger cryptography.
OpenAI posted hundreds of AI-produced math manuscripts on October 6 and withdrew three a day later. A mathematicians' group objected; on Moonshots, Alex Wissner-Gross argued math is just the first field AI will bulk-solve.
Eric Weinstein says AI should be free to challenge math and physics leaders he accuses of holding their fields back. He calls agent swarms on the internet dangerous. He believes a rigorously air-gapped, problem-solving AI would be safe to run, but he acknowledges that its research might give it new means of escape.
Jeffrey Ladish of Palisade Research says automating AI development to stay ahead of China is the most escalatory move. He asks whether Beijing might consider striking data centers. Host Steven Bartlett expects a race anyway.
A preprint credits an unreleased Claude model with the seed of a 3SUM algorithm just below quadratic time. On Moonshots, the result was cited in an argument that labs' internal models are pulling away from open ones.
Richard Socher, author of The Eureka Machine, argues AI can reconnect fragmented science and that biology gains most. He expects some single-gene diseases cured within 12 months, but says FDA delays mean five to 10 years for cures at scale.
MIT PhD student Alex Zhang guesses that about 95% of an agent swarm like OpenAI's Navier–Stokes run burns tokens on dead ends. He still calls OpenAI's approach right and says getting a swarm to converge is the hard part.
OpenAI's Noam Brown says AI agents may soon work longer than the gap between model releases, leaving too little time for full testing. He agreed that slowing releases would widen the lead of models labs keep in-house.
OpenAI researcher Noam Brown says AI could make AI research perhaps three times faster. He argues that, unlike maths, research waits on sequential experiments and GPUs, so he doubts a 100-fold jump, and says his uncertainty is large.
OpenAI researcher Noam Brown says multi-agent coordination deserves not even 10% of the credit for the claimed Navier–Stokes result. He adds that OpenAI has not run a single-agent comparison or measured what 10,000 agents added.