Skip to content
SearchFR · Français
Get started
Registry

Under review

openai/math: 719 manuscripts from an unreleased internal model

openai/math: 719 manuscripts in 372 families from an unreleased internal model

The gist

On October 6, 2026, OpenAI released 722 mathematics manuscripts at once, written by an unreleased internal model; three were withdrawn the following day.

DiscoverIA status on October 11, 2026: under review, meaning public review under way, no verdict yet.

Status detailsDetails

Text written by an AI, reviewed by Antoine Olivier,

FollowReport

Cite this entry

A single status snapshot since Oct 11, 2026: a citation always points to a dated snapshot.

Cite snapshot 1, Oct 11, 2026

APA citation with the dated link

DiscoverIA. (2026, October 11). openai/math: 719 manuscripts in 372 families from an unreleased internal model [Status: Under review, snapshot 1]. DiscoverIA registry. https://discoveria.ai/entry/oai-math-release-2026-10-06#releve-1

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

@misc{discoveria-oai-math-release-2026-10-06-r1,
  author       = {{DiscoverIA}},
  title        = {openai/math: 719 manuscripts in 372 families from an unreleased internal model},
  howpublished = {DiscoverIA registry, entry oai-math-release-2026-10-06},
  note         = {Status “Under review”, snapshot 1, recorded on October 11, 2026. New result},
  year         = {2026},
  url          = {https://discoveria.ai/entry/oai-math-release-2026-10-06#releve-1},
  urldate      = {2026-10-11}
}

Dated link opens this snapshot in the history

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

To understand ≈ 30 s reading time, estimated

What it changes

The collection holds 719 manuscripts in 372 families across 17 areas of mathematics; if some of these results held, an AI model would have contributed to research results in several of these areas. The Association for Human Mathematics criticises the simultaneous release of more than 700 texts, a debate about how to publish that does not settle whether the results are valid.

What remains unclear

The partial figures available give no consistent count by verification stage, and the repository warns that some unformalised results "could have issues". The Lean proofs (Lean is a language in which a computer checks every step of a proof), supplied by OpenAI, cover only part of the results.

In the glossary : Claim, Status: under review

For experts

Sources, method, key facts, status history, report an error

Status

Under review

Recorded on · raw.githubusercontent.com

Step 2 of 4 on the scale: under review. Next step: peer reviewed.

  1. Announced
  2. Recordedunder review
  3. nextTo follow
What this status means

Source reading : Source read word for word (level 3 of 3)

Public review under way, no verdict yet.

To move to “Peer reviewed”: a journal publication or a review by named experts. A sourced public objection would move it to “Contested”.

Full history

Proofs
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

Method

According to the repository README, about 4,000 problems were given to the model, with about 3 hours of ChatGPT Pro per result, with exceptions (zero-free region of zeta, Hodge for CM abelian varieties). Each result is published as a PDF and TeX manuscript; some are formalised in Lean by OpenAI, and 10 families come with a summary of the model's reasoning. The partial counts (about 42%, or 300 of 719, according to history.md) are not reconciled. Status “under review” recorded on October 11, 2026 from github.com (page read, quotation checked word for word).

Limits

The claimant supplies Lean proofs for part of the results (about 42% according to the README); DiscoverIA has found no independent verification of them.

Key facts

Claimed by
OpenAI (unreleased internal model)
announced on Oct 6, 2026
Nature
new result
Field
Mathematics (mathematics (17 fields))
Checked by
claimant (Lean); no third party named for the whole
Sources
9 : 9 links only
This entry
Reviewed by Antoine Olivier, Oct 21, 2026

Status history

Only one observation so far.

  1. 01

    First observation:Under reviewCurrent status

    Source: raw.githubusercontent.comread word for word

An observation is added; none is ever erased.

Parts of this announcement (372)

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

Reactions and objections

  • : 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)

Report an error or suggest a source

How DiscoverIA uses your address and how to exercise your rights: privacy policy.

Is your result listed?What each status requires, correcting this entry, replying to it.