- generic jail:
- prevent disk write:
Paper: arxiv.org/html/2509.26076v1
Apparently also has human review as part of the process. Newbs. Just require Lean solutions and be done with it... They do address it in a section of the paper "Formal math benchmarks" but still meh. Review must be fully automated, none of that asking humans bullshit.
Required CharacteristicsRequires genuine insight: Not solvable by routine application of known algorithms
Example problem:
Numerical solution:
13313751171933973557517973175Earliest known public leak:
There are unlisted articles, also show them or only show them.