AI Dynamics

Global AI News Aggregator

About

Google/Harvard/CMU neuro-symbolic agent uses Gemini to discover proofs

Google just solved a theoretical physics problem using Gemini! Google, Harvard, and CMU built a neuro-symbolic system using the Gemini Deep Think model and a tree-search framework to autonomously discover complex mathematical proofs. The agent functions like a digital

→ View original post on X — @jiqizhixin