Teortaxes (DeepSeek 推特铁粉 2023 – ∞)

@teortaxesTex

For context, this is the current PutnamBench leaderboard. Prover-V2 scores 49.

4:19 PM · Apr 30, 2025