← Back to context

Comment by teleforce

10 days ago

>The LLM shouldn’t be implementing any logic.

There's separate machine Intelligence technique for that namely logic, optimization and constraint programming [1],[2].

Fun facts, the modern founder of logic, optimization, and constraint programming is George Boole, the grandfather of Geoffrey Everest Hinton, the "Godfather of AI".

[1] Logic, Optimization, and Constraint Programming: A Fruitful Collaboration - John Hooker - CMU (2023) [video]:

https://www.youtube.com/live/TknN8fCQvRk

[2] "We Really Don't Know How to Compute!" - Gerald Sussman - MIT (2011) [video]:

https://youtube.com/watch?v=HB5TrK7A4pI

1 comment

teleforce

Reply