Re:Terence Tao, "Machine Assisted Proof" [video]
by maroonblazer on Thursday February 15, 2024 @10:01AM
(#39383443)
This sounds interesting. Are there other examples of this out in the wild? Any plans to blog/write about it? I'm curious to learn more.
[ Parent
| on HN ]
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.