Tim
@TimGMath
Mathematician at ETH Zurich, interested in arithmetic geometry and artificial intelligence
Joined April 2026
6 Following 109 Followers
The latest version of ArXivLean has been released, which sees a big jump in model performance! GPT-5.6-Sol performs best, solving 18/48, ahead of Opus-5 with 15/48 and Aristotle with 12/48 statements formally proved in Lean.
Show more
