(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 #

1. est ◴[18 Nov 24 01:18 UTC] No.42168855[source]▶

>>42167962 #

> formalized languages is really the future

Hmm, maybe it's time for symbolism to shine?

↑

AlphaProof's Greatest Hits