News for hackers. Stuff that matters.

A comment on Terence Tao, "Machine Assisted Proof" [video]. Parent comment

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.
[ Parent | on HN ]

There are no comments on this comment yet.