On: “Math 2.0” will need to value mathematical progress more holistically

[oliculipolicula]

Stupid, but could be fun: grants are given for how amusing your proposed prompts are.

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

[amunozo → oliculipolicula]

Either fun or totally random. Unfair but at least cheap.

[philipwhiuk → oliculipolicula]

SIGBOVIK with extra steps.