News for hackers. Stuff that matters.
Re:Terence Tao, "Machine Assisted Proof" [video] by Sakos on Wednesday February 14, 2024 @10:41PM (#39378842)
I don't blindly believe everything it says. I've caught it making mistakes plenty of times. But there's simply no going back anymore. There's no replacing what it can do and the kind of workflow it offers.

There are no comments on this comment yet.