陶哲轩仅用50人，解决2200万个代数问题，Lean让人类做到了！

Open in Podwise to generate AI notes

Sign in to process this episode and unlock summaries, transcripts, highlights and translations.