13 oct. 2026 Non évalué

Théorème central limite pour le modèle SYK à haute température : preuve annoncée, obtenue avec ChatGPT et formalisée en partie en Lean (Kamijima, Nakajima, Noda, Sasaya)

L'essentiel

Le 13 octobre 2026, quatre probabilistes ont publié sur arXiv un théorème central limite pour le modèle SYK à haute température, prouvé avec ChatGPT 5.5 Pro et 5.6 Pro puis formalisé en Lean sous une hypothèse.

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). Théorème central limite pour le modèle SYK à haute température : preuve annoncée, obtenue avec ChatGPT et formalisée en partie en Lean (Kamijima, Nakajima, Noda, Sasaya) [Statut : Non évalué, relevé 1]. Registre DiscoverIA. https://discoveria.ai/fr/fiche/syk-tcl-haute-temperature-2026-10-13#releve-1

BibTeX @misc, clé discoveria-syk-tcl-haute-temperature-2026-10-13-r1

@misc{discoveria-syk-tcl-haute-temperature-2026-10-13-r1,
  author       = {{DiscoverIA}},
  title        = {Théorème central limite pour le modèle SYK à haute température : preuve annoncée, obtenue avec ChatGPT et formalisée en partie en Lean (Kamijima, Nakajima, Noda, Sasaya)},
  howpublished = {Registre DiscoverIA, fiche syk-tcl-haute-temperature-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/syk-tcl-haute-temperature-2026-10-13#releve-1},
  urldate      = {2026-10-24}
}

Lien daté ouvre ce relevé dans l'historique

https://discoveria.ai/fr/fiche/syk-tcl-haute-temperature-2026-10-13#releve-1

Pour comprendre ≈ 20 s de lecture, estimé

Ce que ça change

Le modèle SYK décrit des particules en interaction aléatoire et sert de laboratoire en physique théorique. Si le résultat tenait, les fluctuations du logarithme de sa fonction de partition suivraient une loi gaussienne à haute température, c'est-à-dire pour de petites valeurs de l'inverse de la température β.

Ce qui reste flou

La formalisation Lean, dont le code a été généré par l'IA et relu par les auteurs, laisse la proposition 4.2 en hypothèse. Aucun tiers n'a encore relu la preuve, et le résultat ne couvre que les hautes températures.

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.18440

É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.18440 (résumé et HTML lus), Lean conditionnel à la proposition 4.2 (dépôt TokyoProbabilityGroup/SYK_CLT, non rejoué ; fourni par les auteurs)

Sources

Source principalearxiv.org · abs/2610.18440page lue mot pour mot · consultée le 24 oct. 2026 · We prove that for all sufficiently small inverse temperatures
Articlearxiv.org · html/2610.18440page lue mot pour mot · consultée le 24 oct. 2026 · We have formalized the proofs of our main results in Lean 4, conditional on Proposition 4.2.
Preuve Leangithub.comlien seulement, lecture non enregistrée

Méthode

Une première tentative avec ChatGPT 5.5 Pro, directement sur l'énergie libre, n'a pas abouti ; les auteurs ont alors proposé de passer par la fonction de partition, ce qui a conduit à des preuves produites par l'IA, qu'ils ont examinées et affinées, puis à un argument combinatoire plus simple pour une estimation clé, obtenu avec ChatGPT 5.6 Pro. La formalisation est publiée dans le dépôt TokyoProbabilityGroup/SYK_CLT. 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 : « We prove that for all sufficiently small inverse temperatures »).

Limites

Le revendicateur fournit des preuves Lean conditionnelles à la proposition 4.2 ; DiscoverIA n'en a trouvé aucune vérification indépendante.

Repères

Revendiqué par: Yoshinori Kamijima, Shuta Nakajima, Ryoichiro Noda et Kôhei Sasaya, avec ChatGPT 5.5 Pro et 5.6 Pro (OpenAI)
annonce du 13 oct. 2026
Nature: nouveau résultat
Domaine: Mathématiques (probabilités / physique mathématique)
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 les auteurs, conditionnel à la proposition 4.2 ; 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.