TomWambsgans
| Claim | Framework / track | Solver | Assisted by | Status | When |
|---|---|---|---|---|---|
| 702 cycles | Upper bound · RISC-V cycles | TomWambsgans | GPT-6 (submission packaging) | verified | 2026-09-19 |
| 104 compressions | Upper bound · compressions | TomWambsgans | GPT-6 (submission packaging) | verified | 2026-09-19 |
| 90 compressions | Lower bound · Whole-word DAGs | TomWambsgans | GPT-6 (submission packaging) | verified | 2026-09-19 |