by openquery on 2/8/24, 3:20 PM with 2 comments
by adamgordonbell on 2/8/24, 3:28 PM
Tao is finding ChatGPT helpful for proofs, as a sort of brainstorm partner. And if it works for him, then why can't it work for me trying to cross the intermediate gap in learning Rust?
These tools work best when you know what you are doing, know the questions to ask, but are in unfamilar territory.