This is a special post for quick takes by jnalanko. Only they can create top-level comments. Comments here also appear on the Quick Takes page and All Posts page.
How does one write a grant proposal concerning theoretical problems nowadays? By the time you have a solid and feasible plan, it's very possible that AI can already execute it quickly. It feels like you need to propose a meta-plan for coming up with a plan.