News for hackers. Stuff that matters.

A comment on “Math 2.0” will need to value mathematical progress more holistically. Parent comment

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 ]