Commentary questions meaning of OpenAI, Anthropic automated proofs

A Deccan Herald commentary pushes back on OpenAI's claim that AI solved the Navier-Stokes equations and Anthropic's claim that AI formalised Fermat's Last Theorem, noting both build on human work and employ mathematicians with little transparency about where human effort ends and AI begins. NYU mathematician Tristan Buckmaster told The New York Times he doubts due diligence was done given the volume of results released at once.

• Commentary questions Anthropic's $2T IPO plan and autonomy claims2026-10-18
• Eisman warns OpenAI collapse could trigger immediate US recession2026-10-17
• Altman says AI singularity has arrived after OpenAI model's autonomous hack2026-10-17
• Opinion: AI Risks Are No Reason for Panic2026-10-17
• Replit ends Anthropic partnership, CEO cites cost and performance2026-10-16