4 ms·
This is at almost the polar opposite end of the spectrum from "AGI," it's centered on brute search.
by nybsjytm 3y ago
This is at almost the polar opposite end of the spectrum from "AGI," it's centered on brute search.
- danielmarkbruce 3y agoThey are not polar opposites.
- margorczynski 3y agoBrute searching all possible mathematical constructs, theorems, etc. to see which one fits the problem would probably take you practiacally an infinite amount of time. This works tbh, how I see it, very closely to how a human does - via "instinct" it gathers relevant knowledge based on the problem and then "brute searches" some combinations to see which one holds. But this "intuition" is the crucial part where brute search completely fails and you need very aggressive compression of the knowledge space.
- nybsjytm 3y ago> Brute searching all possible mathematical constructs, theorems, etc. to see which one fits the problem would probably take you practiacally an infinite amount of time. That's not the kind of search which is being done. Read this paper: https://doi.org/10.1023/A:1006171315513 https://doi.org/10.1023/A:1006171315513