George Tsoukalas

@gtsoukal

AI for Science @ DeepMind, PhD Student @ UT Austin.

London georgetsoukalas.github.io Joined September 2022

361 Following 657 Followers 103 Posts

Latest posts 5

Excited AI-assisted breakthrough on the Grothendieck constant! This problem is extremely diverse in applications: from combinatorial optimization to functional analysis to the information capacity of quantum channels!

Rahul Saha @rah4927 Aug 14

The Grothendieck constant is 1.7...!
We are excited to share this breakthrough on a 70 year-old problem discovered through a year-long human-AI collaboration.
We publish both the math and AI setup because academics should shape AI-assisted research to keep it fundamentally human.

View quoted post on X

George Tsoukalas @gtsoukal Jul 24

In Lisbon for CAV and AIMACS until Tuesday, looking forward to meeting new people! Feel free to reach out if you want to chat!

George Tsoukalas @gtsoukal May 26

Incredibly proud of the team’s efforts!

The core belief in AlphaProof Nexus is that rigorous machine correctness is a fundamental component for AI, allowing us to safely push the boundaries of knowledge through anchoring in verifiable truth.

Pushmeet Kohli Verified account @pushmeet May 25

AI agents are advancing research-level math. 🚀

I’m thrilled to share @GoogleDeepMind’s AlphaProof Nexus - an agentic framework for formal proof search powered by Gemini.

When applied to a set of open formal math problems, our agent autonomously solved:
✅ 9 open Erdős problems (including two open for 56 years!)
✅ 44 Online Encyclopedia of Integer Sequences (OEIS) problems
✅ A 15-year-old open problem in algebraic geometry ✅ A 7-year-old open question in min-max optimization

We are collaborating with mathematicians across disciplines - from combinatorics and graph theory to quantum optics. Ultimately, these results show the massive potential of even simple agentic loops powered by Gemini.

Read the paper here: arxiv.org/abs/2605.22763…

View quoted post on X

George Tsoukalas @gtsoukal Dec 30, 2025

15 misformalizations in PutnamBench (roughly 2% of benchmark) have been fixed, thanks to Logical Intelligence for contributing the changes, which were identified by their Aleph Prover system (as it happens, also presently the strongest approach on the PB leaderboard)!

George Tsoukalas @gtsoukal Dec 9, 2025

Big thanks to @axiommathai for kindly contributing the formalized Putnam 2025 problem statements to PutnamBench! All 12 statements are now available publicly!