This is not a wise take and is exactly the misalignment. Kernel engineering cares about productivity because productivity is the end goal and code is a mean to the end, thus AI doing it is ok or encouraged. The exact misalignment problem here is that mathematics and scientific discoveries as human activities are not about productivity in the general scenes. We seek understanding and good explanations (David Deutsch) and use that as a starting point for further understandings of the universe and reality. AI (using brute force to speedrun an open problem) takes away that critical aspect of mathematics away will lead to a superintelligence that cares nothing about humans own endeavors in understanding the universe, and thus putting humanity in perpetual danger of ignorance. A thought experiment would be AI in 1700s, right after Newton, to speedrun and release Relativity. Human would be worshipping AI’s calculations of the universe as opposed to knowing how to do it. AI would be launching GPS satellites, not human.