Challenges
- Packomania: exact, certified circle packings
- European Space Agency, SpOC 4: a tour of 1,051 targets in lunar orbit
- European Space Agency, Luna Tomato Logistics: 400 transfers from the Earth to the Moon
- IBM Ponder This, September 2026: certified progressions of Loesch numbers
- Friedman Packing Center: exact, certified circle packings
- ex(50; C4): a graph with 50 vertices and 181 edges and no 4-cycle
- Discrete Kakeya: the area of the union of 128 thin triangles
- Unit distances between rational points: 121 points, 429 distances
- Integer complexity of 2⁶¹ − 1: an expression with 127 occurrences of 1