3 ms·
The article or the linked Google doc doesn't mention how AI for Math resources is different than other resources list out there?
by iamcreasy 2y ago
The article or the linked Google doc doesn't mention how AI for Math resources is different than other resources list out there?
- bitlax 2y agoOne obvious distinction is that it's recommended by Terry Tao.
- seanhunter 2y agoTo pick two examples which show the difference other lists might have an article about "Copilot" whereas this one has "Getting copilot to work with Lean4". It's not "Code assistant" it's getting that working with coq etc. ie specifically about AI for maths rather than AI in general