Défis

• Packomania : des empilements de cercles exacts et certifiés
• Agence spatiale européenne, SpOC 4 : une tournée de 1 051 cibles en orbite lunaire
• Agence spatiale européenne, Luna Tomato Logistics : 400 transferts de la Terre à la Lune
• IBM Ponder This, septembre 2026 : des progressions de nombres de Loesch certifiées
• Friedman Packing Center : des empilements de cercles exacts et certifiés
• ex(50 ; C4) : un graphe à 50 sommets et 181 arêtes sans 4-cycle
• Kakeya discret : l’aire de l’union de 128 triangles minces
• Distances unitaires entre points rationnels : 121 points, 429 distances
• Complexité entière de 2⁶¹ − 1 : une expression à 127 occurrences de 1