Tim
@TimGMath
Mathematician at ETH Zurich, interested in arithmetic geometry and artificial intelligence
가입 April 2026
6 팔로잉 중 109 팬
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.
더 보기
