{ "schema": "sevensa.math_atlas.v1", "as_of": "2026-10-29", "editorial_scope": "AI-assisted editorial interpretation with primary-source inspection; no independent proof certification. Automatic research signals are separately labelled.", "site": "https://ai-tracking.sevensa.nl", "count": 16, "languages": [ "en", "nl", "de", "fr", "es", "it" ], "items": [ { "id": "kakeya-local-smoothing", "org": "OpenAI", "topic": "Harmonic analysis", "published": "2026-10-26", "checked": "2026-10-29", "status": "independent-review-pending", "method": "AI-produced argument; Lean formalization reported", "math": "Local smoothing ⇒ Kakeya + restriction", "source": "https://openai.com/index/building-scientific-understanding-with-academic-communities/", "source_kind": "provider_announcement", "urls": { "en": "https://ai-tracking.sevensa.nl/en/discoveries/kakeya-local-smoothing/", "nl": "https://ai-tracking.sevensa.nl/nl/discoveries/kakeya-local-smoothing/", "de": "https://ai-tracking.sevensa.nl/de/discoveries/kakeya-local-smoothing/", "fr": "https://ai-tracking.sevensa.nl/fr/discoveries/kakeya-local-smoothing/", "es": "https://ai-tracking.sevensa.nl/es/discoveries/kakeya-local-smoothing/", "it": "https://ai-tracking.sevensa.nl/it/discoveries/kakeya-local-smoothing/" }, "translations": { "en": { "title": "Local smoothing, Kakeya and restriction", "simple": "Imagine moving a very thin needle in every direction while using almost no space. The Kakeya conjecture asks how small such a set can be. An OpenAI system reports a route to resolving this and related questions about waves.", "research": "The claim is a local smoothing theorem across dimensions, with consequences for the Kakeya and Stein restriction conjectures. The authors released natural-language and Lean artifacts, inviting mathematical scrutiny.", "academic": "The proposed auxiliary partial differential equation supplies estimates for Fourier-integral operators. The important implication is a claimed all-dimensional local smoothing result that transfers to Kakeya dimension and Fourier restriction. The transfer and the proof's hypotheses must be checked against the released artifacts; this overview does not verify the theorem.", "impact": "Potentially connects geometric measure theory, harmonic analysis and dispersive PDE techniques. It is not an immediate new engineering product.", "caution": "Provider-reported, with formal artifacts; independent expert acceptance is not yet established here." }, "nl": { "title": "Lokale afvlakking, Kakeya en restrictie", "simple": "Stel je een heel dunne naald voor die in elke richting kan wijzen en toch weinig ruimte inneemt. Kakeya gaat over hoe klein zo'n verzameling kan zijn.", "research": "OpenAI claimt een stelling over lokale afvlakking met gevolgen voor Kakeya en de restrictiestelling van Stein; een bewijs en Lean-bestanden zijn gepubliceerd.", "academic": "De voorgestelde hulpvergelijking uit de theorie van partiële differentiaalvergelijkingen geeft afschattingen voor Fourier-operatoren. De exacte aannames en overdracht naar Kakeya en restrictie moeten onafhankelijk worden gecontroleerd.", "impact": "Mogelijke nieuwe verbindingen tussen meetkunde, harmonische analyse en golfvergelijkingen.", "caution": "Nog geen hier bevestigde onafhankelijke acceptatie." }, "de": { "title": "Lokale Glättung, Kakeya und Restriktion", "simple": "Wie wenig Raum benötigt eine extrem dünne Nadel, wenn sie in jede Richtung zeigen kann? Diese Frage führt zum Kakeya-Problem.", "research": "OpenAI behauptet eine dimensionsübergreifende Glättungsaussage mit Folgen für Kakeya und Steins Restriktionsproblem.", "academic": "Eine neue Hilfs-PDE soll Abschätzungen für Fourier-Integraloperatoren liefern. Voraussetzungen und Folgerungen der veröffentlichten Lean-Artefakte müssen unabhängig geprüft werden.", "impact": "Mögliche neue Methoden für harmonische Analysis und dispersive Gleichungen.", "caution": "Unabhängige wissenschaftliche Bestätigung ist hier noch nicht belegt." }, "fr": { "title": "Lissage local, Kakeya et restriction", "simple": "Quel espace minimum faut-il pour tourner une aiguille dans toutes les directions ? C'est l'intuition du problème de Kakeya.", "research": "OpenAI annonce une preuve du lissage local impliquant des résultats sur Kakeya et la restriction de Stein.", "academic": "Une équation différentielle auxiliaire fournirait des estimations sur des opérateurs intégraux de Fourier. Les hypothèses exactes et les implications restent à examiner dans les preuves publiées.", "impact": "Des passerelles possibles entre géométrie, analyse harmonique et ondes.", "caution": "Acceptation indépendante non établie ici." }, "es": { "title": "Suavizado local, Kakeya y restricción", "simple": "¿Qué espacio mínimo necesita una aguja muy fina para apuntar en todas las direcciones? Esa intuición conduce al problema de Kakeya.", "research": "OpenAI anuncia un teorema de suavizado local con consecuencias para Kakeya y la restricción de Stein.", "academic": "Una ecuación diferencial auxiliar produciría estimaciones para operadores integrales de Fourier. Es necesario revisar los supuestos y las deducciones en los materiales formales publicados.", "impact": "Posibles vínculos nuevos entre geometría, análisis armónico y ecuaciones de ondas.", "caution": "No consta aquí una validación independiente definitiva." }, "it": { "title": "Regolarizzazione locale, Kakeya e restrizione", "simple": "Quanto spazio serve per orientare un ago sottilissimo in ogni direzione? È l'intuizione dietro il problema di Kakeya.", "research": "OpenAI sostiene di aver risolto un risultato di regolarizzazione locale con implicazioni per Kakeya e la restrizione di Stein.", "academic": "Una PDE ausiliaria produrrebbe stime per operatori integrali di Fourier. Occorre verificare ipotesi e deduzioni negli artefatti formali rilasciati.", "impact": "Possibili collegamenti tra geometria, analisi armonica ed equazioni delle onde.", "caution": "La verifica indipendente definitiva non è documentata qui." } } }, { "id": "exponential-time-hypothesis", "org": "OpenAI", "topic": "Complexity theory", "published": "2026-10-26", "checked": "2026-10-29", "status": "independent-review-pending", "method": "AI-produced disproof; Lean formalization reported", "math": "ETH: 3-SAT ∉ 2^o(n) claimed false", "source": "https://openai.com/index/building-scientific-understanding-with-academic-communities/", "source_kind": "provider_announcement", "urls": { "en": "https://ai-tracking.sevensa.nl/en/discoveries/exponential-time-hypothesis/", "nl": "https://ai-tracking.sevensa.nl/nl/discoveries/exponential-time-hypothesis/", "de": "https://ai-tracking.sevensa.nl/de/discoveries/exponential-time-hypothesis/", "fr": "https://ai-tracking.sevensa.nl/fr/discoveries/exponential-time-hypothesis/", "es": "https://ai-tracking.sevensa.nl/es/discoveries/exponential-time-hypothesis/", "it": "https://ai-tracking.sevensa.nl/it/discoveries/exponential-time-hypothesis/" }, "translations": { "en": { "title": "A challenge to the Exponential Time Hypothesis", "simple": "Some puzzles seem to get overwhelmingly harder as they grow. A new AI-generated argument claims that a famous prediction about how quickly this happens is wrong.", "research": "The Exponential Time Hypothesis (ETH) asserts that 3-SAT admits no subexponential-time algorithm in the number of variables. OpenAI announced an AI-generated refutation and a Lean formalization; an external group is studying the implications.", "academic": "ETH is a fine-grained complexity assumption, usually expressed as the absence of an algorithm with running time 2^o(n) for 3-SAT on n variables. A verified refutation would unsettle conditional lower bounds across algorithms and parameterized complexity. It would NOT, on its own, establish P=NP or that practical SAT instances are easy.", "impact": "Could require re-examining many conditional hardness results, but no practical speedup or cryptographic break is established by this announcement.", "caution": "High-impact provider claim. Raw proof material is public; independent technical analysis remains essential." }, "nl": { "title": "Een aanval op de exponentiële-tijdhypothese", "simple": "Sommige puzzels worden razendsnel moeilijker als ze groter worden. Een nieuw AI-bewijs stelt dat een bekende aanname daarover onjuist is.", "research": "ETH stelt dat 3-SAT geen subexponentieel algoritme heeft; OpenAI publiceerde een tegenbewijs en Lean-formalisatie voor onderzoek.", "academic": "Formeel gaat het om een looptijd van 2^o(n) voor 3-SAT met n variabelen. Als het klopt, veranderen conditionele complexiteitsgrenzen. Het bewijst NIET dat P=NP.", "impact": "Mogelijke herziening van ondergrenzen in de algoritmiek.", "caution": "Onafhankelijke inhoudelijke beoordeling is nog nodig." }, "de": { "title": "Ein Angriff auf die Exponentialzeithypothese", "simple": "Viele Rätsel scheinen mit ihrer Größe explosionsartig schwieriger zu werden. Ein KI-Beweis stellt diese Annahme infrage.", "research": "Die ETH schließt subexponentielle Algorithmen für 3-SAT aus; OpenAI meldet eine Widerlegung mit Lean-Formalisation.", "academic": "Die konkrete Behauptung betrifft Laufzeiten der Form 2^o(n) für 3-SAT. Eine Widerlegung würde bedingte untere Schranken berühren, aber weder P=NP noch praktische Effizienz beweisen.", "impact": "Mögliche Neubewertung theoretischer Komplexitätsgrenzen.", "caution": "Externe fachliche Prüfung bleibt erforderlich." }, "fr": { "title": "Une remise en cause de l'hypothèse du temps exponentiel", "simple": "Certaines énigmes deviennent très vite plus difficiles à mesure qu'elles grandissent. Une preuve produite par IA conteste cette idée.", "research": "L'ETH exclut les algorithmes sous-exponentiels pour 3-SAT ; OpenAI annonce une réfutation formalisée en Lean.", "academic": "Il s'agit précisément de temps d'exécution en 2^o(n) pour 3-SAT. Une réfutation bouleverserait des bornes conditionnelles, mais ne démontrerait pas P=NP.", "impact": "Possibilité de revoir des résultats de complexité théorique.", "caution": "Une analyse indépendante reste nécessaire." }, "es": { "title": "Una objeción a la hipótesis del tiempo exponencial", "simple": "Algunos acertijos se vuelven muchísimo más difíciles al crecer. Un argumento de IA cuestiona esta predicción.", "research": "La ETH descarta algoritmos subexponenciales para 3-SAT; OpenAI comunica una refutación con formalización en Lean.", "academic": "La afirmación se refiere a tiempos 2^o(n) para 3-SAT. Si se confirma, afectaría a límites inferiores condicionales, pero no probaría P=NP.", "impact": "Podría cambiar supuestos clave en teoría de algoritmos.", "caution": "Se requiere revisión técnica independiente." }, "it": { "title": "Una sfida all'ipotesi del tempo esponenziale", "simple": "Alcuni problemi diventano enormemente più difficili quando crescono. Un argomento prodotto dall'IA contesta questa previsione.", "research": "L'ETH esclude algoritmi subesponenziali per 3-SAT; OpenAI annuncia una confutazione formalizzata in Lean.", "academic": "La tesi riguarda tempi 2^o(n) per 3-SAT. Una confutazione cambierebbe numerosi limiti inferiori condizionati, ma non dimostrerebbe P=NP.", "impact": "Potenziale revisione dei risultati di complessità.", "caution": "Serve una verifica indipendente approfondita." } } }, { "id": "navier-stokes-singularity", "org": "OpenAI", "topic": "Partial differential equations", "published": "2026-09-08", "checked": "2026-10-29", "status": "formalized-provider-reported", "method": "Analytical proof and Lean artifact published", "math": "∂ₜu + (u·∇)u = −∇p + νΔu + f", "source": "https://openai.com/index/navier-stokes-solution/", "source_kind": "provider_announcement", "urls": { "en": "https://ai-tracking.sevensa.nl/en/discoveries/navier-stokes-singularity/", "nl": "https://ai-tracking.sevensa.nl/nl/discoveries/navier-stokes-singularity/", "de": "https://ai-tracking.sevensa.nl/de/discoveries/navier-stokes-singularity/", "fr": "https://ai-tracking.sevensa.nl/fr/discoveries/navier-stokes-singularity/", "es": "https://ai-tracking.sevensa.nl/es/discoveries/navier-stokes-singularity/", "it": "https://ai-tracking.sevensa.nl/it/discoveries/navier-stokes-singularity/" }, "translations": { "en": { "title": "Can smooth fluid flow become singular?", "simple": "Picture a whirlpool spinning ever faster into an increasingly tiny region. Can the equations describing water or air become infinitely intense from a smooth start? OpenAI says its model constructed such an example.", "research": "OpenAI released an analytical and Lean-formalized construction of finite-time singularity for a three-dimensional Navier–Stokes flow, with smooth forcing and finite energy. This is framed as resolving the relevant forced case in the Clay Millennium formulation.", "academic": "The incompressible Navier–Stokes equations balance transport, pressure and viscosity. The announced construction starts with smooth finite-energy data, includes a smooth forcing term and develops singular behavior in finite time. The forcing assumptions and exact equivalence to Clay's formulations C/D matter. A Lean check is not identical to independent acceptance of all modeling and formulation choices.", "impact": "A genuine resolution would transform our understanding of regularity in nonlinear PDE. It does not imply that everyday fluid simulations universally fail.", "caution": "A Lean formalization is reported. The Clay Mathematics Institute has not been verified here as awarding or officially certifying the prize." }, "nl": { "title": "Kan een gladde vloeistofstroming singulier worden?", "simple": "Stel je een draaikolk voor die steeds sneller draait in een steeds kleiner gebied. Kunnen stromingsvergelijkingen vanuit een glad begin onbeheersbaar worden?", "research": "OpenAI publiceerde een analytische constructie en Lean-formalisatie voor een singulariteit in eindige tijd, met gladde externe kracht en eindige energie.", "academic": "De Navier–Stokes-vergelijkingen combineren transport, druk en viscositeit. De exacte aannames over de kracht en de betekenis voor Clay-formuleringen C/D vereisen onafhankelijke controle.", "impact": "Mogelijke doorbraak in de theorie van niet-lineaire differentiaalvergelijkingen.", "caution": "Lean-formalisatie gemeld; geen hier gecontroleerde officiële Clay-certificering." }, "de": { "title": "Kann glatte Strömung singulär werden?", "simple": "Man stelle sich einen Wirbel vor, der sich auf immer kleinerem Raum immer schneller dreht.", "research": "OpenAI veröffentlichte einen analytischen und in Lean formalisierten Singularitätsbeweis für Navier–Stokes mit glatter äußerer Kraft.", "academic": "Die Gleichungen koppeln Transport, Druck und Viskosität. Die Voraussetzungen der äußeren Kraft und ihre Bedeutung für die Clay-Formulierungen C/D müssen extern geprüft werden.", "impact": "Möglicher Wendepunkt für die Regularitätstheorie nichtlinearer PDEs.", "caution": "Kein hier bestätigter offizieller Clay-Preisentscheid." }, "fr": { "title": "Un écoulement lisse peut-il devenir singulier ?", "simple": "Imaginez un tourbillon de plus en plus rapide concentré dans un volume minuscule.", "research": "OpenAI publie une construction analytique et Lean d'une singularité en temps fini pour Navier–Stokes avec force externe lisse.", "academic": "Transport, pression et viscosité interviennent dans ces équations. Les hypothèses sur la force et la correspondance aux formulations C/D du Clay Institute demandent un examen indépendant.", "impact": "Impact potentiel sur la régularité des équations différentielles non linéaires.", "caution": "Aucune certification officielle du prix Clay n'est confirmée ici." }, "es": { "title": "¿Puede un flujo suave volverse singular?", "simple": "Imagina un remolino que gira cada vez más rápido en una región cada vez más pequeña.", "research": "OpenAI publicó una construcción analítica y en Lean de una singularidad en tiempo finito para Navier–Stokes con fuerza externa suave.", "academic": "Las ecuaciones combinan transporte, presión y viscosidad. Los supuestos de la fuerza y su relación con las formulaciones C/D del Clay Institute requieren revisión independiente.", "impact": "Posible avance en ecuaciones diferenciales no lineales.", "caution": "No consta aquí una certificación oficial del premio Clay." }, "it": { "title": "Un flusso regolare può diventare singolare?", "simple": "Immagina un vortice sempre più veloce concentrato in uno spazio minuscolo.", "research": "OpenAI pubblica una costruzione analitica e in Lean di una singolarità in tempo finito per Navier–Stokes con forzante regolare.", "academic": "Le equazioni collegano trasporto, pressione e viscosità. Le ipotesi sulla forzante e le formulazioni C/D del Clay Institute vanno esaminate indipendentemente.", "impact": "Potenziale svolta nella teoria delle PDE non lineari.", "caution": "Nessuna certificazione ufficiale del premio Clay è verificata qui." } } }, { "id": "fermat-formal-proof", "org": "Anthropic", "topic": "Formal verification", "published": "2026-09-04", "checked": "2026-10-29", "status": "external-expert-comment", "method": "Lean proof; external expert commentary", "math": "aⁿ + bⁿ ≠ cⁿ, n > 2", "source": "https://www.anthropic.com/research/formalizing-fermats-last-theorem", "source_kind": "provider_announcement", "urls": { "en": "https://ai-tracking.sevensa.nl/en/discoveries/fermat-formal-proof/", "nl": "https://ai-tracking.sevensa.nl/nl/discoveries/fermat-formal-proof/", "de": "https://ai-tracking.sevensa.nl/de/discoveries/fermat-formal-proof/", "fr": "https://ai-tracking.sevensa.nl/fr/discoveries/fermat-formal-proof/", "es": "https://ai-tracking.sevensa.nl/es/discoveries/fermat-formal-proof/", "it": "https://ai-tracking.sevensa.nl/it/discoveries/fermat-formal-proof/" }, "translations": { "en": { "title": "Fermat's Last Theorem, checked by a machine", "simple": "There are no positive whole numbers a, b and c with aⁿ + bⁿ = cⁿ for n bigger than two. Humans proved this in the 1990s. Claude's new achievement is turning the proof into instructions a computer can check.", "research": "Anthropic reports that Claude produced an end-to-end Lean formalization in 11 days, with approximately 29,500 intermediate theorems. Mathematician Kevin Buzzard publicly commented on the resulting artifact.", "academic": "This is an autoformalization result, not a newly discovered proof of an open conjecture. In Lean, each proof term is checked against axioms and library definitions by a small kernel. Trust still depends on the assumptions, formal statement and checker; it is not evidence that the model's private reasoning has been revealed.", "impact": "Demonstrates a possible path to auditing long mathematical arguments at scale, reducing verification labor while shifting attention to specifications and dependencies.", "caution": "The theorem was already proved by Andrew Wiles. Formal verification does not establish that every explanatory step in natural language is correct." }, "nl": { "title": "De laatste stelling van Fermat, machinaal gecontroleerd", "simple": "Voor n groter dan twee bestaan geen positieve gehele a, b en c met aⁿ + bⁿ = cⁿ. Mensen bewezen dit al; Claude formaliseerde het.", "research": "Anthropic meldt dat Claude in elf dagen een volledig Lean-bewijs met circa 29.500 tussenstellingen maakte; Kevin Buzzard gaf commentaar.", "academic": "Dit is formalisering, geen oplossing van een nog open probleem. De Lean-kernel toetst bewijster­men tegen expliciete definities en axioma's; correcte specificaties blijven essentieel.", "impact": "Maakt grootschalige controle van ingewikkelde bewijzen voorstelbaar.", "caution": "De stelling was eerder door Andrew Wiles bewezen; formele controle verklaart niet hoe het model intern dacht." }, "de": { "title": "Fermats letzter Satz, maschinell geprüft", "simple": "Für n größer als zwei gibt es keine positiven ganzen a, b, c mit aⁿ + bⁿ = cⁿ. Der Satz war bereits bewiesen; Claude formalisierte ihn.", "research": "Anthropic berichtet über eine vollständige Lean-Formalisation in elf Tagen; Kevin Buzzard kommentierte das Artefakt.", "academic": "Dies ist eine Autoformalisierung, keine neue Lösung eines offenen Problems. Der Lean-Kernel prüft Beweisterme relativ zu Axiomen und Definitionen.", "impact": "Weniger manueller Aufwand bei der Überprüfung langer Beweise.", "caution": "Der Satz wurde bereits von Andrew Wiles bewiesen." }, "fr": { "title": "Le dernier théorème de Fermat, vérifié par machine", "simple": "Pour n supérieur à deux, aucun entier positif a, b, c ne satisfait aⁿ + bⁿ = cⁿ. Le théorème était déjà démontré ; Claude l'a formalisé.", "research": "Anthropic annonce une formalisation Lean complète en onze jours, commentée par Kevin Buzzard.", "academic": "Il s'agit d'autoformalisation, non de la résolution d'une conjecture ouverte. Le noyau Lean vérifie des termes de preuve relativement à leurs axiomes et définitions.", "impact": "Vers une vérification plus accessible des longues démonstrations.", "caution": "Le théorème avait déjà été prouvé par Andrew Wiles." }, "es": { "title": "El último teorema de Fermat, verificado por máquina", "simple": "Para n mayor que dos no existen enteros positivos a, b, c con aⁿ + bⁿ = cⁿ. Ya estaba demostrado; Claude lo formalizó.", "research": "Anthropic comunica una formalización completa en Lean realizada en once días y comentada por Kevin Buzzard.", "academic": "Es un logro de formalización automática, no la solución de una conjetura abierta. El núcleo de Lean comprueba pruebas frente a axiomas y definiciones.", "impact": "Potencial para acelerar la revisión de demostraciones largas.", "caution": "Andrew Wiles ya había demostrado el teorema." }, "it": { "title": "L'ultimo teorema di Fermat, verificato da una macchina", "simple": "Per n maggiore di due non esistono interi positivi a, b, c con aⁿ + bⁿ = cⁿ. Il teorema era già noto; Claude lo ha formalizzato.", "research": "Anthropic riporta una formalizzazione completa in Lean realizzata in undici giorni e commentata da Kevin Buzzard.", "academic": "È un risultato di autoformalizzazione, non la soluzione di una congettura aperta. Il kernel Lean controlla le prove rispetto ad assiomi e definizioni.", "impact": "Possibile riduzione del lavoro di verifica dei grandi teoremi.", "caution": "Il risultato matematico era già stato dimostrato da Andrew Wiles." } } }, { "id": "riemann-zeros-proportion", "org": "Anthropic", "topic": "Number theory", "published": "2026-08-10", "checked": "2026-10-29", "status": "expert-scrutiny-reported", "method": "Mathematicians examined proof; formal artifact reported", "math": "Proportion of zeros on Re(s)=½: ≥ 67.2% (claimed)", "source": "https://www.anthropic.com/research/riemann-zeta", "source_kind": "provider_announcement", "urls": { "en": "https://ai-tracking.sevensa.nl/en/discoveries/riemann-zeros-proportion/", "nl": "https://ai-tracking.sevensa.nl/nl/discoveries/riemann-zeros-proportion/", "de": "https://ai-tracking.sevensa.nl/de/discoveries/riemann-zeros-proportion/", "fr": "https://ai-tracking.sevensa.nl/fr/discoveries/riemann-zeros-proportion/", "es": "https://ai-tracking.sevensa.nl/es/discoveries/riemann-zeros-proportion/", "it": "https://ai-tracking.sevensa.nl/it/discoveries/riemann-zeros-proportion/" }, "translations": { "en": { "title": "More Riemann zeros on the critical line", "simple": "Prime numbers follow a mysterious pattern. Claude did not solve the famous Riemann Hypothesis, but its researchers say it raised the minimum known share of certain zeros lying on the crucial line from 41.6% to 67.2%.", "research": "An unreleased Claude system improved a lower bound for the proportion of nontrivial zeros of the Riemann zeta function on the critical line. Anthropic reports internal verification, external expert examination and a formal proof artifact.", "academic": "For ζ(s), the Riemann Hypothesis asserts that every nontrivial zero has real part 1/2. A positive-proportion theorem gives a lower bound on zeros lying on that line; increasing the proven fraction is distinct from establishing 100%. The announced 67.2% bound and its assumptions must be read with the paper and formalization.", "impact": "Advances analytic number theory and showcases AI assistance in delicate estimates, without resolving the distribution of all nontrivial zeros.", "caution": "Do not label this a proof of the Riemann Hypothesis. Third-party examination is reported, not independently re-performed by this site." }, "nl": { "title": "Meer zèta-nulpunten op de kritieke lijn", "simple": "Priemgetallen hebben een raadselachtig patroon. Claude loste de Riemann-hypothese niet op, maar verhoogde volgens Anthropic een bekende ondergrens van 41,6% naar 67,2%.", "research": "Het gaat om het aandeel niet-triviale nulpunten van ζ(s) met reëel deel 1/2. Anthropic meldt toetsing door wiskundigen en een formeel bewijs.", "academic": "De Riemann-hypothese verlangt 100% van de relevante nulpunten op de kritieke lijn; een verbeterde ondergrens is een ander resultaat.", "impact": "Vooruitgang in analytische getaltheorie en bewijsconstructie.", "caution": "De Riemann-hypothese blijft onopgelost." }, "de": { "title": "Mehr Zeta-Nullstellen auf der kritischen Linie", "simple": "Claude löste die Riemannsche Vermutung nicht. Anthropic berichtet aber eine Erhöhung der nachweisbaren Untergrenze von 41,6 % auf 67,2 %.", "research": "Untersucht wird der Anteil nichttrivialer Nullstellen von ζ(s) mit Realteil 1/2; Prüfer und ein formales Artefakt werden genannt.", "academic": "Die Riemannsche Vermutung verlangt 100 %. Eine höhere bewiesene Untergrenze ist ein anderes mathematisches Ergebnis.", "impact": "Fortschritt in analytischer Zahlentheorie und formaler Beweisführung.", "caution": "Die Riemannsche Vermutung ist nicht bewiesen." }, "fr": { "title": "Davantage de zéros de Riemann sur la droite critique", "simple": "Claude n'a pas prouvé l'hypothèse de Riemann. Anthropic annonce cependant une borne inférieure passant de 41,6 % à 67,2 %.", "research": "Le résultat concerne la proportion des zéros non triviaux de ζ(s) de partie réelle 1/2 ; des experts ont examiné les travaux.", "academic": "L'hypothèse de Riemann exige 100 %. Une borne positive améliorée ne résout pas le problème complet.", "impact": "Progrès en théorie analytique des nombres et en preuve formelle.", "caution": "L'hypothèse de Riemann demeure ouverte." }, "es": { "title": "Más ceros de Riemann en la recta crítica", "simple": "Claude no resolvió la hipótesis de Riemann. Anthropic afirma haber elevado un límite inferior del 41,6 % al 67,2 %.", "research": "La cota afecta a la proporción de ceros no triviales de ζ(s) con parte real 1/2; se informa de revisión experta.", "academic": "La hipótesis de Riemann exige un 100 %. Aumentar un límite inferior demostrado es distinto de resolverla.", "impact": "Avance en teoría analítica de números y verificación formal.", "caution": "La hipótesis de Riemann sigue abierta." }, "it": { "title": "Più zeri di Riemann sulla retta critica", "simple": "Claude non ha dimostrato l'ipotesi di Riemann. Anthropic riporta però un miglioramento del limite inferiore dal 41,6% al 67,2%.", "research": "Il risultato riguarda gli zeri non banali di ζ(s) con parte reale 1/2; vengono riferite verifiche di esperti.", "academic": "L'ipotesi di Riemann richiede il 100%. Una migliore stima inferiore non dimostra l'intera ipotesi.", "impact": "Progressi nella teoria analitica dei numeri e nelle prove formali.", "caution": "L'ipotesi di Riemann resta aperta." } } }, { "id": "quantum-parallel-repetition", "org": "OpenAI", "topic": "Quantum complexity", "published": "2026-08-01", "checked": "2026-10-29", "status": "formalized-provider-reported", "method": "Provider announcement; formal certificates reported, not rerun here", "math": "Quantum complexity", "source": "https://openai.com/index/ten-advances-in-mathematics/", "source_kind": "provider_announcement", "urls": { "en": "https://ai-tracking.sevensa.nl/en/discoveries/quantum-parallel-repetition/", "nl": "https://ai-tracking.sevensa.nl/nl/discoveries/quantum-parallel-repetition/", "de": "https://ai-tracking.sevensa.nl/de/discoveries/quantum-parallel-repetition/", "fr": "https://ai-tracking.sevensa.nl/fr/discoveries/quantum-parallel-repetition/", "es": "https://ai-tracking.sevensa.nl/es/discoveries/quantum-parallel-repetition/", "it": "https://ai-tracking.sevensa.nl/it/discoveries/quantum-parallel-repetition/" }, "translations": { "en": { "title": "Does repeating a quantum game make cheating harder?", "simple": "Testing a strategy once leaves room for luck. Repeating the test should reduce the chance of passing every round. Quantum players may share entanglement, so proving the expected improvement requires special care.", "research": "The announcement reports an exponential parallel-repetition theorem for general two-player quantum games.", "academic": "The important question is how the value of a repeated game relates to the value of a single game under the exact strategy model. Shared entanglement and correlations between rounds mean that multiplying independent probabilities is not a proof. A careful reading must identify the dependence on the game parameters and the meaning of the exponential decay.", "impact": "Potentially strengthens theoretical foundations for quantum verification and complexity, where repeated tests are central tools.", "caution": "Do not infer that arbitrary repetitions are independent or that every quantum protocol immediately gains the same bound. The exact hypotheses remain decisive." }, "nl": { "title": "Maakt herhaling een kwantumspel moeilijker te misleiden?", "simple": "Bij één test kun je geluk hebben. Herhaling zou de kans om steeds te slagen moeten verkleinen. Kwantumspelers kunnen verstrengeling delen, waardoor dit niet vanzelf spreekt.", "research": "De aankondiging meldt een exponentiële parallelle-herhalingsstelling voor algemene kwantumspellen met twee spelers.", "academic": "Controleer hoe de waarde van het herhaalde spel zich verhoudt tot één ronde binnen het precieze strategiemodel. Verstrengeling en samenhang tussen rondes verhinderen een naïeve vermenigvuldiging van onafhankelijke kansen.", "impact": "Kan de theoretische basis van kwantumverificatie en complexiteit versterken.", "caution": "De uitkomst betekent niet dat alle herhalingen onafhankelijk zijn of elk protocol dezelfde grens krijgt." }, "de": { "title": "Erschwert Wiederholung das Bestehen eines Quantenspiels?", "simple": "Ein einzelner Test lässt Glück zu. Wiederholung soll die Chance senken, alle Runden zu bestehen. Quantenstrategien können jedoch Verschränkung teilen und Runden miteinander korrelieren.", "research": "Die Veröffentlichung meldet einen exponentiellen Parallelwiederholungssatz für allgemeine Quantenspiele mit zwei Spielern.", "academic": "Zu prüfen ist der Zusammenhang zwischen dem Wert des Einzelspiels und dem wiederholten Spiel im genauen Strategiemodell. Wegen Verschränkung genügt es nicht, unabhängige Wahrscheinlichkeiten zu multiplizieren. Die Abhängigkeit der Abklingrate von den Spielparametern ist wesentlich.", "impact": "Könnte theoretische Grundlagen für Quantenverifikation und Komplexität stärken.", "caution": "Nicht alle Wiederholungen sind unabhängig; konkrete Protokolle erhalten nicht automatisch dieselbe Garantie." }, "fr": { "title": "Répéter un jeu quantique rend-il la réussite plus difficile ?", "simple": "Un test unique laisse une place à la chance. Le répéter devrait réduire la possibilité de réussir toutes les manches. Mais les joueurs quantiques peuvent partager de l’intrication et corréler leurs stratégies.", "research": "Un théorème de répétition parallèle exponentielle est annoncé pour les jeux quantiques généraux à deux joueurs.", "academic": "Il faut relier la valeur du jeu répété à celle d’une manche dans le modèle exact de stratégies. L’intrication empêche de simplement multiplier des probabilités indépendantes. La dépendance de la décroissance envers les paramètres du jeu est déterminante.", "impact": "Peut renforcer les fondements théoriques de la vérification quantique et de la complexité.", "caution": "Les répétitions ne sont pas nécessairement indépendantes et chaque protocole ne bénéficie pas automatiquement de la même garantie." }, "es": { "title": "¿Repetir un juego cuántico dificulta superar todas las pruebas?", "simple": "Una sola prueba deja margen a la suerte. Repetirla debería disminuir la probabilidad de acertar siempre. Pero los jugadores cuánticos pueden compartir entrelazamiento y correlacionar sus estrategias.", "research": "La publicación anuncia un teorema de repetición paralela exponencial para juegos cuánticos generales de dos jugadores.", "academic": "Debe precisarse cómo se relaciona el valor del juego repetido con el de una ronda en el modelo de estrategias empleado. El entrelazamiento impide multiplicar sin más probabilidades independientes. La dependencia respecto a los parámetros del juego resulta esencial.", "impact": "Puede reforzar fundamentos teóricos de verificación cuántica y complejidad.", "caution": "Las rondas no son necesariamente independientes y cada protocolo no obtiene automáticamente la misma garantía." }, "it": { "title": "Ripetere un gioco quantistico rende più difficile superarlo?", "simple": "Una singola prova lascia spazio alla fortuna. Ripeterla dovrebbe ridurre la probabilità di riuscire sempre. I giocatori quantistici possono però condividere entanglement e correlare le strategie.", "research": "La pubblicazione annuncia un teorema di ripetizione parallela esponenziale per giochi quantistici generali a due giocatori.", "academic": "Va precisato il rapporto tra il valore del gioco ripetuto e quello di una singola prova nel modello di strategie adottato. L’entanglement impedisce di moltiplicare semplicemente probabilità indipendenti. Conta la dipendenza del decadimento dai parametri del gioco.", "impact": "Può rafforzare le basi teoriche della verifica quantistica e della complessità.", "caution": "Le ripetizioni non sono necessariamente indipendenti e ogni protocollo non ottiene automaticamente la stessa garanzia." } } }, { "id": "permanent-arithmetic-lower-bounds", "org": "OpenAI", "topic": "Complexity theory", "published": "2026-08-01", "checked": "2026-10-29", "status": "formalized-provider-reported", "method": "Provider announcement; formal certificates reported, not rerun here", "math": "Complexity theory", "source": "https://openai.com/index/ten-advances-in-mathematics/", "source_kind": "provider_announcement", "urls": { "en": "https://ai-tracking.sevensa.nl/en/discoveries/permanent-arithmetic-lower-bounds/", "nl": "https://ai-tracking.sevensa.nl/nl/discoveries/permanent-arithmetic-lower-bounds/", "de": "https://ai-tracking.sevensa.nl/de/discoveries/permanent-arithmetic-lower-bounds/", "fr": "https://ai-tracking.sevensa.nl/fr/discoveries/permanent-arithmetic-lower-bounds/", "es": "https://ai-tracking.sevensa.nl/es/discoveries/permanent-arithmetic-lower-bounds/", "it": "https://ai-tracking.sevensa.nl/it/discoveries/permanent-arithmetic-lower-bounds/" }, "translations": { "en": { "title": "How hard is it to compute the permanent?", "simple": "The determinant is a familiar way to combine a square matrix. Its cousin, the permanent, sums similar products without alternating signs. That small-looking change leads to a very different computational problem.", "research": "The release reports new arithmetic-circuit and formula lower bounds, including an arithmetic-formula bound of order n⁴/log n for the permanent.", "academic": "An arithmetic formula is a restricted computation model: intermediate results cannot be freely reused as in a general circuit. Therefore a formula lower bound must not be presented as the same lower bound for all circuits or all algorithms. The underlying field, allowed constants, uniformity assumptions and circuit class are essential parts of the theorem.", "impact": "Could advance methods for proving that algebraic computations intrinsically require substantial resources.", "caution": "This does not resolve P versus NP. A bound for one arithmetic computation model is not a universal software runtime lower bound." }, "nl": { "title": "Hoe moeilijk is het berekenen van de permanent?", "simple": "Een determinant combineert elementen van een vierkante matrix. De permanent telt vergelijkbare producten op, maar zonder afwisselende tekens. Dat kleine verschil maakt de berekening fundamenteel anders.", "research": "De publicatie meldt nieuwe ondergrenzen, waaronder orde n⁴/log n voor rekenkundige formules voor de permanent.", "academic": "Een rekenkundige formule mag tussenresultaten niet onbeperkt hergebruiken zoals een algemeen circuit. Een formulegrens geldt dus niet automatisch voor alle circuits of algoritmen. Het gebruikte lichaam, toegestane constanten en circuitklasse horen bij de exacte stelling.", "impact": "Mogelijke vooruitgang in methoden die noodzakelijke rekeninspanning aantonen.", "caution": "Dit lost P versus NP niet op en bewijst geen universele looptijdgrens voor software." }, "de": { "title": "Wie schwierig ist die Berechnung der Permanente?", "simple": "Die Determinante kombiniert Einträge einer quadratischen Matrix. Die Permanente summiert ähnliche Produkte ohne wechselnde Vorzeichen. Diese kleine Änderung führt zu einer anderen Rechenaufgabe.", "research": "Gemeldet werden neue untere Schranken für arithmetische Schaltkreise und Formeln, darunter eine Formelschranke der Größenordnung n⁴/log n für die Permanente.", "academic": "Eine arithmetische Formel darf Zwischenergebnisse nicht so frei wiederverwenden wie ein allgemeiner Schaltkreis. Eine Formelschranke ist daher keine identische Schranke für alle Algorithmen. Körper, Konstanten, Uniformität und genaue Modellklasse gehören zur Aussage.", "impact": "Möglicher Fortschritt bei Methoden zum Nachweis unvermeidbarer algebraischer Rechenkosten.", "caution": "Dies löst P gegen NP nicht. Eine Schranke in einem eingeschränkten Rechenmodell ist keine allgemeine Software-Laufzeitschranke." }, "fr": { "title": "Quelle est la difficulté du calcul du permanent ?", "simple": "Le déterminant combine les entrées d’une matrice carrée. Le permanent somme des produits similaires sans alterner les signes. Ce petit changement conduit à une difficulté de calcul très différente.", "research": "La publication annonce de nouvelles bornes inférieures pour circuits et formules arithmétiques, notamment une borne de l’ordre de n⁴/log n pour les formules calculant le permanent.", "academic": "Une formule arithmétique ne réutilise pas librement les résultats intermédiaires comme un circuit général. Sa borne ne s’applique donc pas automatiquement à tous les algorithmes. Corps, constantes, uniformité et classe exacte de calcul font partie du théorème.", "impact": "Peut faire progresser les méthodes démontrant qu’un calcul algébrique exige intrinsèquement des ressources.", "caution": "Cela ne résout pas P contre NP. Une borne dans un modèle restreint n’est pas une limite universelle des logiciels." }, "es": { "title": "¿Qué dificultad tiene calcular el permanente?", "simple": "El determinante combina elementos de una matriz cuadrada. El permanente suma productos parecidos sin alternar signos. Ese cambio aparentemente pequeño conduce a otro problema computacional.", "research": "Se anuncian nuevas cotas inferiores para circuitos y fórmulas aritméticas, incluida una cota de orden n⁴/log n para fórmulas que calculan el permanente.", "academic": "Una fórmula aritmética no reutiliza resultados intermedios libremente como un circuito general. Por ello su cota no se extiende automáticamente a todos los algoritmos. El cuerpo, las constantes, la uniformidad y la clase de cómputo forman parte del enunciado.", "impact": "Podría mejorar los métodos que demuestran recursos intrínsecamente necesarios en cálculos algebraicos.", "caution": "Esto no resuelve P frente a NP. Una cota en un modelo restringido no es un límite universal del tiempo de ejecución de software." }, "it": { "title": "Quanto è difficile calcolare il permanente?", "simple": "Il determinante combina gli elementi di una matrice quadrata. Il permanente somma prodotti simili senza alternare i segni. Questa piccola differenza cambia notevolmente il problema computazionale.", "research": "Sono annunciati nuovi limiti inferiori per circuiti e formule aritmetiche, compreso un limite di ordine n⁴/log n per formule che calcolano il permanente.", "academic": "Una formula aritmetica non riutilizza liberamente risultati intermedi come un circuito generale. Il suo limite non si estende quindi automaticamente a ogni algoritmo. Campo, costanti, uniformità e classe di calcolo fanno parte del teorema.", "impact": "Potrebbe far avanzare i metodi che dimostrano risorse intrinsecamente necessarie al calcolo algebrico.", "caution": "Non risolve P contro NP. Un limite in un modello ristretto non è una barriera universale al tempo dei programmi." } } }, { "id": "non-sofic-groups", "org": "OpenAI", "topic": "Group theory", "published": "2026-08-01", "checked": "2026-10-29", "status": "formalized-provider-reported", "method": "Provider announcement; formal certificates reported, not rerun here", "math": "Group theory", "source": "https://openai.com/index/ten-advances-in-mathematics/", "source_kind": "provider_announcement", "urls": { "en": "https://ai-tracking.sevensa.nl/en/discoveries/non-sofic-groups/", "nl": "https://ai-tracking.sevensa.nl/nl/discoveries/non-sofic-groups/", "de": "https://ai-tracking.sevensa.nl/de/discoveries/non-sofic-groups/", "fr": "https://ai-tracking.sevensa.nl/fr/discoveries/non-sofic-groups/", "es": "https://ai-tracking.sevensa.nl/es/discoveries/non-sofic-groups/", "it": "https://ai-tracking.sevensa.nl/it/discoveries/non-sofic-groups/" }, "translations": { "en": { "title": "Can every group be approximated by finite permutations?", "simple": "A group describes reversible operations and how they combine. One way to understand an infinite group is to imitate small portions using permutations of a finite set. Soficity asks whether increasingly accurate imitations of this kind are always possible.", "research": "OpenAI reports a construction of a non-sofic group. If accepted under the stated definition, this supplies a counterexample to the universal approximation conjecture.", "academic": "The central issue is approximation of multiplication relations with small normalized error, not whether the group has a finite presentation or a simple drawing. An audit must check exactly which relations are preserved, how approximation error is measured, and why every sufficiently accurate finite model is ruled out. A readable exposition and a machine-checked statement answer complementary questions.", "impact": "The result could clarify the limits of a broad approximation principle used across group theory and related operator-algebra questions.", "caution": "This is a source-reported construction with reported formalization. We have not independently checked the group construction or its certificate." }, "nl": { "title": "Kan elke groep worden benaderd door eindige permutaties?", "simple": "Een groep beschrijft omkeerbare bewerkingen. Een oneindige groep kun je proberen na te bootsen met verwisselingen van een eindige verzameling. Soficiteit vraagt of zulke steeds nauwkeurigere benaderingen altijd mogelijk zijn.", "research": "OpenAI meldt een constructie van een niet-sofische groep: een tegenvoorbeeld tegen die algemene benaderingsgedachte, mits het bewijs klopt.", "academic": "Het gaat om benadering van vermenigvuldigingsrelaties met kleine genormaliseerde fout. Controleer welke relaties behouden blijven, hoe de fout is gedefinieerd en waarom geen voldoende nauwkeurig eindig model mogelijk is. Een begrijpelijke uitleg en een formele controle vullen elkaar aan.", "impact": "Kan grenzen van een belangrijk benaderingsprincipe in de groepentheorie verduidelijken.", "caution": "De constructie en het formele certificaat zijn door deze website niet onafhankelijk gecontroleerd." }, "de": { "title": "Lässt sich jede Gruppe durch endliche Permutationen annähern?", "simple": "Eine Gruppe beschreibt umkehrbare Operationen. Teile einer unendlichen Gruppe versucht man durch Permutationen einer endlichen Menge nachzubilden. Sofizität fragt, ob immer genauere Nachbildungen möglich sind.", "research": "OpenAI meldet die Konstruktion einer nicht-sofischen Gruppe. Unter der angegebenen Definition wäre dies ein Gegenbeispiel zur allgemeinen Approximationsvermutung.", "academic": "Entscheidend ist die Approximation von Multiplikationsrelationen mit kleinem normiertem Fehler. Zu prüfen sind die erhaltenen Relationen, das Fehlermaß und der Ausschluss aller ausreichend genauen endlichen Modelle. Eine anschauliche Erklärung und eine formale Aussage erfüllen unterschiedliche Aufgaben.", "impact": "Das Ergebnis könnte Grenzen eines wichtigen Approximationsprinzips in der Gruppentheorie verdeutlichen.", "caution": "Konstruktion und formales Zertifikat sind Anbieterangaben; wir haben sie nicht unabhängig geprüft." }, "fr": { "title": "Tout groupe admet-il une approximation par permutations finies ?", "simple": "Un groupe décrit des opérations réversibles. Pour comprendre un groupe infini, on peut essayer d’en imiter des portions par des permutations d’un ensemble fini. La soficité demande si cela reste toujours possible avec une précision croissante.", "research": "OpenAI annonce une construction de groupe non sofique. Sous la définition indiquée, elle contredirait la conjecture générale d’approximation.", "academic": "L’enjeu est la préservation approximative des relations de multiplication avec une petite erreur normalisée. Il faut examiner les relations, la mesure d’erreur et l’exclusion de tout modèle fini suffisamment précis. Explication accessible et vérification formelle restent complémentaires.", "impact": "Pourrait préciser les limites d’un principe d’approximation important en théorie des groupes.", "caution": "La construction et son certificat sont rapportés par le fournisseur ; aucune vérification indépendante n’est effectuée ici." }, "es": { "title": "¿Puede todo grupo aproximarse mediante permutaciones finitas?", "simple": "Un grupo describe operaciones reversibles. Para entender un grupo infinito, podemos intentar imitar fragmentos con permutaciones de un conjunto finito. La soficidad pregunta si esas aproximaciones siempre pueden mejorar.", "research": "OpenAI anuncia la construcción de un grupo no sófico. Con la definición indicada, sería un contraejemplo a la conjetura general de aproximación.", "academic": "La cuestión es preservar aproximadamente relaciones de multiplicación con un error normalizado pequeño. Deben revisarse las relaciones conservadas, la medida del error y la exclusión de todos los modelos finitos suficientemente precisos. Explicación didáctica y certificado formal cumplen funciones complementarias.", "impact": "Podría delimitar un principio importante de aproximación en teoría de grupos.", "caution": "La construcción y el certificado son afirmaciones del proveedor; no se han comprobado independientemente aquí." }, "it": { "title": "Ogni gruppo si può approssimare con permutazioni finite?", "simple": "Un gruppo descrive operazioni reversibili. Per capire un gruppo infinito possiamo imitarne parti usando permutazioni di un insieme finito. La soficità chiede se queste imitazioni possano diventare sempre più accurate.", "research": "OpenAI annuncia una costruzione di un gruppo non sofico. Secondo la definizione indicata, sarebbe un controesempio alla congettura generale di approssimazione.", "academic": "Il problema è preservare approssimativamente relazioni di moltiplicazione con piccolo errore normalizzato. Bisogna verificare relazioni, misura dell’errore ed esclusione di ogni modello finito sufficientemente preciso. Spiegazione accessibile e controllo formale sono complementari.", "impact": "Potrebbe chiarire i limiti di un importante principio di approssimazione nella teoria dei gruppi.", "caution": "Costruzione e certificato sono riferiti dal fornitore; non sono stati verificati indipendentemente da questo sito." } } }, { "id": "multicolor-ramsey-triangles", "org": "OpenAI", "topic": "Extremal combinatorics", "published": "2026-08-01", "checked": "2026-10-29", "status": "formalized-provider-reported", "method": "Provider announcement; formal certificates reported, not rerun here", "math": "Extremal combinatorics", "source": "https://openai.com/index/ten-advances-in-mathematics/", "source_kind": "provider_announcement", "urls": { "en": "https://ai-tracking.sevensa.nl/en/discoveries/multicolor-ramsey-triangles/", "nl": "https://ai-tracking.sevensa.nl/nl/discoveries/multicolor-ramsey-triangles/", "de": "https://ai-tracking.sevensa.nl/de/discoveries/multicolor-ramsey-triangles/", "fr": "https://ai-tracking.sevensa.nl/fr/discoveries/multicolor-ramsey-triangles/", "es": "https://ai-tracking.sevensa.nl/es/discoveries/multicolor-ramsey-triangles/", "it": "https://ai-tracking.sevensa.nl/it/discoveries/multicolor-ramsey-triangles/" }, "translations": { "en": { "title": "How long can colors hide a monochromatic triangle?", "simple": "Connect every pair of people and give each connection a color. How large can the group become before some three people have all three connections in the same color?", "research": "The announcement reports a superexponential lower bound for multicolor triangle Ramsey numbers, linked to Erdős problem 183.", "academic": "A lower bound comes from constructing or proving the existence of colorings that avoid the forbidden triangle up to a certain size. It must not be confused with an upper bound forcing a triangle. Here the growth parameter is the number of colors. The quantifiers, asymptotic regime and exact meaning of superexponential growth matter for comparison with earlier work.", "impact": "Could substantially change expectations about how slowly unavoidable patterns emerge as additional colors are allowed.", "caution": "A stronger lower bound is not an exact formula for every Ramsey number. The proof is source-reported and has not been reproduced here." }, "nl": { "title": "Hoe lang kunnen kleuren een eenkleurige driehoek verbergen?", "simple": "Verbind elk paar mensen en geef iedere verbinding een kleur. Hoe groot kan de groep worden voordat drie mensen onderling drie verbindingen van dezelfde kleur hebben?", "research": "De aankondiging meldt een superexponentiële ondergrens voor meerkleurige driehoeks-Ramseygetallen, gekoppeld aan Erdős-probleem 183.", "academic": "Een ondergrens toont dat kleuringen zonder verboden driehoek tot een bepaalde grootte bestaan. Een bovengrens dwingt juist een driehoek af. Het aantal kleuren is hier de groeiparameter; kwantoren en asymptotisch regime zijn essentieel.", "impact": "Kan verwachtingen veranderen over het ontstaan van onvermijdelijke patronen bij meer kleuren.", "caution": "Een betere ondergrens is geen exacte formule voor alle Ramseygetallen; het bewijs is hier niet gereproduceerd." }, "de": { "title": "Wie lange können Farben ein einfarbiges Dreieck verbergen?", "simple": "Verbinde jedes Personenpaar und färbe jede Verbindung. Wie groß kann die Gruppe werden, bevor drei Personen durch drei gleichfarbige Verbindungen ein Dreieck bilden?", "research": "Gemeldet wird eine superexponentielle untere Schranke für mehrfarbige Dreiecks-Ramsey-Zahlen, verbunden mit Erdős-Problem 183.", "academic": "Eine untere Schranke zeigt die Existenz von Färbungen ohne verbotenes Dreieck bis zu einer bestimmten Größe. Eine obere Schranke erzwingt dagegen ein Dreieck. Hier wächst die Zahl der Farben; Quantoren und asymptotisches Regime sind für den Vergleich entscheidend.", "impact": "Könnte Erwartungen darüber verändern, wann bei zusätzlichen Farben unvermeidbare Muster entstehen.", "caution": "Eine bessere untere Schranke ist keine exakte Formel für jede Ramsey-Zahl. Der Beweis wurde hier nicht reproduziert." }, "fr": { "title": "Combien de temps les couleurs peuvent-elles cacher un triangle monochrome ?", "simple": "Reliez chaque paire de personnes et colorez chaque lien. Quelle taille peut atteindre le groupe sans qu’un trio possède trois liens de la même couleur ?", "research": "Une borne inférieure superexponentielle est annoncée pour les nombres de Ramsey multicolores des triangles, liée au problème 183 d’Erdős.", "academic": "Une borne inférieure prouve l’existence de colorations évitant le triangle jusqu’à une certaine taille ; une borne supérieure le force. Ici, le paramètre croissant est le nombre de couleurs. Quantificateurs et régime asymptotique sont indispensables à la comparaison.", "impact": "Peut modifier notre compréhension de l’apparition de motifs inévitables lorsque davantage de couleurs sont disponibles.", "caution": "Une meilleure borne inférieure ne fournit pas la valeur exacte de tous les nombres de Ramsey. Le travail n’est pas reproduit ici." }, "es": { "title": "¿Cuánto pueden ocultar los colores un triángulo monocromático?", "simple": "Conecta cada pareja de personas y asigna un color a cada conexión. ¿Qué tamaño puede tener el grupo sin que tres personas compartan tres conexiones del mismo color?", "research": "Se anuncia una cota inferior superexponencial para números de Ramsey multicolores de triángulos, vinculada al problema 183 de Erdős.", "academic": "Una cota inferior prueba que existen coloraciones sin el triángulo prohibido hasta cierto tamaño; una superior fuerza su aparición. Aquí crece el número de colores. Cuantificadores y régimen asintótico son esenciales para comparar resultados.", "impact": "Podría cambiar las expectativas sobre la aparición de patrones inevitables al permitir más colores.", "caution": "Una mejor cota inferior no es una fórmula exacta para todos los números de Ramsey. El argumento no se ha reproducido aquí." }, "it": { "title": "Per quanto tempo i colori possono nascondere un triangolo monocromatico?", "simple": "Collega ogni coppia di persone e colora ogni collegamento. Quanto può essere grande il gruppo prima che un terzetto abbia tutti e tre i collegamenti dello stesso colore?", "research": "Si annuncia un limite inferiore superesponenziale per i numeri di Ramsey multicolori dei triangoli, legato al problema 183 di Erdős.", "academic": "Un limite inferiore dimostra l’esistenza di colorazioni prive del triangolo vietato fino a una certa dimensione; un limite superiore ne impone la comparsa. Qui cresce il numero di colori. Quantificatori e regime asintotico sono indispensabili per confrontare i risultati.", "impact": "Può cambiare le aspettative sull’emergere di schemi inevitabili quando sono disponibili più colori.", "caution": "Un migliore limite inferiore non è una formula esatta per ogni numero di Ramsey. La prova non è stata riprodotta qui." } } }, { "id": "high-dimensional-sphere-packing", "org": "OpenAI", "topic": "Discrete geometry", "published": "2026-08-01", "checked": "2026-10-29", "status": "formalized-provider-reported", "method": "Provider announcement; formal certificates reported, not rerun here", "math": "Discrete geometry", "source": "https://openai.com/index/ten-advances-in-mathematics/", "source_kind": "provider_announcement", "urls": { "en": "https://ai-tracking.sevensa.nl/en/discoveries/high-dimensional-sphere-packing/", "nl": "https://ai-tracking.sevensa.nl/nl/discoveries/high-dimensional-sphere-packing/", "de": "https://ai-tracking.sevensa.nl/de/discoveries/high-dimensional-sphere-packing/", "fr": "https://ai-tracking.sevensa.nl/fr/discoveries/high-dimensional-sphere-packing/", "es": "https://ai-tracking.sevensa.nl/es/discoveries/high-dimensional-sphere-packing/", "it": "https://ai-tracking.sevensa.nl/it/discoveries/high-dimensional-sphere-packing/" }, "translations": { "en": { "title": "How tightly can spheres fill high-dimensional space?", "simple": "Packing identical oranges is familiar in three dimensions. Replace the room by a space with many independent coordinates and the same question becomes much harder: how much of the space can disjoint equal balls occupy?", "research": "The August release reports new upper bounds reaching the Cohn–Elkies threshold. An upper bound limits every possible packing; it is different from constructing a packing that achieves the bound.", "academic": "The key conceptual separation is between feasible arrangements and certificates that rule out denser arrangements. In high dimensions, a bound can improve the exponential rate without determining the optimal configuration. A useful audit would compare the precise dimension range, asymptotic statement and certificate assumptions with earlier bounds. This page explains the significance; it does not reconstruct the released proof.", "impact": "Potentially sharper limits for geometric coding and a better understanding of the gap between construction and impossibility. These are theoretical implications, not measured engineering gains.", "caution": "Do not read a new upper bound as an exact solution of sphere packing in every dimension. Lean artifacts are reported by the provider, not recompiled by this site." }, "nl": { "title": "Hoe dicht kunnen bollen een hoogdimensionale ruimte vullen?", "simple": "Sinaasappels stapelen is vertrouwd. Vervang de kamer door een ruimte met veel onafhankelijke richtingen: welk deel daarvan kan worden gevuld met gelijke bollen die elkaar niet overlappen?", "research": "De publicatie meldt nieuwe bovengrenzen op het niveau van Cohn–Elkies. Een bovengrens beperkt alle mogelijke stapelingen; zij levert niet vanzelf een stapeling die de grens haalt.", "academic": "Het onderscheid tussen een constructie en een onmogelijkheidsbewijs is essentieel. In hoge dimensies kan een verbeterde exponent veel betekenen zonder de exacte optimale configuratie te bepalen. Controleer dimensiebereik, asymptotische formulering en aannames van het certificaat.", "impact": "Mogelijk scherpere theoretische grenzen voor meetkundige codes; geen gemeten praktische winst.", "caution": "Geen exacte oplossing voor alle dimensies. De gemelde Lean-certificaten zijn hier niet opnieuw uitgevoerd." }, "de": { "title": "Wie dicht lassen sich Kugeln in hohen Dimensionen packen?", "simple": "Orangen zu stapeln ist vertraut. In einem Raum mit vielen unabhängigen Koordinaten fragt man ebenfalls, welcher Anteil durch gleich große, nicht überlappende Kugeln ausgefüllt werden kann.", "research": "Die Veröffentlichung meldet neue obere Dichteschranken bis zur Cohn–Elkies-Schwelle. Eine obere Schranke begrenzt jede Packung; sie konstruiert nicht automatisch eine optimale Anordnung.", "academic": "Zu unterscheiden sind konkrete Konstruktionen und Zertifikate, die dichtere Packungen ausschließen. Eine bessere asymptotische Rate liefert noch keine exakte Lösung für jede Dimension. Prüfen sollte man Dimensionsbereich, Grenzübergang und Annahmen des Zertifikats.", "impact": "Möglicherweise schärfere theoretische Grenzen für geometrische Codes; ein praktischer Leistungsgewinn ist nicht gemessen.", "caution": "Keine exakte Lösung in allen Dimensionen. Die vom Anbieter genannten Lean-Zertifikate wurden hier nicht erneut ausgeführt." }, "fr": { "title": "Quelle densité peuvent atteindre les empilements de sphères en grande dimension ?", "simple": "Empiler des oranges est familier. Dans un espace ayant de nombreuses coordonnées indépendantes, on demande quelle fraction peut être occupée par des boules identiques sans recouvrement.", "research": "La publication annonce de nouvelles bornes supérieures atteignant le seuil de Cohn–Elkies. Une borne supérieure limite tout empilement ; elle ne construit pas nécessairement un arrangement optimal.", "academic": "Il faut distinguer constructions réalisables et certificats excluant une densité supérieure. Une amélioration du taux asymptotique ne donne pas une solution exacte pour chaque dimension. Domaine des dimensions, hypothèses et formulation du certificat demandent une vérification séparée.", "impact": "Des limites théoriques potentiellement plus précises pour les codes géométriques, sans gain pratique mesuré.", "caution": "Aucune solution exacte en toute dimension n’est établie ici. Les certificats Lean annoncés n’ont pas été réexécutés." }, "es": { "title": "¿Con qué densidad pueden empaquetarse esferas en muchas dimensiones?", "simple": "Apilar naranjas resulta familiar. En un espacio con muchas coordenadas independientes también preguntamos qué fracción pueden ocupar bolas iguales que no se solapen.", "research": "La publicación anuncia nuevas cotas superiores hasta el umbral de Cohn–Elkies. Una cota superior limita cualquier disposición; no construye necesariamente una que alcance ese valor.", "academic": "Hay que distinguir construcciones posibles y certificados que excluyen mayor densidad. Mejorar una tasa asintótica no resuelve exactamente todas las dimensiones. Deben comprobarse el rango dimensional, las hipótesis y el enunciado formal del certificado.", "impact": "Podría precisar los límites teóricos de códigos geométricos; no se ha medido una mejora práctica.", "caution": "No es una solución exacta en todas las dimensiones. Aquí no se ejecutaron de nuevo los certificados Lean anunciados." }, "it": { "title": "Quanto possono essere dense le sfere in molte dimensioni?", "simple": "Impilare arance è familiare. In uno spazio con molte coordinate indipendenti chiediamo analogamente quale frazione possa essere occupata da sfere uguali senza sovrapposizione.", "research": "La pubblicazione annuncia nuovi limiti superiori fino alla soglia di Cohn–Elkies. Un limite superiore vincola ogni disposizione, ma non costruisce necessariamente quella ottimale.", "academic": "Occorre distinguere costruzioni realizzabili e certificati che escludono densità maggiori. Migliorare un tasso asintotico non risolve esattamente ogni dimensione. Vanno controllati intervallo dimensionale, ipotesi e formulazione del certificato.", "impact": "Possibili limiti teorici più precisi per codici geometrici; nessun beneficio pratico è stato misurato qui.", "caution": "Non è una soluzione esatta in tutte le dimensioni. I certificati Lean annunciati non sono stati rieseguiti." } } }, { "id": "extremal-graph-conjectures", "org": "OpenAI", "topic": "Extremal graph theory", "published": "2026-08-01", "checked": "2026-10-29", "status": "formalized-provider-reported", "method": "Provider announcement; formal certificates reported, not rerun here", "math": "Extremal graph theory", "source": "https://openai.com/index/ten-advances-in-mathematics/", "source_kind": "provider_announcement", "urls": { "en": "https://ai-tracking.sevensa.nl/en/discoveries/extremal-graph-conjectures/", "nl": "https://ai-tracking.sevensa.nl/nl/discoveries/extremal-graph-conjectures/", "de": "https://ai-tracking.sevensa.nl/de/discoveries/extremal-graph-conjectures/", "fr": "https://ai-tracking.sevensa.nl/fr/discoveries/extremal-graph-conjectures/", "es": "https://ai-tracking.sevensa.nl/es/discoveries/extremal-graph-conjectures/", "it": "https://ai-tracking.sevensa.nl/it/discoveries/extremal-graph-conjectures/" }, "translations": { "en": { "title": "How dense can a graph be without creating a forbidden pattern?", "simple": "A graph is a network of points and links. Add enough links and particular patterns become unavoidable. Extremal graph theory asks where that transition occurs.", "research": "The release reports results on compactness and degeneracy conjectures, associated with Erdős problems 146 and 180.", "academic": "The forbidden graph, asymptotic variable and density notion must be fixed before comparing bounds. Degeneracy constrains how sparse every subgraph can remain under successive deletion. Compactness questions concern whether restrictions from a family can be captured by finitely many members in the relevant extremal sense. These are distinct claims and should be audited separately within the released manuscript.", "impact": "Potentially improves the structural tools used to connect local constraints with global network density.", "caution": "This dossier groups the related announcement rather than counting it as several independent verified wins. We have not reproduced the proofs." }, "nl": { "title": "Hoe dicht kan een graaf worden zonder een verboden patroon?", "simple": "Een graaf is een netwerk van punten en verbindingen. Bij voldoende verbindingen worden bepaalde patronen onvermijdelijk. Extremale grafentheorie onderzoekt die grens.", "research": "De publicatie meldt resultaten over compactheid en degeneratie, gekoppeld aan Erdős-problemen 146 en 180.", "academic": "Leg eerst de verboden graaf, groeivariabele en dichtheidsmaat vast. Degeneratie beschrijft een vorm van ijlheid van deelgrafen. Compactheidsvragen onderzoeken of een familie beperkingen met een eindige selectie kan worden gevangen. De verschillende claims vragen afzonderlijke controle.", "impact": "Kan structurele hulpmiddelen versterken voor de relatie tussen lokale beperkingen en netwerkgrootte.", "caution": "Deze aankondiging telt als één dossier, niet als meerdere onafhankelijk bewezen overwinningen." }, "de": { "title": "Wie dicht kann ein Graph ohne verbotenes Muster werden?", "simple": "Ein Graph besteht aus Punkten und Verbindungen. Fügt man genügend Verbindungen hinzu, werden bestimmte Muster unvermeidbar. Extremale Graphentheorie untersucht diese Schwelle.", "research": "Die Veröffentlichung meldet Resultate zu Kompaktheits- und Degenerationsvermutungen, verbunden mit Erdős-Problemen 146 und 180.", "academic": "Vor einem Vergleich sind verbotener Graph, Wachstumsvariable und Dichtebegriff festzulegen. Degeneration beschreibt eine Form von Sparsität der Teilgraphen. Kompaktheitsfragen betreffen die Reduktion einer Beschränkungsfamilie auf endlich viele Mitglieder. Die Aussagen sind getrennt zu prüfen.", "impact": "Könnte Werkzeuge zur Verbindung lokaler Einschränkungen mit globaler Netzwerkdichte verbessern.", "caution": "Das Dossier fasst verwandte Aussagen zusammen, ohne sie als mehrere unabhängig bestätigte Erfolge zu zählen." }, "fr": { "title": "Quelle densité pour un graphe sans motif interdit ?", "simple": "Un graphe est un réseau de points et de liens. Avec assez de liens, certains motifs deviennent inévitables. La théorie extrémale des graphes étudie cette transition.", "research": "L’annonce présente des résultats sur des conjectures de compacité et de dégénérescence, liés aux problèmes 146 et 180 d’Erdős.", "academic": "Avant de comparer les bornes, il faut fixer le graphe interdit, la variable de croissance et la notion de densité. La dégénérescence mesure une forme de parcimonie des sous-graphes ; la compacité concerne la réduction d’une famille de restrictions à un nombre fini. Ces affirmations doivent être examinées séparément.", "impact": "Peut améliorer les outils reliant contraintes locales et densité globale des réseaux.", "caution": "Ce dossier regroupe l’annonce sans compter chaque affirmation comme une victoire indépendamment validée." }, "es": { "title": "¿Qué densidad puede alcanzar un grafo sin un patrón prohibido?", "simple": "Un grafo es una red de puntos y conexiones. Con suficientes conexiones algunos patrones son inevitables. La teoría extremal de grafos estudia esa transición.", "research": "El anuncio presenta resultados sobre conjeturas de compacidad y degeneración relacionados con los problemas 146 y 180 de Erdős.", "academic": "Para comparar cotas hay que fijar el grafo prohibido, la variable de crecimiento y la medida de densidad. La degeneración expresa cierta escasez de conexiones en subgrafos; la compacidad pregunta si una familia de restricciones puede reducirse a una selección finita. Las afirmaciones deben auditarse por separado.", "impact": "Podría mejorar herramientas que relacionan restricciones locales con densidad global de redes.", "caution": "Este informe agrupa resultados relacionados sin contarlos como varias victorias verificadas de manera independiente." }, "it": { "title": "Quanto può essere denso un grafo senza un motivo vietato?", "simple": "Un grafo è una rete di punti e collegamenti. Con abbastanza collegamenti, alcuni motivi diventano inevitabili. La teoria estremale dei grafi studia questa transizione.", "research": "L’annuncio presenta risultati su congetture di compattezza e degenerazione, associati ai problemi 146 e 180 di Erdős.", "academic": "Prima di confrontare limiti vanno fissati grafo vietato, variabile di crescita e nozione di densità. La degenerazione esprime una forma di scarsità nei sottografi; la compattezza riguarda la riduzione di una famiglia di vincoli a un insieme finito. Le affermazioni richiedono verifiche separate.", "impact": "Può migliorare gli strumenti che collegano vincoli locali e densità globale delle reti.", "caution": "Il dossier raggruppa risultati correlati senza contarli come più successi verificati indipendentemente." } } }, { "id": "ehrhart-volume-conjecture", "org": "OpenAI", "topic": "Convex geometry", "published": "2026-08-01", "checked": "2026-10-29", "status": "formalized-provider-reported", "method": "Provider announcement; formal certificates reported, not rerun here", "math": "Convex geometry", "source": "https://openai.com/index/ten-advances-in-mathematics/", "source_kind": "provider_announcement", "urls": { "en": "https://ai-tracking.sevensa.nl/en/discoveries/ehrhart-volume-conjecture/", "nl": "https://ai-tracking.sevensa.nl/nl/discoveries/ehrhart-volume-conjecture/", "de": "https://ai-tracking.sevensa.nl/de/discoveries/ehrhart-volume-conjecture/", "fr": "https://ai-tracking.sevensa.nl/fr/discoveries/ehrhart-volume-conjecture/", "es": "https://ai-tracking.sevensa.nl/es/discoveries/ehrhart-volume-conjecture/", "it": "https://ai-tracking.sevensa.nl/it/discoveries/ehrhart-volume-conjecture/" }, "translations": { "en": { "title": "How large can a convex body with one interior lattice point be?", "simple": "Take a solid shape without dents and place it on an integer grid. Suppose its center of mass is the only grid point strictly inside. How much volume can the shape have?", "research": "The August release reports a resolution of Ehrhart’s volume conjecture in every dimension for the stated centroid condition.", "academic": "The centroid condition carries real mathematical content: merely requiring one interior lattice point is a different problem. One must also specify the ambient lattice and the normalization of volume. A robust verification checks that the formal statement uses the same interior, centroid and convexity assumptions as the natural-language theorem.", "impact": "Potentially connects discrete lattice constraints to continuous geometric size, with implications for the geometry of numbers.", "caution": "The result applies to a precisely constrained class of convex bodies. This page has not checked the formal certificate or classified equality cases." }, "nl": { "title": "Hoe groot kan een convex lichaam met één inwendig roosterpunt zijn?", "simple": "Leg een vorm zonder deuken op een rooster van gehele getallen. Het zwaartepunt is het enige roosterpunt strikt binnen de vorm. Hoe groot kan het volume worden?", "research": "De publicatie meldt een oplossing van Ehrharts volumeconjectuur in elke dimensie, onder de genoemde zwaartepuntvoorwaarde.", "academic": "Die voorwaarde is essentieel: alleen één inwendig roosterpunt eisen is een andere vraag. Ook roosterkeuze en volumenormalisatie tellen mee. Vergelijk de definities van inwendig, zwaartepunt en convexiteit in de formele en gewone formulering.", "impact": "Mogelijke nieuwe verbinding tussen discrete roosterbeperkingen en continue meetkunde.", "caution": "De stelling geldt voor een precies begrensde klasse lichamen; certificaat en gelijkheidsgevallen zijn hier niet gecontroleerd." }, "de": { "title": "Wie groß darf ein konvexer Körper mit einem inneren Gitterpunkt sein?", "simple": "Eine Form ohne Einbuchtungen liegt auf einem ganzzahligen Gitter. Ihr Schwerpunkt ist der einzige Gitterpunkt im Inneren. Wie groß kann ihr Volumen werden?", "research": "Die August-Veröffentlichung meldet eine Lösung der Ehrhart-Volumenvermutung in jeder Dimension unter dieser Schwerpunktbedingung.", "academic": "Die Schwerpunktbedingung ist wesentlich: Nur einen inneren Gitterpunkt zu verlangen ergibt eine andere Frage. Auch das zugrunde liegende Gitter und die Volumennormierung zählen. Formale und informelle Definitionen von Innerem, Schwerpunkt und Konvexität müssen übereinstimmen.", "impact": "Mögliche neue Verbindung zwischen diskreten Gitterbedingungen und kontinuierlicher geometrischer Größe.", "caution": "Die Aussage betrifft eine genau eingeschränkte Klasse. Zertifikat und Gleichheitsfälle wurden hier nicht geprüft." }, "fr": { "title": "Quel volume pour un corps convexe avec un seul point intérieur du réseau ?", "simple": "Placez une forme sans creux sur un réseau entier. Son centre de gravité est l’unique point du réseau strictement intérieur. Jusqu’où son volume peut-il croître ?", "research": "La publication d’août annonce une résolution de la conjecture de volume d’Ehrhart en toute dimension sous cette condition sur le centre de gravité.", "academic": "La condition du centroïde est essentielle : exiger seulement un point intérieur pose une autre question. Il faut préciser le réseau et la normalisation du volume, puis vérifier la correspondance des définitions formelles et usuelles de l’intérieur, du centroïde et de la convexité.", "impact": "Peut relier des contraintes discrètes de réseau à une mesure géométrique continue.", "caution": "La classe de corps est précisément restreinte. Le certificat et les cas d’égalité n’ont pas été examinés ici." }, "es": { "title": "¿Qué volumen admite un cuerpo convexo con un único punto interior del retículo?", "simple": "Coloca una forma sin entrantes sobre una cuadrícula entera. Su centro de gravedad es el único punto de la cuadrícula estrictamente interior. ¿Cuánto puede crecer su volumen?", "research": "La publicación de agosto anuncia una resolución de la conjetura de volumen de Ehrhart en toda dimensión bajo esa condición del centroide.", "academic": "La condición del centroide importa: exigir solamente un punto interior plantea otra pregunta. Deben fijarse el retículo y la normalización del volumen. También hay que comparar las definiciones formales y usuales de interior, centroide y convexidad.", "impact": "Podría conectar restricciones discretas de retículos con tamaño geométrico continuo.", "caution": "Se trata de una clase de cuerpos precisamente limitada. Aquí no se revisaron el certificado ni los casos de igualdad." }, "it": { "title": "Quale volume può avere un corpo convesso con un solo punto interno del reticolo?", "simple": "Colloca una forma senza rientranze su una griglia intera. Il suo baricentro è l’unico punto della griglia strettamente interno. Quanto può crescere il volume?", "research": "La pubblicazione di agosto annuncia una soluzione della congettura di volume di Ehrhart in ogni dimensione sotto questa condizione sul baricentro.", "academic": "La condizione sul centroide è essenziale: richiedere soltanto un punto interno pone un’altra domanda. Occorre fissare reticolo e normalizzazione del volume, confrontando anche le definizioni formali e usuali di interno, centroide e convessità.", "impact": "Può collegare vincoli discreti dei reticoli alla grandezza geometrica continua.", "caution": "La classe di corpi è precisamente delimitata. Certificato e casi di uguaglianza non sono stati controllati qui." } } }, { "id": "connes-rigidity-counterexample", "org": "OpenAI", "topic": "Operator algebras", "published": "2026-08-01", "checked": "2026-10-29", "status": "formalized-provider-reported", "method": "Provider announcement; formal certificates reported, not rerun here", "math": "Operator algebras", "source": "https://openai.com/index/ten-advances-in-mathematics/", "source_kind": "provider_announcement", "urls": { "en": "https://ai-tracking.sevensa.nl/en/discoveries/connes-rigidity-counterexample/", "nl": "https://ai-tracking.sevensa.nl/nl/discoveries/connes-rigidity-counterexample/", "de": "https://ai-tracking.sevensa.nl/de/discoveries/connes-rigidity-counterexample/", "fr": "https://ai-tracking.sevensa.nl/fr/discoveries/connes-rigidity-counterexample/", "es": "https://ai-tracking.sevensa.nl/es/discoveries/connes-rigidity-counterexample/", "it": "https://ai-tracking.sevensa.nl/it/discoveries/connes-rigidity-counterexample/" }, "translations": { "en": { "title": "Does an operator algebra remember the group behind it?", "simple": "Imagine turning a structure into a complicated measuring device. Can you reconstruct the original structure from that device alone, or can different originals produce indistinguishable devices? This is the intuition behind a rigidity question.", "research": "The August announcement reports a disproof of a Connes rigidity conjecture about recovering certain groups from their von Neumann algebras.", "academic": "The word rigidity concerns uniqueness of reconstruction under specific hypotheses. A counterexample must meet those hypotheses and establish the relevant equivalence of algebras while preserving the required distinction between groups. It does not abolish every rigidity theorem. For researchers, the most useful next step is a dependency map identifying which existing recovery arguments remain valid.", "impact": "Could change how information loss is understood when group structure is encoded through operator algebras.", "caution": "The source refers to a particular conjecture, not all of Connes’s conjectures. No blanket claim about every group or operator algebra is justified." }, "nl": { "title": "Onthoudt een operatoralgebra welke groep eraan ten grondslag ligt?", "simple": "Stel dat je een structuur omzet in een ingewikkeld meetinstrument. Kun je het origineel terugvinden, of kunnen verschillende originelen hetzelfde instrument opleveren? Dat is de intuïtie achter deze rigiditeitsvraag.", "research": "De aankondiging meldt een weerlegging van een conjectuur van Connes over het terugvinden van bepaalde groepen uit hun von Neumann-algebra.", "academic": "Rigiditeit gaat hier over unieke reconstructie onder specifieke aannames. Een tegenvoorbeeld moet aan die aannames voldoen en zowel de algebra-equivalentie als het groepsverschil aantonen. Het ontkracht niet elke rigiditeitsstelling.", "impact": "Kan verduidelijken welke groepsinformatie verloren gaat in een operatoralgebra.", "caution": "Het betreft één specifieke conjectuur, niet alle vermoedens of resultaten van Connes." }, "de": { "title": "Erinnert sich eine Operatoralgebra an ihre ursprüngliche Gruppe?", "simple": "Kann man eine ursprüngliche Struktur aus ihrer mathematischen Darstellung eindeutig zurückgewinnen, oder können verschiedene Strukturen dieselbe Darstellung erzeugen? Darum geht es hier anschaulich.", "research": "Die Ankündigung berichtet eine Widerlegung einer Connes-Rigiditätsvermutung über die Rekonstruktion bestimmter Gruppen aus ihren von-Neumann-Algebren.", "academic": "Rigidität bedeutet eindeutige Rekonstruktion unter bestimmten Voraussetzungen. Ein Gegenbeispiel muss diese erfüllen und zugleich die relevante Äquivalenz der Algebren sowie den Unterschied der Gruppen zeigen. Es widerlegt nicht sämtliche Rigiditätssätze.", "impact": "Mögliche neue Einsichten darin, welche Gruppeninformation bei der Darstellung durch Operatoralgebren verloren geht.", "caution": "Die Quelle nennt eine bestimmte Vermutung, nicht alle Vermutungen von Connes oder alle Operatoralgebren." }, "fr": { "title": "Une algèbre d’opérateurs permet-elle de retrouver son groupe ?", "simple": "Peut-on retrouver une structure originale à partir de sa représentation mathématique, ou deux structures différentes peuvent-elles produire des représentations indistinguables ? C’est l’intuition de cette question de rigidité.", "research": "L’annonce rapporte une réfutation d’une conjecture de rigidité de Connes sur la reconstruction de certains groupes à partir de leurs algèbres de von Neumann.", "academic": "La rigidité signifie une reconstruction unique sous des hypothèses précises. Un contre-exemple doit satisfaire ces hypothèses, établir l’équivalence pertinente des algèbres et montrer la différence des groupes. Il ne réfute pas tous les théorèmes de rigidité.", "impact": "Peut éclairer la perte d’information lorsque la structure d’un groupe est encodée dans une algèbre d’opérateurs.", "caution": "Il s’agit d’une conjecture particulière, et non de toutes les conjectures de Connes ou de toutes les algèbres." }, "es": { "title": "¿Recuerda un álgebra de operadores el grupo que la originó?", "simple": "¿Podemos reconstruir una estructura a partir de su representación matemática, o estructuras diferentes pueden producir representaciones indistinguibles? Esa es la intuición de esta pregunta de rigidez.", "research": "El anuncio informa de una refutación de una conjetura de rigidez de Connes sobre recuperar ciertos grupos a partir de sus álgebras de von Neumann.", "academic": "La rigidez significa reconstrucción única bajo hipótesis concretas. Un contraejemplo debe satisfacerlas y demostrar tanto la equivalencia pertinente de las álgebras como la diferencia de los grupos. No refuta todos los teoremas de rigidez.", "impact": "Podría aclarar qué información se pierde al codificar grupos mediante álgebras de operadores.", "caution": "La fuente se refiere a una conjetura específica, no a todas las conjeturas de Connes ni a todas las álgebras." }, "it": { "title": "Un’algebra di operatori ricorda il gruppo da cui proviene?", "simple": "Una rappresentazione matematica permette di ricostruire la struttura originale, oppure strutture diverse possono produrre rappresentazioni indistinguibili? È l’intuizione di questa domanda di rigidità.", "research": "L’annuncio riferisce una confutazione di una congettura di rigidità di Connes sulla ricostruzione di certi gruppi dalle loro algebre di von Neumann.", "academic": "Rigidità significa ricostruzione unica sotto ipotesi specifiche. Un controesempio deve soddisfarle e mostrare sia l’equivalenza pertinente delle algebre sia la differenza dei gruppi. Non confuta tutti i teoremi di rigidità.", "impact": "Può chiarire quale informazione sui gruppi viene persa nella codifica mediante algebre di operatori.", "caution": "La fonte riguarda una congettura specifica, non tutte le congetture di Connes o tutte le algebre." } } }, { "id": "closest-vector-approximation", "org": "OpenAI", "topic": "Lattice algorithms", "published": "2026-08-01", "checked": "2026-10-29", "status": "formalized-provider-reported", "method": "Provider announcement; formal certificates reported, not rerun here", "math": "Lattice algorithms", "source": "https://openai.com/index/ten-advances-in-mathematics/", "source_kind": "provider_announcement", "urls": { "en": "https://ai-tracking.sevensa.nl/en/discoveries/closest-vector-approximation/", "nl": "https://ai-tracking.sevensa.nl/nl/discoveries/closest-vector-approximation/", "de": "https://ai-tracking.sevensa.nl/de/discoveries/closest-vector-approximation/", "fr": "https://ai-tracking.sevensa.nl/fr/discoveries/closest-vector-approximation/", "es": "https://ai-tracking.sevensa.nl/es/discoveries/closest-vector-approximation/", "it": "https://ai-tracking.sevensa.nl/it/discoveries/closest-vector-approximation/" }, "translations": { "en": { "title": "How close can we get to the nearest lattice point?", "simple": "Picture a regular grid extended into many dimensions. Given a point between grid points, finding the closest grid point is easy to describe but can be computationally difficult. Even an approximately nearest point may be hard to find.", "research": "The release reports polynomial-factor approximation hardness for the closest vector problem.", "academic": "An approximation-hardness theorem rules out sufficiently accurate efficient algorithms under its stated complexity assumptions and reduction model. It does not provide an efficient attack. Parameters such as dimension, norm, approximation factor and randomization determine what follows for a concrete cryptographic construction. Translating a theorem into a security claim needs a separate argument.", "impact": "Could clarify limits of lattice algorithms and assumptions relevant to parts of post-quantum cryptography.", "caution": "This result is not a claimed break of post-quantum encryption. Hardness results and attack algorithms point in different directions." }, "nl": { "title": "Hoe dichtbij kunnen we het dichtstbijzijnde roosterpunt vinden?", "simple": "Denk aan een regelmatig rooster in veel dimensies. Welk roosterpunt ligt het dichtst bij een gegeven punt? De vraag is eenvoudig, maar zelfs een goede benadering kan moeilijk zijn.", "research": "De publicatie meldt moeilijkheidsgrenzen voor benadering van het dichtstbijzijnde-roosterpuntprobleem met een polynomiale factor.", "academic": "Een moeilijkheidsstelling sluit onder bepaalde aannames efficiënte algoritmen uit; zij is geen aanvalsmethode. Dimensie, norm, benaderingsfactor en reductiemodel bepalen wat de uitkomst voor een concrete cryptografische toepassing betekent.", "impact": "Kan grenzen van rooster-algoritmen en enkele postkwantum-aannames verduidelijken.", "caution": "Geen aangetoonde kraak van postkwantumversleuteling. Moeilijkheidsgrenzen zijn iets anders dan aanvallen." }, "de": { "title": "Wie gut lässt sich der nächste Gitterpunkt approximieren?", "simple": "In einem hochdimensionalen regelmäßigen Gitter sucht man den Punkt mit dem kleinsten Abstand zu einem gegebenen Ort. Sogar eine gute Näherung kann schwierig sein.", "research": "Die Veröffentlichung meldet Approximationshärte mit polynomialem Faktor für das Closest-Vector-Problem.", "academic": "Ein Härtesatz schließt unter seinen Voraussetzungen ausreichend genaue effiziente Algorithmen aus; er ist kein Angriffsalgorithmus. Dimension, Norm, Approximationsfaktor, Reduktionsmodell und Randomisierung bestimmen, welche Folgerungen für eine kryptografische Konstruktion zulässig sind.", "impact": "Könnte Grenzen von Gitteralgorithmen und einige Annahmen der Post-Quanten-Kryptografie präzisieren.", "caution": "Kein gemeldeter Bruch einer Verschlüsselung. Härtenachweise und effiziente Angriffe sind verschiedene Arten von Ergebnissen." }, "fr": { "title": "Peut-on approcher efficacement le point de réseau le plus proche ?", "simple": "Dans une grille régulière de grande dimension, on cherche le point le plus proche d’une position donnée. Même une approximation assez précise peut être difficile à calculer.", "research": "La publication rapporte une difficulté d’approximation à facteur polynomial pour le problème du vecteur le plus proche.", "academic": "Un théorème de difficulté exclut des algorithmes efficaces suffisamment précis sous certaines hypothèses ; ce n’est pas une méthode d’attaque. Dimension, norme, facteur d’approximation, réduction et hasard déterminent les conséquences possibles pour une construction cryptographique.", "impact": "Peut préciser les limites des algorithmes de réseaux et certaines hypothèses postquantiques.", "caution": "Ce n’est pas une rupture annoncée du chiffrement postquantique. Résultat de difficulté et attaque efficace sont différents." }, "es": { "title": "¿Podemos aproximar el punto de retículo más cercano?", "simple": "En una cuadrícula regular de muchas dimensiones buscamos el punto más cercano a una posición dada. Incluso encontrar una aproximación bastante buena puede resultar difícil.", "research": "El trabajo anuncia dificultad de aproximación con factor polinómico para el problema del vector más cercano.", "academic": "Un teorema de dificultad descarta algoritmos eficientes suficientemente precisos bajo sus hipótesis; no proporciona un ataque. Dimensión, norma, factor de aproximación, reducción y aleatoriedad determinan las consecuencias para una construcción criptográfica concreta.", "impact": "Podría precisar límites de algoritmos de retículos y algunas hipótesis de criptografía poscuántica.", "caution": "No se anuncia una ruptura del cifrado poscuántico. Demostrar dificultad y diseñar un ataque eficiente son resultados diferentes." }, "it": { "title": "Quanto bene si può approssimare il punto di reticolo più vicino?", "simple": "In una griglia regolare con molte dimensioni cerchiamo il punto più vicino a una posizione data. Anche una buona approssimazione può essere difficile da ottenere.", "research": "Il lavoro annuncia difficoltà di approssimazione con fattore polinomiale per il problema del vettore più vicino.", "academic": "Un teorema di difficoltà esclude algoritmi efficienti sufficientemente accurati sotto determinate ipotesi; non è un algoritmo d’attacco. Dimensione, norma, fattore, riduzione e casualità stabiliscono le conseguenze per una costruzione crittografica concreta.", "impact": "Potrebbe precisare limiti degli algoritmi su reticoli e alcune ipotesi della crittografia post-quantistica.", "caution": "Non è una violazione annunciata della cifratura post-quantistica. Dimostrare difficoltà e costruire un attacco sono risultati diversi." } } }, { "id": "binary-spherical-code-bounds", "org": "OpenAI", "topic": "Coding theory", "published": "2026-08-01", "checked": "2026-10-29", "status": "formalized-provider-reported", "method": "Provider announcement; formal certificates reported, not rerun here", "math": "Coding theory", "source": "https://openai.com/index/ten-advances-in-mathematics/", "source_kind": "provider_announcement", "urls": { "en": "https://ai-tracking.sevensa.nl/en/discoveries/binary-spherical-code-bounds/", "nl": "https://ai-tracking.sevensa.nl/nl/discoveries/binary-spherical-code-bounds/", "de": "https://ai-tracking.sevensa.nl/de/discoveries/binary-spherical-code-bounds/", "fr": "https://ai-tracking.sevensa.nl/fr/discoveries/binary-spherical-code-bounds/", "es": "https://ai-tracking.sevensa.nl/es/discoveries/binary-spherical-code-bounds/", "it": "https://ai-tracking.sevensa.nl/it/discoveries/binary-spherical-code-bounds/" }, "translations": { "en": { "title": "How much information can a robust code contain?", "simple": "A communication system adds redundancy so a damaged message can still be recognized. The codewords must remain sufficiently different. How many distinguishable messages fit when every pair needs a minimum separation?", "research": "The release reports improved bounds for binary codes and analogous spherical codes. These are limits on allowable code size, not a new consumer communication protocol.", "academic": "For binary words the natural distance counts differing bits; for spherical codes one studies separation between unit vectors. The parameters length, rate and minimum distance must be kept together. Comparing two bounds without matching those parameters can create an apparent improvement that is not real. A reproduction should state the exact admissible regime and distinguish finite-length guarantees from asymptotic exponents.", "impact": "The results could sharpen the mathematical limits used to judge error-correcting constructions and high-dimensional representations.", "caution": "A theoretical bound is not an implemented decoder or evidence of higher network throughput. No independent certificate run was performed here." }, "nl": { "title": "Hoeveel informatie past in een foutbestendige code?", "simple": "Extra informatie maakt een beschadigd bericht herkenbaar. Codewoorden moeten voldoende van elkaar verschillen. Hoeveel berichten passen er wanneer elk paar een minimale afstand moet hebben?", "research": "De publicatie meldt verbeterde grenzen voor binaire en bolvormige codes. Dat zijn wiskundige beperkingen op codegrootte, geen nieuw communicatieprotocol.", "academic": "Bij binaire woorden telt de afstand verschillende bits; bij bolcodes gaat het om scheiding tussen eenheidsvectoren. Lengte, informatiedichtheid en minimale afstand moeten samen worden vergeleken. Onderscheid garanties voor een vaste lengte van asymptotische exponenten.", "impact": "Mogelijk scherpere maatstaven voor foutcorrigerende codes en hoogdimensionale representaties.", "caution": "Een theoretische grens is geen werkende decoder en bewijst geen sneller netwerk." }, "de": { "title": "Wie viel Information passt in einen robusten Code?", "simple": "Redundanz hilft, beschädigte Nachrichten zu erkennen. Dafür müssen Codewörter genügend Abstand halten. Wie viele unterscheidbare Nachrichten sind bei vorgegebenem Mindestabstand möglich?", "research": "Gemeldet werden verbesserte Grenzen für binäre und sphärische Codes. Es geht um mögliche Codegrößen, nicht um ein neues Kommunikationsprotokoll.", "academic": "Bei binären Wörtern zählt man verschiedene Bits; bei sphärischen Codes betrachtet man getrennte Einheitsvektoren. Länge, Rate und Mindestabstand müssen gemeinsam verglichen werden. Garantien für feste Länge und asymptotische Exponenten sind nicht austauschbar.", "impact": "Die Ergebnisse könnten Maßstäbe für fehlerkorrigierende Konstruktionen und hochdimensionale Darstellungen schärfen.", "caution": "Eine theoretische Schranke ist kein implementierter Decoder und kein Nachweis höherer Netzwerkgeschwindigkeit." }, "fr": { "title": "Combien d’information peut contenir un code robuste ?", "simple": "La redondance aide à reconnaître un message endommagé. Les mots du code doivent donc rester assez différents. Combien de messages distincts peut-on conserver à distance minimale fixée ?", "research": "Des bornes améliorées sont annoncées pour les codes binaires et sphériques. Elles limitent la taille des codes ; ce n’est pas un nouveau protocole de communication.", "academic": "La distance binaire compte les bits différents ; les codes sphériques concernent des vecteurs unitaires séparés. Longueur, taux et distance minimale doivent être comparés ensemble. Une garantie de longueur finie et un exposant asymptotique ne sont pas interchangeables.", "impact": "Ces résultats pourraient affiner les références théoriques pour les codes correcteurs et les représentations de grande dimension.", "caution": "Une borne théorique ne constitue ni un décodeur implémenté ni une hausse démontrée du débit réseau." }, "es": { "title": "¿Cuánta información cabe en un código resistente a errores?", "simple": "La redundancia permite reconocer mensajes dañados. Las palabras del código deben mantenerse suficientemente distintas. ¿Cuántos mensajes diferentes caben con una separación mínima determinada?", "research": "Se anuncian mejores cotas para códigos binarios y esféricos. Son límites del tamaño posible de los códigos, no un nuevo protocolo de comunicaciones.", "academic": "La distancia binaria cuenta bits distintos; los códigos esféricos estudian vectores unitarios separados. Longitud, tasa y distancia mínima deben compararse conjuntamente. Las garantías de longitud finita no equivalen a exponentes asintóticos.", "impact": "Los resultados podrían mejorar las referencias teóricas para códigos correctores y representaciones de alta dimensión.", "caution": "Una cota teórica no es un decodificador implementado ni demuestra más velocidad en una red." }, "it": { "title": "Quanta informazione contiene un codice resistente agli errori?", "simple": "La ridondanza aiuta a riconoscere messaggi danneggiati. Le parole del codice devono essere abbastanza diverse. Quanti messaggi distinguibili possono esistere con una distanza minima fissata?", "research": "Sono annunciati limiti migliorati per codici binari e sferici. Si tratta delle dimensioni possibili dei codici, non di un nuovo protocollo di comunicazione.", "academic": "La distanza binaria conta bit diversi; i codici sferici riguardano vettori unitari separati. Lunghezza, tasso e distanza minima vanno confrontati insieme. Garanzie a lunghezza finita ed esponenti asintotici non sono equivalenti.", "impact": "I risultati potrebbero affinare i riferimenti teorici per codici correttori e rappresentazioni ad alta dimensione.", "caution": "Un limite teorico non è un decodificatore implementato e non prova una maggiore velocità di rete." } } }, { "id": "erdos-unit-distance", "org": "OpenAI", "topic": "Discrete geometry", "published": "2026-05-20", "checked": "2026-10-29", "status": "external-math-review", "method": "Proof checked by external mathematicians", "math": "u(n) = max # pairs at distance 1", "source": "https://openai.com/index/model-disproves-discrete-geometry-conjecture/", "source_kind": "provider_announcement", "urls": { "en": "https://ai-tracking.sevensa.nl/en/discoveries/erdos-unit-distance/", "nl": "https://ai-tracking.sevensa.nl/nl/discoveries/erdos-unit-distance/", "de": "https://ai-tracking.sevensa.nl/de/discoveries/erdos-unit-distance/", "fr": "https://ai-tracking.sevensa.nl/fr/discoveries/erdos-unit-distance/", "es": "https://ai-tracking.sevensa.nl/es/discoveries/erdos-unit-distance/", "it": "https://ai-tracking.sevensa.nl/it/discoveries/erdos-unit-distance/" }, "translations": { "en": { "title": "A new construction for the Erdős unit-distance problem", "simple": "Put many points on paper and connect every pair exactly one unit apart. How many lines can you get? An OpenAI model found examples that beat a long-standing guess about the best arrangement.", "research": "OpenAI reports an infinite family of configurations exceeding the traditionally expected square-grid behavior by a polynomial factor. External mathematicians checked the argument and wrote accompanying remarks.", "academic": "The planar unit-distance function u(n) counts the maximal number of distance-one pairs among n points. The result refutes a conjectured optimality of lattice-style constructions by giving an improved lower-bound family. It does not determine the exact asymptotics of u(n) or resolve every variant of the unit-distance problem.", "impact": "A concrete example of a new mathematical construction checked by external specialists; may inspire different methods in combinatorial geometry.", "caution": "Externally checked according to the published announcement; this site has not audited every step or established journal peer review." }, "nl": { "title": "Nieuwe constructie voor Erdős' eenheidsafstandprobleem", "simple": "Leg punten op papier en verbind paren die precies één eenheid van elkaar liggen. Hoeveel verbindingen zijn mogelijk? AI vond verrassende voorbeelden.", "research": "OpenAI meldt een oneindige familie configuraties die de verwachte optimale roosterconstructies polynomiaal overtreft; externe wiskundigen controleerden het bewijs.", "academic": "De functie u(n) telt het maximale aantal paren op afstand één onder n punten. De nieuwe ondergrens bepaalt niet de exacte asymptotische groei.", "impact": "Nieuwe methoden voor combinatorische meetkunde.", "caution": "Extern nagekeken volgens de bron; geen volledige eigen audit of bevestigde tijdschriftbeoordeling." }, "de": { "title": "Neue Konstruktion zum Einheitsabstandsproblem von Erdős", "simple": "Wie viele Paare von Punkten können auf Papier genau eine Einheit Abstand haben? Eine KI fand unerwartete Anordnungen.", "research": "OpenAI meldet eine unendliche Familie, die vermutete Gitterkonstruktionen polynomial übertrifft; externe Mathematiker prüften den Beweis.", "academic": "u(n) zählt die maximale Anzahl von Abstand-eins-Paaren. Die Verbesserung einer unteren Schranke bestimmt nicht den genauen asymptotischen Verlauf.", "impact": "Neue Ansätze in kombinatorischer Geometrie.", "caution": "Externe Prüfung laut Quelle; keine vollständige eigene Beweisanalyse." }, "fr": { "title": "Nouvelle construction pour le problème des distances unitaires d'Erdős", "simple": "Combien de paires de points peuvent être séparées d'exactement une unité ? Une IA a trouvé des arrangements inattendus.", "research": "OpenAI annonce une famille infinie dépassant polynomialement les constructions de grille supposées optimales, contrôlée par des mathématiciens externes.", "academic": "u(n) compte le maximum de paires à distance unitaire. Une meilleure borne inférieure ne donne pas l'asymptotique exacte.", "impact": "Nouvelles pistes en géométrie combinatoire.", "caution": "Contrôle externe rapporté ; pas d'audit intégral par ce site." }, "es": { "title": "Nueva construcción para el problema de distancia unitaria de Erdős", "simple": "¿Cuántas parejas de puntos pueden estar separadas por exactamente una unidad? Una IA encontró disposiciones inesperadas.", "research": "OpenAI presenta una familia infinita que supera por un factor polinómico las rejillas consideradas óptimas; matemáticos externos revisaron el argumento.", "academic": "u(n) es el máximo de pares a distancia unitaria. Mejorar su cota inferior no determina su comportamiento asintótico exacto.", "impact": "Nuevos métodos en geometría combinatoria.", "caution": "Revisión externa comunicada; sin auditoría completa propia." }, "it": { "title": "Nuova costruzione per il problema delle distanze unitarie di Erdős", "simple": "Quante coppie di punti possono stare esattamente a una unità di distanza? L'IA ha trovato disposizioni inattese.", "research": "OpenAI presenta una famiglia infinita migliore delle griglie ritenute ottimali per un fattore polinomiale; matematici esterni hanno controllato l'argomento.", "academic": "u(n) è il massimo numero di coppie a distanza unitaria. Una stima inferiore migliore non determina l'asintotica esatta.", "impact": "Nuove strategie in geometria combinatoria.", "caution": "Controllo esterno riportato; nessuna revisione integrale svolta dal sito." } } } ] }