4 ms·
Looking at the actual input/output prompts he shared (https://mathstodon.xyz/@tao/110178324935054737 https://mathstodon.xyz/@tao/110178324935054737), this seems
by Chinjut 4y ago
Looking at the actual input/output prompts he shared (https://mathstodon.xyz/@tao/110178324935054737 https://mathstodon.xyz/@tao/110178324935054737), this seems like not very much. These tasks seem really trivial regardless. Entering line breaks that were removed when copy and pasting from a PDF, and looking up the most basic functionality in the spreadsheet software he was already using.