Exactly. There's a big difference between filling in a function or a proof by searching and brute-forcing across existing lemmas or functions and creating truly novel ideas and solutions.
Re:Declarative Dragging
by philipwhiuk on Monday November 09, 2026 @11:58AM
(#50428239)
P(Hacker News thread being diverted to talk about AI) is basically 1 isn't it
It's pretty clear to me how far current models are from this being real. I'd say it's a good example of how AGI it not upon us, despite what the big labs are claiming.
Even the remarkable mathematical achievements are in some ways brute-forcing in a limited space. The space of "how could we build this better" is in an entirely different category of scale.