#DeepMind FunSearch
12 related articles
·3 min
AI Cracks a 25-Year-Old Math Problem: How Artificial Intelligence Is Transforming Mathematical Research
DeepMind and others use AI to solve a 25-year-old math problem, combining LLMs with symbolic reasoning — marking AI's evolution from tool to collaborative research partner.
Read more →
·3 min
Tencent's Hy3 Agent Helps Crack a 50-Year-Old Math Problem: A New Paradigm for AI in Number Theory Proofs
Tencent's Hyra research agent and Hy3 model substantively contributed to solving the nearly 50-year-old optimal exponent problem relating sumsets and difference sets, marking AI's shift from computational tool to mathematical discovery partner.
Read more →
·3 min
Maxwell Conjecture Disproven: GPT Produces Counterexample That Shakes the Math World
GPT 5.6 allegedly constructed a counterexample disproving the long-standing Maxwell Conjecture. We analyze the conjecture, what the AI counterexample means, and the math community's cautious response.
Read more →
·2 min
AI Cracks a 35-Year-Old Math Problem: Discovering an Unexpected New Term
The Theo Conjecture, unsolved for 35 years, has been cracked with an unexpected new term discovered. Exploring AI's evolving role in pure math research.
Read more →
·3 min
AI Research Automation: More Like Data Cleaning Than Inventing the Transformer
AI research automation will look more like data cleaning than inventing the Transformer. Explore how automating 60%-80% of repetitive research work reshapes the AI research paradigm.
Read more →
·3 min
AI Research Automation: More Like Data Cleaning Than Inventing the Transformer
Why AI research automation looks more like data cleaning than inventing the Transformer. Exploring the value of automating 60%-80% of repetitive research work and how human-AI collaboration reshapes the research paradigm.
Read more →
·5 min
GPT-5.6 Launches: Comprehensive Upgrades to ChatGPT Work, Sites, and Desktop Client
OpenAI releases the GPT-5.6 model family, launching enterprise-focused ChatGPT Work, one-click ChatGPT Sites, and a major desktop client upgrade, with coding now ahead of rivals. Meta, Google, and Kimi follow intensively.
Read more →
·4 min
GPT-5.6 Launches: Flagship Model Sol Personally Trains Smaller Models, Recursive AI Self-Improvement Becomes Reality
OpenAI releases the GPT-5.6 series (Sol/Terra/Luna), with flagship Sol directly handling smaller model Luna's post-training—marking recursive AI self-improvement in practice. A deep dive into performance, cost, ChatGPT Work, and computer use design leaps.
Read more →
·5 min
AlphaEvolve Goes Commercial: Google Cloud Opens Algorithm Discovery to Solve Enterprise Optimization Challenges
Google is bringing AlphaEvolve to Cloud enterprise customers. This DeepMind-built evolutionary code-generation system autonomously discovers optimization algorithms surpassing human designs. A deep dive into its principles, use cases, barriers, and industry impact.
Read more →
·3 min
Former Google Executive Mo Warns: A Massive AI Shakeup Is Coming — Four Survival Skills You Must Master
Former Google X CBO Mo Gawdat warns AI will disrupt the job market within 2-3 years, with some industries facing 30% unemployment. He outlines four survival skills and predicts education will be completely transformed.
Read more →
·2 min
The Complete Guide to Automated AI Research Resources: Papers, Tools, and Labs
A deep dive into the awesome-auto-ai-research open-source project, covering key papers, tools, labs, and roadmaps in automated AI research to help researchers explore the frontier of autonomous AI-driven science.
Read more →
·2 min
Nobel Laureate John Jumper Leaves DeepMind to Join Anthropic
Nobel Chemistry laureate and AlphaFold lead John Jumper leaves Google DeepMind for Anthropic, signaling an intensifying AI talent war and reshaping the AI for Science landscape.
Read more →