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.
[ Parent
| on HN ]
There are no comments on this comment yet.