← Back to PeopleResearcherMatej Balogstaff research scientist at Google DeepMind@matejbalogWebsiteMatej Balog is a staff research scientist at Google DeepMind within the AI for Science unit.1Mentions1Articles1OutletsCompanies CoveredGoogle DeepMind1OpenAI1ArticlesMost recent firstMentioned InReferenced in coverageGoogle's AI cracks nine unsolved math problemsarXivpositiveMay 25, 2026“Co-author on AlphaProof Nexus research paper on AI-driven formal proof search that solved nine open Erdős problems.”