Terry Davis & Gary Marcus: God is a compiler, the neurosymbolic program-of-everything

The Benchmark Problem Every single AI research lab has devolved to benchmaxxing, all model trained by rewardmaxxing some training gym with vast steel and dumbbells at their disposal. Unfortunately the gym is not training for long-term viability of the code and scaleability, it's training for "Can I post this to twitter and get a lot of views" or "Can I present this in a meeting and get a raise." Of course, the seasoned veteran programmer knows: this is bullshit. The whole codebase is held together by bodge and scotch tape. The actual problem that AI research has solved is the problem of raising their paycheck by producing a reward aligned by the rewards that control their bosses, HR or marketing team. You can show it in a meeting or on twitter for a quick boost. But nothing close to software has been solved, any high caliber software engineer can see it, just as any artist can see that it isn't producing novel art, only more of what we already have seen before. It's a giant zip file that stores what you show it, not a real learning system. It's a substrate that is maximally amenable to indoctrination, not guided by any mathematics of learning whatsoever. Every next iteration appears increasingly to have solved the event of turning water into wine, and the codebase is a –disaster–. It's not alien or beyond human comprehension, it's total rubbish. What the vibe coders and researchers don't understand: it's not that the code don't work, we already solved that 75 years ago with the transcendental device known as the compiler. Any software engineer worth their salt will tell you at the end of their career that the problem at the actual problem you are trying to solve is that there is code at all. Any removal of a line of code is a real success. (the best metric to measure the number of bugs in a codebase is directly its line of code divided by some golden number that John Carmack computed at the end of time) As long as there is code to maintain, software is not solved. T