News for hackers. Stuff that matters.
Re:Terence Tao, "Machine Assisted Proof" [video] by npunt on Thursday February 15, 2024 @04:42PM (#39389380)
I haven't seen any tho I haven't really been looking. Mostly it's messing with prompts and looking at data. I hope to write about it eventually, tho probably in the context of the self reflection use case. I don't think a lot of people are barking up this tree yet and it's important.

There are no comments on this comment yet.