News for hackers. Stuff that matters.
Re:Terence Tao, "Machine Assisted Proof" [video] by Sakos on Wednesday February 14, 2024 @09:23PM (#39378393)
Isn't it obvious? I can't have a conversation with an exercise and the solution. ChatGPT has helped me uncover gaps in my mathematical knowledge because I can ask it questions about what something means, how something was arrived at, or how it works. Sometimes proofs involve logical "jumps" that aren't immediately or intuitively obvious, or require some mathematical maturity that I otherwise wouldn't be aware of. Something I would've otherwise needed a tutor for to determine.

There are no comments on this comment yet.