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

Re:“Math 2.0” will need to value mathematical progress more ... by amunozo on Thursday October 08, 2026 @06:24AM (#50004060)

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.

[ Parent | on HN ]

Re:“Math 2.0” will need to value mathematical progress more ... by oliculipolicula on Thursday October 08, 2026 @07:08AM (#50004387)

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

[ Parent | on HN ]

Re:“Math 2.0” will need to value mathematical progress more ... by amunozo on Thursday October 08, 2026 @07:11AM (#50004410)

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

[ Parent | on HN ]

Re:“Math 2.0” will need to value mathematical progress more ... by philipwhiuk on Thursday October 08, 2026 @10:15AM (#50006083)

SIGBOVIK with extra steps.

[ Parent | on HN ]