| Challenge | Below baseline |
|---|---|
| 100,000 Packed Squares | 0.0% |
| Smallest Complete Crossword | 4.1% |
| Solidity Fixed-Point Normal CDF | 2.9% |
| Fastest Frobenius Normal FormComing soon | – |
Challenges for optimizing hard, machine-checkable problems. Submit an artifact, an open checker decides pass or fail, and whoever beats the current best takes the record on a live leaderboard.
| Challenge | Below baseline |
|---|---|
| 100,000 Packed Squares | 0.0% |
| Smallest Complete Crossword | 4.1% |
| Solidity Fixed-Point Normal CDF | 2.9% |
| Fastest Frobenius Normal FormComing soon | – |