Aller au contenu
EN · English
Pour démarrer
Registre

openai/math : 719 manuscrits (722 au lancement), 372 familles, modèle interne non publié

Statut

En examen

Constaté le · raw.githubusercontent.com

  1. Annonce
  2. Constatéen examen
  3. ensuiteÀ suivre
Ce que veut dire ce statut

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

Examen public en cours, sans verdict.

Pour passer « Relu par des pairs » : une publication en revue ou une relecture par des experts nommés. Une objection publique sourcée le ferait passer « Contesté ».

Historique complet

L'essentiel

Le 6 octobre 2026, OpenAI a publié d'un coup 722 manuscrits de mathématiques écrits par un modèle interne non diffusé ; trois ont été retirés le lendemain.

SuivreSignaler

Citer cette entrée

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

Citer le relevé 1, 11 oct. 2026

Citation APA avec le lien daté

DiscoverIA. (2026, 11 octobre). openai/math : 719 manuscrits (722 au lancement), 372 familles, modèle interne non publié [Statut : En examen, relevé 1]. Registre DiscoverIA. https://discoveria.ai/fr/fiche/oai-math-release-2026-10-06/#releve-1

BibTeX @misc, clé discoveria-oai-math-release-2026-10-06-r1

@misc{discoveria-oai-math-release-2026-10-06-r1,
  author       = {{DiscoverIA}},
  title        = {openai/math : 719 manuscrits (722 au lancement), 372 familles, modèle interne non publié},
  howpublished = {Registre DiscoverIA, fiche oai-math-release-2026-10-06},
  note         = {Statut « En examen », relevé 1, constaté le 11 octobre 2026. nouveau résultat},
  year         = {2026},
  url          = {https://discoveria.ai/fr/fiche/oai-math-release-2026-10-06/#releve-1},
  urldate      = {2026-10-11}
}

Lien daté ouvre ce relevé dans l'historique

https://discoveria.ai/fr/fiche/oai-math-release-2026-10-06/#releve-1

Texte rédigé par une IA (pipeline DiscoverIA), le Relu par : Antoine Olivier, 18 oct. 2026Signaler une erreur

Qu'est-ce qui n'est pas relu ?

Le statut et ses sources viennent du registre ; le texte explicatif a été relu par un humain.

Le statut et ses sources viennent du registre ; le texte explicatif a été relu par un humain.

Repères

Revendiqué par
OpenAI (modèle interne non diffusé)
annonce du 6 oct. 2026
Nature
nouveau résultat
Domaine
Mathématiques (mathématiques (17 disciplines))
Vérifié par
revendicateur (Lean) ; aucun tiers nommé pour l'ensemble
Sources (domaines)
9 : 9 liens seulement
Cette fiche
Relu par Antoine Olivier, 18 oct. 2026

Pour comprendre

Analogie

Comme une maison d'édition qui déposerait des centaines de manuscrits sur la même table, chacun à un stade de relecture différent : il faut les examiner un par un pour savoir lesquels tiennent.

Ce que ça change

Le lot rassemble 719 manuscrits en 372 familles, répartis dans 17 domaines des mathématiques ; si une partie de ces résultats tenait, un modèle d'IA aurait contribué à des résultats de recherche dans plusieurs de ces domaines. L'Association for Human Mathematics critique la publication simultanée de plus de 700 textes, un débat sur la manière de publier qui ne tranche pas la validité des résultats.

Ce qui reste flou

Les chiffres partiels disponibles ne donnent pas de décompte cohérent par stade de vérification, et le dépôt prévient que certains résultats non formalisés « could have issues ». Les preuves en Lean (un langage où un ordinateur contrôle chaque étape d'une preuve), fournies par OpenAI, ne couvrent qu'une partie des résultats.

Pour les experts

9 sources.

Pour les experts

Preuves
preprints PDF/TeX, Lean fourni par le revendicateur pour une partie, 10 résumés de raisonnement (familles 007, 017, 087, 102, 159, 197, 221, 271, 287, 362)

Sources(domaines)

  • primaireopenai.comlien seulement, lecture non enregistrée
  • depotgithub.comlien seulement, lecture non enregistrée
  • contestationahmath.orglien seulement, lecture non enregistrée
  • contestationnature.comlien seulement, lecture non enregistrée
  • contestationretractionwatch.comlien seulement, lecture non enregistrée
  • listegithub.comlien seulement, lecture non enregistrée
  • listegithub.comlien seulement, lecture non enregistrée
  • listegithub.comlien seulement, lecture non enregistrée
  • listegithub.comlien seulement, lecture non enregistrée

Méthode

Selon le README du dépôt, environ 4 000 problèmes ont été soumis au modèle, avec environ 3 heures de ChatGPT Pro par résultat, sauf exceptions (zone sans zéro de zêta, Hodge pour les variétés abéliennes CM). Chaque résultat est publié en manuscrit PDF et TeX ; une partie est formalisée en Lean par OpenAI, et 10 familles ont un résumé du raisonnement du modèle. Les décomptes partiels (environ 42 %, soit 300 sur 719, selon history.md) ne sont pas réconciliés. Statut « en examen » constaté le 11 octobre 2026 sur github.com (page lue, citation relevée mot pour mot).

Limites

Le revendicateur fournit des preuves Lean pour une partie des résultats (environ 42 % selon le README) ; DiscoverIA n'en a trouvé aucune vérification indépendante.

Pour comprendre

Comme une maison d'édition qui déposerait des centaines de manuscrits sur la même table, chacun à un stade de relecture différent : il faut les examiner un par un pour savoir lesquels tiennent.

Parties de cette annonce (372)

TitreStatut
Trois manuscrits retirés (erreur de signe, classes de Weil) : Algebraicity of Weil classes on split abelian eightfolds ; Kuga-Satake K3 ; rational Hodge conjecture for products of K3Retiré
Preuve revendiquée de la Unique Games Conjecture (famille 102 : UGC et seuils d'approximation optimaux)Non évalué
The Partition Principle does not imply Choice (famille 244)Contesté
Contre-exemple à la conjecture des diviseurs de zéro de Kaplansky (famille 196)Non évalué
Algèbre de groupe sans torsion non directement finie : contre-exemples caractéristique 2 et impaire (famille 197)Non évalué
Contre-exemple à la conjecture de HadwigerNon évalué
Quasi-hypothèse de Riemann : demi-plan sans zéro Re(s)>7/8 (famille 003) ; README cite séparément Re(s)>11/12 (écriture relue par un humain)Non évalué
Formule BSD complète pour corang de Selmer 0 ou 1 (famille 002)Non évalué
Dixième problème de Hilbert sur Q (famille 004)Non évalué
Selon OpenAI, l'exposant d'irrationalité de π vaut 2 (famille 017)Non évalué
Conjecture de Hodge rationnelle pour variétés abéliennes CM (famille 032 ; exception de procédure signalée par le README)Non évalué
Conjecture K(pi,1) d'Artin et obstructions CAT(0) (famille 254)Non évalué
Isomorphisme des facteurs de groupes libres (famille 287)Non évalué
Contre-exemple à la conjecture des Lagrangiennes voisines (famille 340)Non évalué
Multiplication matricielle d'exposant au plus 9/4 (famille 107)Non évalué
Milne's rationality conjecture (famille 001)Non évalué
Irrationality of Catalan's constant (famille 005)Non évalué
Goldfeld's conjecture (famille 006)Non évalué
Two-point Chowla and the corrected binary Elliott conjecture (famille 007)Non évalué
The Deligne–Drinfeld conjecture (famille 008)Non évalué
Bogomolov–Pop and Milnor K-theoretic reconstruction (famille 009)Non évalué
Fontaine–Mazur modularity at the prime 2 and 2-adic pro-modularity (famille 010)Non évalué
The Ford–Konyagin–Luca conjecture on prime predecessors (famille 011)Non évalué
Independent largest prime factors of consecutive integers (famille 012)Non évalué
Ostmann's inverse Goldbach conjecture (famille 013)Non évalué
Restricted geometric Langlands, generic Ramanujan and Arthur parameters (famille 014)Non évalué
Torus-packet equidistribution in prime, quartic, and sextic degrees (famille 015)Non évalué
Zilber–Pink in abelian varieties and the Siegel threefold (famille 016)Non évalué
The Margulis–Platonov conjecture over global fields (famille 018)Non évalué
The p-adic section conjecture (famille 019)Non évalué
Squarefree quartics and power-free polynomial values (famille 020)Non évalué
A quadratic bound for Jacobsthal's function (famille 021)Non évalué
The weak inhomogeneous Duffin–Schaeffer conjecture (famille 022)Non évalué
Patterson’s first moment for cubic Gauss sums (famille 023)Non évalué
An asymptotic formula for the number of totients (famille 024)Non évalué
Erdős’s short Egyptian-fraction conjecture (famille 025)Non évalué
Positive lower density of large prime gaps (famille 026)Non évalué
Integral density on curve character varieties (famille 027)Non évalué
The Gaussian moat conjecture (famille 028)Non évalué
Artin's primitive root conjecture: infinitude for every base (famille 029)Non évalué
Modularity over imaginary quadratic fields (famille 030)Non évalué
Uchida's conjecture for open Galois homomorphisms (famille 031)Non évalué
Campana's orbifold Iitaka conjecture and logarithmic subadditivity (famille 033)Non évalué
Log abundance and effective Iitaka fibrations (famille 034)Non évalué
Threefold log abundance in numerical dimension one in characteristic p>3 (famille 035)Non évalué
Numerical semiampleness and generalized minimal models (famille 036)Non évalué
The sharp ordinary-double-point volume gap (famille 037)Non évalué
Fujita's freeness conjecture (famille 038)Non évalué
Nagata's conjecture and maximal Seshadri constants (famille 039)Non évalué
Bloch's conjecture for complex surfaces (famille 040)Non évalué
Hyperkähler SYZ and projective-space bases (famille 041)Non évalué
Oka classification for K3 surfaces and other compact complex surfaces (famille 042)Non évalué
P=W for fixed-determinant moduli spaces (famille 043)Non évalué
The equivariant cohomological Hikita conjecture for quivers (famille 044)Non évalué
Counterexamples to Shafarevich holomorphic convexity (famille 046)Non évalué
Complex counterexamples to cancellation and affine fibrations (famille 047)Non évalué
A characteristic-zero counterexample to Lipman–Zariski (famille 048)Non évalué
A stable-coordinate counterexample in four variables (famille 049)Non évalué
A counterexample to Griffiths' positivity conjecture (famille 050)Non évalué
Kobayashi's canonical-ampleness conjecture (famille 051)Non évalué
Tangent-bundle splittings and universal covers (famille 052)Non évalué
A counterexample to Pixton's original completeness conjecture (famille 053)Non évalué
Counterexamples to Kuznetsov's rationality conjecture (famille 054)Non évalué
Toda's Gepner conjecture and large-volume stability (famille 055)Non évalué
Termination of fourfold minimal model programs (famille 056)Non évalué
Campana's abelianity conjecture and special varieties (famille 057)Non évalué
The Kollár–Pardon universal-cover conjecture (famille 058)Non évalué
Counterexamples to Zariski's multiplicity conjecture (famille 059)Non évalué
The Global Spherical Shell conjecture (famille 060)Non évalué
The LeBrun–Salamon conjecture and projective contact classification (famille 062)Non évalué
The generalized Mukai conjecture (famille 063)Non évalué
The μ-constant problem for surface singularities (famille 064)Non évalué
Virasoro constraints for complete intersections and projective bundles (famille 065)Non évalué
Bounded klt complements for Fano contractions (famille 066)Non évalué
The Campana–Peternell conjecture in dimension six (famille 067)Non évalué
Anticanonical nonvanishing under smooth semipositivity (famille 068)Non évalué
Quantum geometric Langlands at irrational level (famille 069)Non évalué
Koebe's circle-domain conjecture and circle-domain rigidity (famille 071)Non évalué
Brennan's conjecture and a counterexample to Kraetzer's prediction (famille 072)Non évalué
The Falconer distance conjecture (famille 073)Non évalué
Kakeya in three and four dimensions (famille 074)Non évalué
The L log L Fourier-convergence conjecture (famille 075)Non évalué
Ultraflat real Littlewood polynomials (famille 076)Non évalué
Fourier restriction for positively curved surfaces (famille 077)Non évalué
The three-dimensional Bochner–Riesz conjecture (famille 078)Non évalué
Sogge's local smoothing conjecture in dimension three (famille 079)Non évalué
The Sobolev endpoint in Carleson's Schrödinger convergence problem (famille 080)Non évalué
The David–Semmes Riesz-transform problem in higher codimension (famille 081)Non évalué
Maximal and variational bounds for the triangular Hilbert transform (famille 082)Non évalué
Stein's conjecture for Hilbert transforms along Lipschitz directions (famille 083)Non évalué
The geometric case of the Erdős similarity conjecture (famille 084)Non évalué
Endpoint regularity of the planar centered maximal function (famille 085)Non évalué
An L³ bound for the trilinear Hilbert transform (famille 086)Non évalué
The Mahler conjectures and symplectic width (famille 087)Non évalué
Petty's projection-volume conjecture and simplex counterexamples (famille 088)Non évalué
Bounded-distortion L_1 embeddings of planar and bounded-treewidth graphs (famille 089)Non évalué
Universal optimality of the triangular lattice (famille 090)Non évalué
The logarithmic Brunn–Minkowski conjecture (famille 091)Non évalué
The optimal order of convex-body covering density (famille 092)Non évalué
Dimension-free logarithmic Sobolev inequality for subgaussian log-concave measures (famille 093)Non évalué
Subpolynomial dimension reduction in L_p (famille 094)Non évalué
Hyperbolicity cones without semidefinite lifts (famille 095)Non évalué
The Gaussian propeller conjecture (famille 096)Non évalué
The Euclidean Steinitz–Bergström conjecture (famille 097)Non évalué
A negative answer to the Lang–Plaut problem (famille 098)Non évalué
The sharp distortion of edit distance into ℓ_1 (famille 099)Non évalué
A counterexample to Bang's cylinder-covering bound (famille 100)Non évalué
The sharp simplex conjecture for isotropic constants (famille 101)Non évalué
Derandomization of logarithmic space: L=RL=BPL (famille 103)Non évalué
Quasipolynomial algorithms for mean-payoff, stochastic and parity games (famille 104)Non évalué
The 2-to-1 Games Conjecture with perfect completeness (famille 105)Non évalué
Hardness of coloring three-colorable graphs (famille 106)Non évalué
A cubic permanent–determinant lower bound (famille 108)Non évalué
Integer multiplication below n log n (famille 109)Non évalué
Optimal-order randomized k-server on arbitrary metrics (famille 110)Non évalué
One-sample matroid prophet inequalities against an almighty adversary (famille 111)Non évalué
Beyond the square-root exponent for depth-three circuits (famille 112)Non évalué
Approximate counting and the perfect-matching entropy conjecture (famille 113)Non évalué
Approximate counting of common integer polymatroid bases (famille 114)Non évalué
Sampling and counting contingency tables with arbitrary margins (famille 115)Non évalué
Uniform identity testing for noncommutative formulas (famille 116)Non évalué
Uniform sparsest cut: hardness and semidefinite gaps (famille 117)Non évalué
Unbounded bin-packing gaps and the modified integer round-up conjecture (famille 118)Non évalué
The Courtade–Kumar and Hellinger conjectures (famille 119)Non évalué
Almost-linear-time exact matching in general graphs (famille 120)Non évalué
Almost-linear expected-time approximation of edit distance (famille 121)Non évalué
Superpolynomial lower bounds and quasipolynomial reconstruction from deletion traces (famille 122)Non évalué
Polynomial-time scheduling on three identical machines (famille 124)Non évalué
The approximation threshold for metric k-median (famille 125)Non évalué
Exponential semidefinite complexity of perfect matching (famille 126)Non évalué
The asymptotic Gotsman–Linial conjecture (famille 127)Non évalué
A factor-two approximation for shortest common superstring (famille 128)Non évalué
Exponential state costs for two-way automata (famille 129)Non évalué
Fourier transforms below n log n (famille 130)Non évalué
Polynomial mixing of graph switches with prescribed degrees (famille 131)Non évalué
A counterexample to the quadratic sensitivity conjecture (famille 132)Non évalué
The complexity of Weisfeiler–Leman refinement (famille 133)Non évalué
Generalized star height at most three (famille 134)Non évalué
Sharp homogeneous depth-five complexity of matrix products (famille 135)Non évalué
The quasilinear PCP-for-PPAD conjecture (famille 136)Non évalué
One-tape time simulation in two-fifths-power space (famille 137)Non évalué
Subset Sum in O(2^(0.49n)) time (famille 138)Non évalué
Subpolynomial queries for log-concave sampling (famille 139)Non évalué
Memory–sample lower bounds for noiseless Gaussian regression (famille 140)Non évalué
The existential theory of the reals and existential–universal sentences in the counting hierarchy (famille 141)Non évalué
Deterministic polynomial factorization over prime fields (famille 142)Non évalué
Uniform limit-cycle bounds in Hilbert's sixteenth problem (famille 143)Non évalué
Banach's simple Lebesgue-spectrum problem (famille 144)Non évalué
Rokhlin's multiple-mixing problem (famille 145)Non évalué
Sinai's positive-entropy conjecture for the standard map (famille 146)Non évalué
The near-boundary Birkhoff conjecture (famille 147)Non évalué
The dimension formula for self-similar measures on the line (famille 148)Non évalué
Permanence for weakly reversible reaction networks (famille 149)Non évalué
Weak mixing of irrational triangular billiards (famille 150)Non évalué
A C¹ counterexample to Shub’s entropy conjecture (famille 151)Non évalué
Zero entropy does not guarantee a smooth positive-volume model (famille 152)Non évalué
Arithmetic classification of Bernoulli convolutions (famille 153)Non évalué
Pointwise multiple ergodic averages for mixing transformations (famille 154)Non évalué
A counterexample to periodic tiling in dimension three (famille 155)Non évalué
Borsuk's conjecture fails in dimension nine (famille 156)Non évalué
The Euclidean plane cannot be colored with five colors (famille 158)Non évalué
Erdős's reciprocal-sum conjecture and quasipolynomial Szemerédi bounds (famille 159)Non évalué
Superexponential van der Waerden numbers (famille 160)Non évalué
Counterexamples to Sidorenko's conjecture and the forcing conjecture (famille 161)Non évalué
Counterexamples to Ryser's covering and Gyárfás's tree-cover conjectures (famille 162)Non évalué
Hindman's finite sums and products conjecture (famille 164)Non évalué
Exact crossing numbers of complete and complete bipartite graphs (famille 165)Non évalué
The higher-dimensional Erdős distinct-distances conjecture (famille 166)Non évalué
Pinned distances and a power saving for planar unit distances (famille 167)Non évalué
Combinatorial invariance of Kazhdan–Lusztig polynomials (famille 168)Non évalué
The Shareshian–Wachs e-positivity conjecture (famille 169)Non évalué
Sharp logarithmic exponents for off-diagonal Ramsey numbers (famille 170)Non évalué
The hypercube Ramsey conjecture (famille 171)Non évalué
Classification of finite Euclidean Ramsey configurations (famille 172)Non évalué
Seymour's second-neighborhood conjecture (famille 173)Non évalué
Deterministic construction of strong thin spanning trees (famille 174)Non évalué
Talagrand's conjectures and graph decompositions at expectation thresholds (famille 175)Non évalué
The second Kahn–Kalai conjecture (famille 176)Non évalué
Bounded-degree coboundary expanders in every dimension (famille 177)Non évalué
Deterministic nonbipartite Ramanujan graphs in every fixed degree (famille 178)Non évalué
The circulant Hadamard conjecture (famille 179)Non évalué
Barnette's Hamiltonian-cycle conjecture (famille 180)Non évalué
The Erdős–Gallai cycle-decomposition conjecture (famille 181)Non évalué
Power savings for polynomial-difference-free sets (famille 182)Non évalué
Power savings for planar halving lines and k-sets (famille 183)Non évalué
Coloring and independence in graphs with forbidden subgraphs (famille 184)Non évalué
Counterexamples to infinite matroid intersection and packing/covering (famille 185)Non évalué
The Friedgut–Kalai graph and hypergraph threshold conjectures (famille 186)Non évalué
Snaky in 21 Maker moves (famille 187)Non évalué
The sharp constant in random triangle removal (famille 188)Non évalué
Exact cycle–clique Ramsey numbers (famille 189)Non évalué
Polynomial removal fails for ordered binary matrices (famille 190)Non évalué
A power improvement in the Heilbronn triangle problem (famille 191)Non évalué
A counterexample to the Gopalan–Servedio conjecture (famille 192)Non évalué
Serre's intersection-multiplicity conjecture (famille 193)Non évalué
Lech's multiplicity conjecture (famille 194)Non évalué
A counterexample to the small Cohen–Macaulay module conjecture (famille 195)Non évalué
A counterexample to the little finitistic-dimension conjecture (famille 198)Non évalué
Counterexamples to conjectures of Auslander–Reiten, Tachikawa, and Nakayama (famille 199)Non évalué
Eisenbud–Green–Harris and lex-plus-powers in characteristic zero (famille 200)Non évalué
A counterexample to Kurosh's division-ring problem (famille 201)Non évalué
The blockwise Alperin weight conjecture (famille 202)Non évalué
Donovan's conjecture over fields and discrete valuation rings (famille 203)Non évalué
Tensor saturation for even spin groups (famille 204)Non évalué
Saxl's conjecture and universal tensor squares (famille 205)Non évalué
Finite lattice representation: counterexamples and undecidability (famille 206)Non évalué
The ℓ¹-Bass and complex Bass trace conjectures (famille 207)Non évalué
The finite Benson–Etingof–Ostrik conjecture (famille 208)Non évalué
Integral counterexamples to Gersten’s conjecture (famille 209)Non évalué
Foulkes’ conjecture for sixth powers and quadratic stabilization (famille 210)Non évalué
Geometry, diffusion, and spectra of random planar maps (famille 211)Non évalué
No bigeodesics and smooth limit shapes in planar first-passage percolation (famille 212)Non évalué
No infinite critical clusters on quasi-transitive graphs (famille 213)Non évalué
The Benjamini–Schramm nonuniqueness conjecture (famille 214)Non évalué
Massive continuum limits and exact mass asymptotics for planar O(n) models (famille 215)Non évalué
Critical logarithmic corrections and BKT scaling for the planar XY model (famille 216)Non évalué
The low-temperature Sherrington–Kirkpatrick fluctuation law (famille 217)Non évalué
Conformal universality for weakly interacting and disordered Ising models (famille 218)Non évalué
GOE universality for random regular graphs with weak disorder (famille 219)Non évalué
Directional zero–one laws and ballisticity in random environments (famille 220)Non évalué
The Mézard–Parisi formula for diluted spin glasses (famille 221)Non évalué
Perceptron free energies and microscopic jamming (famille 222)Non évalué
Conformal limits of square-lattice random-cluster interfaces (famille 223)Non évalué
Critical and near-critical universality for Voronoi percolation (famille 224)Non évalué
Gaussian free field limits for the balanced six-vertex model (famille 225)Non évalué
The double-dimer CLE_4 conjecture in the half-plane (famille 226)Non évalué
The dynamical phase transition in the Sherrington–Kirkpatrick model (famille 227)Non évalué
Continuum phase transitions for radial pair potentials (famille 228)Non évalué
Sharp three- and four-state reconstruction thresholds (famille 229)Non évalué
Exact Hausdorff measure for SLE (famille 230)Non évalué
The free uniform spanning forest is a factor of IID (famille 231)Non évalué
Gaussian fields and SLE interfaces for Lipschitz heights (famille 232)Non évalué
The joint critical Ashkin–Teller scaling limit (famille 233)Non évalué
All-temperature pressure for orthogonally invariant Ising spin glasses (famille 234)Non évalué
Random-SAT thresholds, sharp variance and computability (famille 235)Non évalué
The factor-of-IID threshold for free Ising states on trees (famille 236)Non évalué
The three-quarter diameter exponent for honeycomb walks (famille 237)Non évalué
Optimal logarithmic mixing of the Thorp shuffle (famille 238)Non évalué
Sharp singularity rates for symmetric sign matrices (famille 239)Non évalué
Shelah's eventual categoricity conjecture (famille 240)Non évalué
Rigidity of the Turing degrees (famille 241)Non évalué
Single-fold Diophantine representations (famille 242)Non évalué
Choiceless counting does not capture polynomial time (famille 243)Non évalué
The β-Barendregt–Geuvers–Klop conjecture (famille 245)Non évalué
Cannon's conjecture (famille 246)Non évalué
An infinite finitely presented residually finite 2-group (famille 247)Non évalué
Thompson's group F is nonamenable (famille 248)Non évalué
A finitely generated counterexample to Eilenberg–Ganea (famille 249)Non évalué
The Boone–Higman conjecture and higher finiteness (famille 250)Non évalué
Amenability, unitarizability, and Ulam stability (famille 251)Non évalué
A non-residually-finite torsion-free hyperbolic group (famille 252)Non évalué
An infinite finitely presented simple amenable group (famille 253)Non évalué
Quasi-isometric rigidity of virtually polycyclic groups (famille 255)Non évalué
Howie's conjecture on equations over groups (famille 256)Non évalué
A hyperbolic group with no geometric CAT(0) action (famille 257)Non évalué
Gersten's conjecture for one-relator groups (famille 258)Non évalué
A group without fixed price (famille 259)Non évalué
Spacetime Penrose inequalities and rigidity (famille 260)Non évalué
Localization and delocalization in the Anderson model (famille 261)Non évalué
Sharp one-dimensional Lieb–Thirring inequalities (famille 262)Non évalué
The ionization and generalized ionization conjectures (famille 263)Non évalué
Strong cosmic censorship near two-ended Kerr data (famille 264)Non évalué
The two-dimensional gapped area law (famille 265)Non évalué
Exactly three mutually unbiased bases in dimension six (famille 266)Non évalué
Positive-temperature Bose–Einstein condensation and quantum depletion (famille 267)Non évalué
The spin-one Haldane gap (famille 268)Non évalué
The Laughlin gap and stability under scalar disorder (famille 269)Non évalué
Threshold and positive-energy bound states of the BFSS model (famille 270)Non évalué
Bloch's law and spontaneous ferromagnetic order (famille 271)Non évalué
Entanglement without secret key and the PPT-square conjecture (famille 272)Non évalué
The entropy photon-number inequality (famille 273)Non évalué
Moore's parity conjecture for QAC⁰ (famille 274)Non évalué
QMA-hardness of continuum Coulomb energy (famille 275)Non évalué
The classical capacity of generalized amplitude damping (famille 276)Non évalué
Threshold repetition for entangled games (famille 277)Non évalué
Failure of Kohn–Sham ensemble representation (famille 278)Non évalué
Exact quantum factoring over a fixed finite gate set (famille 279)Non évalué
Strong locality for strongly rational unitary vertex operator algebras (famille 280)Non évalué
QAOA optimality for the SK model (famille 281)Non évalué
Scale-to-conformal enhancement in four-dimensional QFT (famille 282)Non évalué
Polynomial-time, constant-error unitary synthesis from a Boolean oracle (famille 283)Non évalué
The optimal randomized–quantum query exponent (famille 284)Non évalué
Counterexamples to Baum–Connes and Kadison–Kaplansky (famille 285)Non évalué
Arithmetic rigidity of lattice von Neumann algebras (famille 286)Non évalué
Kadison's similarity conjecture (famille 288)Non évalué
The strong Kadison–Kastler conjecture (famille 289)Non évalué
Connes' bicentralizer conjecture and relative bicentralizers (famille 290)Non évalué
Toms–Winter and equivariant Jiang–Su stability (famille 291)Non évalué
A counterexample to Kirchberg's norm-ultrapower embedding problem (famille 292)Non évalué
A counterexample to the hyperinvariant-subspace problem (famille 293)Non évalué
A counterexample to Kaplansky's quasitrace conjecture (famille 294)Non évalué
The Kadison–Ringrose cohomology conjecture (famille 295)Non évalué
The generator problem for finite factors (famille 296)Non évalué
A ZFC counterexample to Naimark's problem (famille 297)Non évalué
A counterexample to Voiculescu’s free-entropy equality conjecture (famille 298)Non évalué
The Kirchberg–Rørdam character criterion (famille 299)Non évalué
The Popa–Vaes quadratic strong-operator paving conjecture (famille 300)Non évalué
Classification by trace cones after Razak–Jacelon stabilization (famille 301)Non évalué
The Phillips–Toms formula for minimal integer actions (famille 302)Non évalué
From ordinary to strong pure infiniteness (famille 303)Non évalué
The Hilbert–Smith conjecture in every dimension (famille 304)Non évalué
Counterexamples to disk embedding and Wall's manifold conjecture (famille 305)Non évalué
The purely cosmetic surgery conjecture for knots in S³ (famille 306)Non évalué
Failure of rational injectivity for maximal coarse assembly (famille 307)Non évalué
Smith–Toda complexes at every height with varying primes (famille 308)Non évalué
The Kervaire invariant problem at the prime three (famille 309)Non évalué
Quillen's conjecture in rational homology (famille 310)Non évalué
Chai's invariant-ideal conjecture (famille 311)Non évalué
The Grothendieck homotopy hypothesis (famille 312)Non évalué
Finite generation for the K(n)-local sphere (famille 313)Non évalué
The chromatic Smith fixed-point problem for finite p-groups (famille 314)Non évalué
The four-dimensional Singer conjecture (famille 315)Non évalué
Curtis’s conjecture (famille 316)Non évalué
Thomason model structures in every strict higher dimension (famille 317)Non évalué
Chromatic splitting: counterexamples and filtrations (famille 318)Non évalué
Counterexamples to the Hahn–Wilson conjecture at height two (famille 319)Non évalué
A four-dimensional counterexample to Borel rigidity (famille 320)Non évalué
A counterexample to Wall's finite D(2) conjecture (famille 321)Non évalué
Tingley's sphere-isometry problem (famille 322)Non évalué
Relative independence of the separable quotient problem (famille 323)Non évalué
Lipschitz equivalence without linear isomorphism (famille 324)Non évalué
The complete Crouzeix conjecture (famille 325)Non évalué
The cotype–cotype conjecture under the approximation property (famille 326)Non évalué
Markov type characterizes superreflexivity (famille 327)Non évalué
Fixed points of nonexpansive maps in reflexive Banach spaces (famille 328)Non évalué
A counterexample to Pietsch's metric-entropy duality conjecture (famille 329)Non évalué
A negative answer to Kalton's Lipschitz-free approximation question (famille 330)Non évalué
Asymptotic midpoint uniform convexity without asymptotically uniformly convex renorming (famille 331)Non évalué
Metric Markov cotype two for ℓ_1 (famille 332)Non évalué
Smooth isometric immersions of surfaces into ℝ⁴ (famille 333)Non évalué
A smooth surface metric with no local immersion in ℝ³ (famille 334)Non évalué
Gromov's integral scalar-curvature inequality (famille 335)Non évalué
Spectral scalar curvature and codimension-two width (famille 336)Non évalué
Cartan–Hadamard isoperimetry and CAT(0) fillings (famille 337)Non évalué
Yau's uniformization conjecture (famille 338)Non évalué
Katok's entropy rigidity conjecture (famille 339)Non évalué
Donaldson's hypersymplectic deformation conjecture (famille 341)Non évalué
Donaldson's tamed-to-compatible conjecture (famille 342)Non évalué
Sharp symplectic ball-packing criteria in higher dimensions (famille 343)Non évalué
The metric Blaschke conjecture (famille 344)Non évalué
Infinitely many closed geodesics on spheres and three-manifolds (famille 345)Non évalué
Sharp singular-set bounds for stationary integral varifolds (famille 346)Non évalué
Counterexamples to strong forms of Arnold's fixed-point conjecture (famille 347)Non évalué
Nonnegatively curved Einstein four-manifolds and a topological gap (famille 348)Non évalué
The Solomon–Yau least-volume conjecture (famille 349)Non évalué
Yau's nodal conjecture: surfaces and counterexamples (famille 350)Non évalué
Scalar curvature detects four-dimensional Ricci-flow singularities (famille 351)Non évalué
Finite-time singularity of Calabi flow (famille 352)Non évalué
The sharp dimension threshold for affine Bernstein rigidity (famille 353)Non évalué
Isoperimetric regions in the cubic three-torus (famille 354)Non évalué
Unique tangent flows at the first surface singularity (famille 355)Non évalué
Gigli's characterization of Alexandrov curvature (famille 356)Non évalué
Bi-Lipschitz coordinates at every regular RCD point (famille 357)Non évalué
A three-manifold with no conjugate points and no nonpositively curved metric (famille 358)Non évalué
Negative Kähler curvature without bounded holomorphic coordinates (famille 359)Non évalué
Villani’s convexity conjecture and regular optimal transport (famille 360)Non évalué
Global smoothness for relativistic Vlasov–Maxwell (famille 362)Non évalué
Boltzmann nonuniqueness with exact local conservation (famille 363)Non évalué
Kinetic limits and fluctuations over the Boltzmann lifespan (famille 364)Non évalué
Joint metric and connection recovery from one boundary patch (famille 365)Non évalué
The planar Mumford–Shah regularity conjecture (famille 366)Non évalué
The critical dimension for the one-phase Bernoulli problem (famille 367)Non évalué
The three-dimensional Ball–Evans approximation problem (famille 368)Non évalué
The hot spots conjecture for simply connected planar domains (famille 369)Non évalué
The subcritical Lane–Emden and Hénon–Lane–Emden conjectures (famille 370)Non évalué
Stable blowup for a defocusing Schrödinger equation (famille 371)Non évalué
Global uniqueness in smooth isotropic elasticity (famille 372)Non évalué
Nonattainment in three-marginal Coulomb transport (famille 373)Non évalué
Sharp one-third stability of optimal transport maps (famille 374)Non évalué
De Giorgi's conjecture in dimension eight (famille 375)Non évalué
Universal computation in forced Navier–Stokes flows (famille 376)Non évalué
Interior C^(1,α) regularity for infinity-harmonic functions (famille 377)Non évalué

Historique du statut

Une seule observation pour l'instant.

  1. 01

    Première observation :En examenStatut actuel

    Source : raw.githubusercontent.comlu mot pour mot

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

Réactions et contestations

  • : Retraction Watch : OpenAI withdraws three preprints a day after releasing 722 manuscripts (retractionwatch.com)
  • : Proofs and Prompts : 100+ reactions to 100+ solutions (proofsandprompts.com)
  • : Déclaration de l'Association for Human Mathematics sur la publication OpenAI du 6 octobre (ahmath.org)
  • : Nature : OpenAI posts 700 maths preprints online: mathematicians are up in arms (nature.com)
  • : Washington Post : OpenAI releases progress on more than 300 math research problems (washingtonpost.com)
  • : Scott Aaronson, 'The Mathocalypse' (scottaaronson.blog)
  • : Billets de Terence Tao : Math 2.0 (2026-10-10), Hales sur Lean et fiabilité (2026-10-09), Bloom sur les changements du site erdosproblems.com (2026-10-06), Hexagon (2026-10-06) (terrytao.wordpress.com)

Signaler une erreur ou proposer une source

Ce que DiscoverIA fait de votre adresse et comment exercer vos droits : politique de confidentialité.

Vérification anti-robot non configurée.