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.
顯示更多
