Informatika és tudomány

  • NEXUS6
    #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.