Dozens of agents probably already invented it, but they were given ephemeral containers where noone ever looked or they only wrote it in direct CPU instructions.

I would really like to see an AI invent a new set of (consistent) axioms from which a whole slew of new problems and solutions arise. Something akin to Euclidean geometry, but for a whole new landscape of theorems.