13 oct. 2026 Non évalué

Polynômes de tore et fonction majorité : résolution annoncée de deux problèmes ouverts, trouvée et formalisée en Lean avec GPT-6 Astra (Wesonga)

L'essentiel

Le 13 octobre 2026, Saint Wesonga a publié sur arXiv la résolution de deux problèmes ouverts sur les polynômes de tore et la fonction majorité, résultats découverts et formalisés en Lean avec GPT-6 Astra.

Statut DiscoverIA au 24 octobre 2026 : non évalué, c'est-à-dire aucune évaluation tierce trouvée.

Détails du statutDétails

Brouillon IA, non reluQu'est-ce qui n'est pas relu ?

Texte rédigé par une IA (pipeline DiscoverIA), le 25 oct. 2026. Le statut et ses sources viennent du registre ; seul le texte explicatif n'est pas relu. Une erreur signalée est corrigée, puis le texte est relu.

Suivre Signaler

Citer cette entrée

Un seul relevé de statut depuis le 24 oct. 2026 : une citation renvoie toujours à un relevé daté.

Citer le relevé 1, 24 oct. 2026

Citation APA avec le lien daté

DiscoverIA. (2026, 24 octobre). Polynômes de tore et fonction majorité : résolution annoncée de deux problèmes ouverts, trouvée et formalisée en Lean avec GPT-6 Astra (Wesonga) [Statut : Non évalué, relevé 1]. Registre DiscoverIA. https://discoveria.ai/fr/fiche/wesonga-polynomes-majorite-tore-2026-10-13#releve-1

BibTeX @misc, clé discoveria-wesonga-polynomes-majorite-tore-2026-10-13-r1

@misc{discoveria-wesonga-polynomes-majorite-tore-2026-10-13-r1,
  author       = {{DiscoverIA}},
  title        = {Polynômes de tore et fonction majorité : résolution annoncée de deux problèmes ouverts, trouvée et formalisée en Lean avec GPT-6 Astra (Wesonga)},
  howpublished = {Registre DiscoverIA, fiche wesonga-polynomes-majorite-tore-2026-10-13},
  note         = {Statut « Non évalué », relevé 1, constaté le 24 octobre 2026. Nouveau résultat},
  year         = {2026},
  url          = {https://discoveria.ai/fr/fiche/wesonga-polynomes-majorite-tore-2026-10-13#releve-1},
  urldate      = {2026-10-24}
}

Lien daté ouvre ce relevé dans l'historique

https://discoveria.ai/fr/fiche/wesonga-polynomes-majorite-tore-2026-10-13#releve-1

Pour comprendre ≈ 30 s de lecture, estimé

Ce que ça change

Les polynômes de tore approchent une fonction booléenne modulo les entiers ; ils ont été introduits comme piste pour montrer que la fonction majorité échappe à une classe de circuits booléens à portes modulaires, ACC^0. Si les résultats tenaient, ils répondraient à deux des cinq problèmes ouverts posés par Krishan et Vishwanathan, sur les relèvements entiers et les approximations polynomiales explicites.

Ce qui reste flou

Le Lean est fourni par l'auteur, seul signataire, et aucun tiers n'a encore relu les énoncés ni le texte. Une formalisation vérifie la preuve d'un énoncé, pas que cet énoncé traduise fidèlement le problème posé.

Pour les experts

Sources, méthode, repères, historique du statut, signaler une erreur

Statut

Non évalué

Constaté le 24 oct. 2026 · arxiv.org · abs/2610.19174

Étape 1 sur 4 de l'échelle : non évalué. Étape suivante : en examen.

13 oct. 2026Annonce
24 oct. 2026Constaténon évalué
ensuiteÀ suivre

Ce que veut dire ce statut

Lecture de la source : Source lue mot pour mot (niveau 3 sur 3)

Le résultat n'est déclaré ni juste ni faux.

Pour passer « En examen » : un examen public en cours. Pour « Relu par des pairs » : une publication en revue ou une relecture par des experts nommés.

Historique complet

Preuves: préprint arXiv 2610.19174 (résumé et HTML lus), Lean 4 et Mathlib (dépôt formalcs/circuit-complexity, non rejoué ; fourni par l'auteur)

Sources

Source principalearxiv.org · abs/2610.19174page lue mot pour mot · consultée le 24 oct. 2026 · The results presented were discovered and formalized in Lean using GPT-6 Astra.
Articlearxiv.org · html/2610.19174page lue mot pour mot · consultée le 24 oct. 2026 · We resolve two of these, concerning integer lifts and explicit polynomial approximations.
Preuve Leangithub.comlien seulement, lecture non enregistrée

Méthode

GPT-6 Astra a découvert les résultats et les a formalisés en Lean 4 avec Mathlib, en partant du cadre de complexité des circuits que Saint Wesonga avait développé pour les bornes inférieures de PARITY. L'auteur a orienté le choix des questions et le périmètre, et répond des énoncés et du texte final. Statut DiscoverIA : non évalué, c'est-à-dire qu'aucune évaluation par un tiers n'a été trouvée dans les sources lues. Établi le 24 octobre 2026 d'après arxiv.org (page lue, citation relevée mot pour mot : « The results presented were discovered and formalized in Lean using GPT-6 Astra. »).

Limites

Le revendicateur fournit une preuve Lean ; à cette date, DiscoverIA n'a trouvé aucune vérification indépendante de cette preuve ni du résultat.

Repères

Revendiqué par: Saint Wesonga, avec GPT-6 Astra (OpenAI)
annonce du 13 oct. 2026
Nature: nouveau résultat
Domaine: Informatique théorique (complexité des circuits / polynômes de tore)
Vérifié par: aucun vérificateur identifié
Sources: 3 : 2 lues mot pour mot, 1 lien seulement
Cette fiche: Brouillon IA, non relu

Historique du statut

Une seule observation pour l'instant.

0124 oct. 2026
Première observation :Non évaluéStatut actuel
préprint arXiv, sans relecture par les pairs ; Lean fourni par l'auteur seulement ; aucune évaluation tierce trouvée
Source : arxiv.orglu mot pour mot

Une observation s'ajoute ; aucune ne s'efface.

Signaler une erreur ou proposer une source

Votre résultat est listé ?Ce que chaque statut exige, corriger cette entrée, y répondre.