Re:Terence Tao, "Machine Assisted Proof" [video]
by thatguysaguy on Thursday February 15, 2024 @04:10AM
(#39380587)
I posted a few example questions (which are definitely way below Einstein level) in another comment. It's not doing too well! Do you have any links to conversations where it was particularly helpful? I do wonder if my GPT usage is bad in the same way my parents' Google usage is.
[ Parent
| on HN ]
Re:Terence Tao, "Machine Assisted Proof" [video]
by kjqgqkejbfefn on Thursday February 15, 2024 @11:36AM
(#39384821)
Maybe try asking your questions on phind.com. It does RAG on top of GPT4 so it might be able to base its answers on the paper or github issue you mentioned.
Re:Terence Tao, "Machine Assisted Proof" [video]
by throwaway920102 on Friday February 16, 2024 @10:40PM
(#39406139)
Well, Einstein and Da Vinci were fallible as well.