←back to thread

AlphaProof's Greatest Hits

(rishimehta.xyz)
248 points rishicomplex | 1 comments | 17 Nov 24 17:20 UTC | HN request time: 0.207s | source
Show context
sega_sai ◴[17 Nov 24 22:32 UTC] No.42167962[source]▶
I think the interface of LLM with formalized languages is really the future. Because here you can formally verify every statement and deal with hallucinations.
replies(9): >>42168164 #>>42168732 #>>42168855 #>>42169086 #>>42169255 #>>42169394 #>>42169686 #>>42171742 #>>42176215 #
1. Groxx ◴[18 Nov 24 00:55 UTC] No.42168732[source]▶
The difficulty then will be figuring out if the proof is relevant to what you want, or simply a proof of 1=1 in disguise.