To be fair - there are statements in math that are independent of the axioms. For those statements, the universe you find yourself in can pick either version (true OR false) and still be consistent.
See also: noneuclidian geometry and axiom of choice.
Yup, this thing is basically useless. I just did /goal optimize the cuda kernel, and ai agent just proposed and tested a bunch of ideas by itself, and it profiled them using nsight ncu etc. by itself, which lead to one order of magnitude faster kernel.
The foundational failing I see in my countrymen is the notion that China can't innovate. Their economic reliance on exports is not untrue. Just like their reliance on energy imports is a fact (though one that we are seeing right now become more questionable.)
The average American will keep shouting over and over again that "China can't innovate" while they quietly and slowly tick off every box on their checklist of issues. It doesn't end well for us.
reply