Sujet : Re: The philosophy of computation reformulates existing ideas on a new basis ---MY LEGACY
De : mikko.levanto (at) *nospam* iki.fi (Mikko)
Groupes : comp.theoryDate : 17. Nov 2024, 09:47:09
Autres entêtes
Organisation : -
Message-ID : <vhcaid$i2ml$1@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26
User-Agent : Unison/2.2
On 2024-11-16 15:28:04 +0000, Richard Damon said:
Nope, as LLM don't do "Logic", but just pattern matching.
Formal logic is just pattern matching. While LLM do other than logic
automatic proof checkers and automatic proveres don't.
-- Mikko