2026-04-17: display broke after it touched a table lightly. Not sturdy. Replacement of original 400 pounds so not worth it.
2026: decided to find my own go to underwear to buy forever and stop this bullshit.
- 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:
There are unlisted articles, also show them or only show them.