Debrief.
Ämne

#AI for science

Claude formaliserade Fermats stora sats i Lean på elva dagar
AI · Forskning
Claude formaliserade Fermats stora sats i Lean på elva dagar
3 min läsning