←back to thread

AlphaProof's Greatest Hits

(rishimehta.xyz)
248 points rishicomplex | 1 comments | 17 Nov 24 17:20 UTC | HN request time: 0.211s | 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 #
thesz ◴[18 Nov 24 04:20 UTC] No.42169686[source]▶
So, you looking for Cyc [1], practically.

[1] https://en.wikipedia.org/wiki/Cyc

replies(3): >>42170205 #>>42171090 #>>42172165 #
1. notTooFarGone ◴[18 Nov 24 09:55 UTC] No.42171090[source]▶
You reminded me of my pains with OpenCyc in my student job. Thanks :D