🤖 AI

A Finite Certificate for the Positive $n=9$ Vasc Inequality

Dit artikel presenteert een door mensen gestuurd, door AI ondersteund bewijs van de positief-reële $n=9$ casus van de Vasc cyclische ongelijkheid, gebruikmakend van een eindig certificaat dat de ongelijkheid over alle 40.320 gesorteerde kegels verifieert door middel van een combinatie van polynomiale reductie en geautomatiseerde verificatie.

Oorspronkelijke auteurs: Dakai Guo, Ruichen Qiu, Yichuan Cao, Ruyong Feng

Gepubliceerd 2026-06-05

📖 4 min leestijd☕ Koffiepauze-leesvoer

CC BY 4.0

Oorspronkelijke auteurs: Dakai Guo, Ruichen Qiu, Yichuan Cao, Ruyong Feng

Oorspronkelijk artikel gelicentieerd onder CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Dit is een AI-gegenereerde uitleg van het onderstaande artikel. Het is niet geschreven of goedgekeurd door de auteurs. Raadpleeg het oorspronkelijke artikel voor technische nauwkeurigheid. Lees de volledige disclaimer

Stel je een gigantische, complexe puzzel voor gemaakt van getallen. Decennialang hebben wiskundigen geprobeerd een specifiek stukje van deze puzzel op te lossen, genaamd de Vasc-ongelijkheid. Denk aan deze ongelijkheid als een regel die zegt: "Als je deze negen positieve getallen in een cirkel plaatst en een specifieke berekening met hen uitvoert, zal het resultaat altijd nul of positief zijn."

Lange tijd wisten we dat deze regel werkte voor kleine groepen getallen (zoals 3, 4 of 5) en we wisten dat het niet werkte voor sommige grotere groepen (zoals 6 of 13). Maar voor het specifieke geval van negen getallen was het antwoord een mysterie. Het was de "missing link" in de keten.

Dit artikel is het verhaal van hoe een team van menselijke wiskundigen en een AI-robot genaamd MechMath dit negen-getallenmysterie eindelijk heeft opgelost.

Het Probleem: Een Verstrengelde Knoop

Het oorspronkelijke wiskundige probleem ziet eruit als een slordige knoop van breuken. Het is moeilijk te ontwarren omdat de getallen in de onderkant van de breuken staan (de noemers).

De Menselijke Zet: Het team heeft de knoop eerst "ontward". Ze hebben alles vermenigvuldigd met de onderdelen van de breuken om de slordige regel om te zetten in één enkel, gigantisch, glad polynoom (een grote wiskundige expressie zonder breuken). Dit maakte het probleem veel gemakkelijker te bekijken, hoewel het nog steeds enorm was.

De Strategie: Het "Maximum" en de "Gesorteerde Lijn"

Zelfs zonder de breuken is het controleren van elke mogelijke combinatie van negen getallen onmogelijk. Er zijn te veel manieren om ze te arrangeren.

De "Maximum" Truc: Het team realiseerde zich dat omdat de getallen in een cirkel staan, het niet uitmaakt waar je begint. Je kunt de cirkel altijd zo draaien dat het grootste getal bovenaan staat. Dit verkleint het probleem aanzienlijk.
De "Gesorteerde Lijn" Truc: Zodra het grootste getal bovenaan is vastgezet, keek het team naar de resterende acht getallen. Ze besloten de regel alleen te controleren wanneer deze acht getallen van groot naar klein zijn gesorteerd.
De Combinatorische Explosie: Zelfs met deze truc zijn er nog steeds 40.320 verschillende manieren om die acht getallen te ordenen (8 faculteit). Het is alsof je probeert 40.000 verschillende sleutels te controleren om te zien of er één een slot opent.

De Oplossing: De AI-Agent en het "Certificaat"

Dit is waar het MechMath Agent Team (de AI) in beeld kwam.

De Menselijke Gids: De mensen stelden de regels en de strategie op. Ze zeiden tegen de AI: "Hier is het probleem. Hier is hoe we willen dat je het aanpakt."
De AI Werker: De AI deed het zware werk. Het schreef computerprogramma's om de 40.320 verschillende ordeningen op te splitsen in kleine, hanteerbare brokken.
Het Certificaat: In plaats van een bewijs van 1.000 pagina's te schrijven dat niemand kon lezen, creëerde het team een Certificaat. Denk aan dit als een enorme antwoordmap of een bonnetje.
- Voor elke van de 40.320 ordeningen genereerde de AI een specifiek "bewijslatblad" (een klein stukje bewijs).
- Sommige bladeren gebruikten een methode genaamd Polya Multipliers (zoals het toevoegen van een vangnet aan de wiskunde).
- Sommige gebruikten AM-GM (een klassieke wiskundige afkorting die zegt dat het gemiddelde van getallen meestal groter is dan hun product).
- Sommige lieten simpelweg zien dat alle getallen in de vergelijking positief waren.

De Verificatie: De Onafhankelijke Auditor

Het belangrijkste deel van dit artikel is niet alleen dat de AI het antwoord heeft gevonden; het is dat het antwoord betrouwbaar is.

De mensen vertrouwden de AI niet zomaar op haar woord. Ze bouwden een apart, klein, eenvoudig computerprogramma (een onafhankelijke verifieerder).
Deze verifieerder fungeerde als een strenge auditor. Het bekeek het "Certificaat" (de antwoordmap) en controleerde elke van de 40.320 vermeldingen met basis, exacte wiskunde.
Het bevestigde dat voor elke mogelijke rangschikking van de negen getallen, de wiskunde standhoudt.

Het Resultaat

Het artikel concludeert dat de regel waar is voor negen getallen.

De Schaal: Het uiteindelijke certificaat is enorm. Het bevat meer dan 36.000 kleine bewijsstukken.
De Samenwerking: Het was een perfecte dans tussen menselijke logica (het podium klaarzetten en het werk controleren) en AI-kracht (het uitvoeren van de miljoenen berekeningen).

Kortom, dit artikel loste niet alleen een wiskundig probleem op; het demonstreerde een nieuwe manier om moeilijke problemen op te lossen: Mensen ontwerpen de kaart, AI bewandelt het pad, en een eenvoudige, onafhankelijke robot controleert de voetstappen om er zeker van te zijn dat niemand verdwaald is. De "Negen-getallen Vasc-ongelijkheid" is nu officieel opgelost.

Technische Samenvatting: Een Eindig Certificaat voor de Positieve $n = 9$ Vasc-ongelijkheid

Probleemstelling
Dit artikel behandelt het positief-reële geval van de Vasc cyclische ongelijkheid voor $n=9$ . De Vasc-expressie wordt gedefinieerd als $C_n(x_1, \dots, x_n) = \sum_{i=1}^n \frac{x_i - x_{i+1}}{x_{i+1} + x_{i+2}}$ met cyclische indexering. Terwijl de conjectuur $C_n \ge 0$ bewezen is voor $n=3,4,5,7$ en weerlegd is voor $n=6, 13$ (en daarmee alle even $n \ge 6$ en oneven $n \ge 13$ ), bleven de gevallen voor $n=9$ en $n=11$ openstaan. Specifiek vertegenwoordigt het $n=9$ geval een kritieke grens waar eerdere methoden van Successive Difference Substitution (SDS) stuiten op een combinatorische explosie, wat de analyse van $8! = 40.320$ verschillende ordeningsregio's vereist.

Methodologie
De bewijsstrategie ontkoppelt door mensen verifieerbare algebraïsche reducties van een eindig, door machines gegenereerd certificaat. De workflow verloopt in vijf afzonderlijke stadia:

Eliminatie van de Noemer: De rationale ongelijkheid wordt getransformeerd naar een homogene polynoom-ongelijkheid $P_9(x) \ge 0$ door te vermenigvuldigen met het positieve product van alle denominatoren, $D_9(x) = \prod (x_{i+1} + x_{i+2})$ .
Reductie tot Cyclisch Maximum: Door gebruik te maken van cyclische invariantie, wordt het verificatiedomein beperkt tot tupels waarbij de eerste coördinaat het maximum is ( $x_1 \ge x_i$ voor alle $i$ ).
Parametrisatie van Gesorteerde Kegels: Binnen de fixed-maximum kegel worden de overige acht variabelen gesorteerd volgens alle mogelijke permutaties ( $\sigma \in S_8$ ). Dit creëert $40.320$ "gesorteerde kegels".
Gap-Coördinaat Transformatie: Elke gesorteerde kegel wordt geparametriseerd met behulp van cumulatieve gap-coördinaten ( $y_1, \dots, y_9$ ), waarbij $y_i \ge 0$ het verschil vertegenwoordigt tussen aangrenzende gesorteerde variabelen. Dit brengt het probleem naar een niet-negatieve orthant met een positieve totale gap.
Verificatie van Eindig Certificaat: Voor elke van de $40.320$ gesorteerde kegels wordt een specifieke "terminale rij" gegenereerd. De geldigheid van de ongelijkheid op elke kegel wordt vastgesteld door een van drie geldigheidsmechanismen te verifiëren:
- Coëfficiënt-gewijze Niet-negativiteit: Alle coëfficiënten van het polynoom in gap-coördinaten zijn niet-negatief.
- Polya-multiplier: Het polynoom wordt vermenigvuldigd met een positieve factor (Polya-multiplier) om een polynoom met niet-negatieve coëfficiënten te verkrijgen.
- AM-GM Midpoint Overlay: Het polynoom wordt geverifieerd via Arithmetic Mean-Geometric Mean (AM-GM) circuit overlays.

Kernbijdragen en Uitvoering
De primaire bijdrage is de generatie en verificatie van een eindig exact certificaat dat de gehele positief-reële ruimte voor $n=9$ dekt.

AI-Menselijke Samenwerking: Het bewijs werd verkregen met mensgestuurde assistentie van het MechMath Agent Team, een LLM-gestuurd agent-team. De agent voerde autonoom de certificaatverificatiefase uit, inclus\nbij het schrijven van Python-verificatieprogramma's, het genereren van case-splitsingen en het organiseren van terminale classificaties.
Schaal van het Certificaat: Het gepubliceerde certificaat bevat 36.815 coëfficiënt-bladeren, 2.236 gewone Polya-multiplier-bladeren en 1.269 AM-GM midpoint overlay-bladeren.
Rigor van Verificatie: De auteurs benadrukken dat het certificaat geen ruw computationeel transcript is, maar een formeel artefact. Het bevat een onafhankelijke verifieerder (geschreven in Python met enkel de standaardbibliotheek) die fixed-maximum stromen, polynoom-hashes en residu-controles direct vanuit de opgeslagen gegevens her berekent, wat isolatie van de code die het certificaat genereerde waarborgt.

Resultaten
Het artikel bewijst succesvol Stelling 1: Voor alle positieve reële getallen $x_1, \dots, x_9$ geldt de ongelijkheid $\sum_{i=1}^9 \frac{x_i - x_{i+1}}{x_{i+1} + x_{i+2}} \ge 0$ .

Het bewijs lost de eerste openstaande vermelding in de status-tabel van Vasc-ongelijkheden (Tabel 1) op.
Het geval $n=11$ blijft openstaan, waarbij momenteel slechts gedeeltelijke positieve resultaten voor een kleine kegel beschikbaar zijn.

Betekenis
Het artikel claimt significant te zijn door een langlopend openstaand probleem in geautomatiseerd ongelijkheidbewijzen op te lossen dat voorheen geblokkeerd werd door combinatorische complexiteit. Door aan te tonen dat een eindig certificaat gegenereerd en onafhankelijk geverifieerd kan worden voor een probleem dat de analyse van meer dan 40.000 regio's vereist, valideert dit werk een hybride aanpak waarbij AI-agents de zware computationele taken afhandelen (case splitting, programmageneratie en verificatie), terwijl menselijke auteurs de wiskundige reducties en verificatielogica auditeren. Het werk biedt een reproduceerbare route, inclusief het certificaat, een onafhankelijke verifieerder en een bron-rebuild pad, waarmee een nieuwe benchmark voor de $n=9$ Vasc-ongelijkheid wordt gesteld.