Hacker News Reader

The NFL theorem (for optimization) has a mathematical proof, FYI. But I agree that there's a lot of room for interpretation.

i struggle to understand the connection between optimization/mathematical programming and the knowledge representation problem in classical AI.

I thought that the reference was to the general 'no free lunch' assumption: https://en.wikipedia.org/wiki/No_free_lunch_theorem