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.
もっと見る
