Aggregate
核验溯源
Body
Anthropic says Claude spent 11 days turning Fermat's Last Theorem into 13 million lines of code a computer can check itself, no human trust required
来源：https://decrypt.co/377491/ai-solved-350-year-old-math-problem
Domain Tag
fintech
Source Name
Decrypt