An unreleased Anthropic model made progress on one of math’s biggest unsolved problems
Anthropic's model made progress on the Riemann hypothesis by testing 650 ideas and coordinating across subagents, though it lacked significant mathematical training. The breakthrough was confirmed by mathematicians and formalized using Lean, but it raised concerns about the role of AI in mathematics. The success of large language models has led to mathematical advancements, yet the mathematical community remains divided on how to integrate AI into research.
More from Techcrunch
Microsoft kills off unsuccessful AI features while merging its separate Copilot apps
Microsoft is simplifying Copilot by combining its consumer and business apps, and dropping AI-generated podcasts, Group Chats, Deep Research, and its Mico character.
techcrunch.com··Mads Kristian Nylund·AI ToolsAI InfrastructureAI Governance
Nvidia’s new $500B plan is risky but brilliant, especially for aging GPUs
Nvidia has a plan to make sure its GPUs won't lose value. It wants to convince a new crop of financiers to keep lending for AI buildouts.
techcrunch.com··Mads Kristian Nylund·AI DevelopmentAI InfrastructureAI Governance
Apple in talks to pay publishers to provide Siri with current news: report
The tech giant has considered a nine-figure budget for the payments, according to the WSJ.
techcrunch.com··Mads Kristian Nylund·AI ToolsAI EthicsAI Platforms