Exactly. The problem is already "solved" to almost everyone's satisfaction by being O(N), i.e. one optimized matrix math library per platform. But if they can

Exactly. The problem is already "solved" to almost everyone's satisfaction by being O(N), i.e. one optimized matrix math library per platform. But if they can reduce that to O(1) by creating a tool that takes computing hardware characteristics (core/compute topology, instructions, memory heirarchy, ...), and outputs state-of-the-art optimized matrix multiply machine code, it would be a nice and useful result.