Comment Comment by X6S1x6Okd1st He started learning lean4 with the help of GPT4 just at the start of the month:https://mathstodon.xyz/@tao/111208692505811257Many of his mastodon posts this month have been about his learning progress.Certainly an interesting case study of how LLMs can accelerate the work of even of the most extremely successful people parent X6S1x6Okd1st 3 years ago
https://mathstodon.xyz/@tao/111208692505811257
Many of his mastodon posts this month have been about his learning progress.
Certainly an interesting case study of how LLMs can accelerate the work of even of the most extremely successful people