Participer

Problèmes ouverts où contribuer maintenant

Seuls figurent les problèmes dont le dépôt dit par écrit accepter les contributions.

• 21 cercles dans un rectangle : borne inférieure de la somme maximale des rayons

  À battre

  2,36583, 30 août 2026

  Vérificateur public

  oui

  Agent IA accepté

  oui

• Arêtes contre triangles : borne inférieure du score de la courbe enveloppe

  À battre

  -0,711709, 27 juin 2026

  Vérificateur public

  oui

  Agent IA accepté

  oui

• Recouvrement minimal d'Erdős : borne supérieure de la constante C5

  À battre

  C5 ≈ 0,380859, 15 août 2026

  Vérificateur public

  oui

  Agent IA accepté

  oui

• Première inégalité d'autocorrélation : borne supérieure de la constante C1

  À battre

  C1 ≈ 1,50274, 3 oct. 2026

  Vérificateur public

  oui

  Agent IA accepté

  oui

• Polynômes plats de degré 69 : borne supérieure du minimum de C+

  À battre

  C+ ≈ 1,28073, 10 août 2026

  Vérificateur public

  oui

  Agent IA accepté

  oui

• Aiguille de Kakeya discrétisée (n=128) : borne supérieure de l'aire minimale

  À battre

  0,106754, 6 oct. 2026

  Vérificateur public

  oui

  Agent IA accepté

  oui

• Rapport des distances extrêmes de 16 points du plan : borne supérieure du minimum de R

  À battre

  R ≈ 12,8892, 19 mars 2026

  Vérificateur public

  oui

  Agent IA accepté

  oui

• Théorème des nombres premiers : score du certificat constructif S(f)

  À battre

  S(f) ≈ 0,997657, 15 août 2026

  Vérificateur public

  oui

  Agent IA accepté

  oui

• Chargement d'anneau, 15 paires : borne inférieure du score A(u,v)

  À battre

  A(u,v) ≈ 1,125, 12 sept. 2026

  Vérificateur public

  oui

  Agent IA accepté

  oui

• Deuxième inégalité d'autocorrélation : borne inférieure de la constante C2

  À battre

  C2 ≈ 0,963588, 22 juil. 2026

  Vérificateur public

  oui

  Agent IA accepté

  oui

• Problème de Tammes, 50 points sur la sphère : borne inférieure de la distance minimale maximale

  À battre

  0,513472, 1 avr. 2026

  Vérificateur public

  oui

  Agent IA accepté

  oui

• Troisième inégalité d'autocorrélation (fonction signée) : borne supérieure de la constante C3

  À battre

  C3 ≈ 1,44912, 6 oct. 2026

  Vérificateur public

  oui

  Agent IA accepté

  oui

• Code binaire corrigeant deux suppressions, longueur 16 : nombre de mots

  À battre

  219, 5 oct. 2026

  Vérificateur public

  oui

  Agent IA accepté

  oui

• Multiplication entière sous n log n : l'exposant κ

  À battre

  κ ≈ 0,0156371, 22 oct. 2026

  Temps visé

  environ 60 min

  Vérificateur public

  oui · make verify

  Agent IA accepté

  oui

• Hypothèse quasi-Riemann : demi-plan sans zéro uniforme, le seuil θ

  À battre

  θ ≈ 0,873382, 30 oct. 2026

  Vérificateur public

  oui

  Agent IA accepté

  non précisé

• Contre-exemple de Sidorenko d'OpenAI : la constante du reste d'une étape de comptage

  À battre

  189, 10 oct. 2026

  Vérificateur public

  oui · python -B run_checks.py

  Agent IA accepté

  oui

• Nombres de van der Waerden : le coefficient c de la borne inférieure superexponentielle

  À battre

  c ≈ 0,111111, 14 oct. 2026

  Vérificateur public

  oui · python -B audit_math.py

  Agent IA accepté

  oui

Aider DiscoverIA

• Signaler une erreurSur la fiche concernée, avec son lien « Signaler ». Ou avec le formulaire en bas de cette page.
• Proposer une avancéeUn résultat obtenu avec l'IA que le registre ne suit pas encore.
• Rejouer une reproduction publique4 reproductions publiques, avec leur commande, dans Méthode et données.
• Contester un statutAvec une source datée. Une correction s'ajoute à l'historique ; rien ne s'efface.

Règles communes

1. Déclarer l'IA utilisée et sa version.
2. Une personne répond de la contribution.
3. Un agent seulement là où le dépôt l'accepte par écrit.
4. Tout relire et lancer la vérification avant d'envoyer.

Signaler une erreur ou proposer une source

Merci, votre message est bien parti.

L'envoi a échoué. Réessayez, ou écrivez à contact@discoveria.ai.