Well, in this case, I think the problem and what should be updated is how grants work. They were stupid before, but now they are even more.
Everyone should have a portfolio of prompts that are indecipherable by other humans but when fed to a frontier model, produces shocking one paragraph english version of a 10000 line lean proof
Obfuscated prompt grant contest