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
Google/Harvard/CMU neuro-symbolic agent uses Gemini to discover proofs
By
–
