Tim
@TimGMath
Mathematician at ETH Zurich, interested in arithmetic geometry and artificial intelligence
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
The latest versions of ArXivMath and BrokenArXiv have been released! GPT 5.6 Sol takes top spot on ArXivMath, while GPT 5.5 barely manages to stay on top on BrokenArXiv. Fable 5 is the strongest non-GPT model, reaching second place on ArXivMath and third place on BrokenArXiv.
Show more
