| Dataset Name | SOTA Method | Metric | Trend | ||
|---|---|---|---|---|---|
| Dim. Imbedding | sorry-first methodology | Direct Size1,103 | 1 | 9d ago | |
| Thm nowhere-diff. 49.1 | sorry-first methodology | Direct Proof Size53 | 1 | 9d ago | |
| Baire category 48.2 | sorry-first methodology | Direct Proof Size62 | 1 | 9d ago | |
| Ascoli general | sorry-first methodology | Direct372 | 1 | 9d ago | |
| Space-filling curve 44.1 | sorry-first methodology | Direct Proof Size325 | 1 | 9d ago | |
| Smirnov metriz. 42.1 | sorry-first methodology | Direct Proof Size83 | 1 | 9d ago | |
| Nagata–Smirnov | sorry-first methodology | Direct Size968 | 1 | 9d ago | |
| Tychonoff 37.3 | sorry-first methodology | Direct Size198 | 1 | 9d ago | |
| Tietze extension 35.1 | sorry-first methodology | Direct Component Size324 | 1 | 9d ago | |
| Urysohn metriz. 34.1 | sorry-first methodology | Direct Proof Size1,196 | 1 | 9d ago | |
| Urysohn lemma 33.1 | sorry-first methodology | Direct287 | 1 | 9d ago |
