Press Space to continue
Claude's Influence Shows in Modern Mathematical Proofs
Press Space to continue
It is funny that the Fermat's Last Theorem proof description, short as it is, still smells so much of Claude ("names each step and the Lean Theorem that carries it").
@scaling01Quoted post unavailable hereOpen on Xopen on x · 2 viewsViews and clicks count once per visitor per day. Clicks are opens of this post on X.