Press Space to continue
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").
Quoted postFinding signal on Twitter is more difficult than it used to be. We curate the best tweets on topics like AI, startups, and product development every weekday so you can focus on what matters.
Press Space to continue
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").
Quoted post