2
-
#2
Itt a Gödel tételek jutnak az eszembe, amelyek szerint (általánosan/pongyolán), egy konzisztens axioma rendszerben mindíg merül fel olyan kérdés/probléma, amelyre a válasz az axiomákat és csak azokat alkalmazva nem adható meg, a lehetséges válaszok igaz volta nem eldönthető.
Tipikus out-of-the box szitu.
Végső soron tehát az LLM max arra lesz jó, nagyon max és nagyon kiokosítva, hogy eldöntse azt, hogy a problematikának, a jelenlegi axioma rendszerben van-e megoldása, vagy nincs? De az utóbbira valszeg ő sem fog új matematikát kitalálni.
Kérdés persze az is, hogy milyen pontossággal és milyen erőforrás ráfordítással kapjuk meg az előbbire is a választ. -
kvp #1 Az ismert nyelvi modellek meg a 2+2-vel is bajban vannak ha azt gondoljak, hogy a kerdezo inkabb mas valaszt szeretne hallani mint ami a helyes. Persze egy dedikaltan matematikai megoldasra kifejlesztett nyelvi modell tobbre lehet kepes, mert csak a matematika szabalyaira tanitottak meg, de akkor is ertelmesebb eredmenyeket lehetne elerni egy logikai kovetkeztetesekre kepes dedikalt MI-vel, ami ha letezik is, egyelore nem tul publikus se a lete, se a mukodesnek elve.