20 oktober 2026 verschenen in de nieuwste arXiv-lijst werken waarin wiskundigen rechtstreeks wijzen op de hulp van modellen zoals ChatGPT-6 Astra.
Daaronder bevindt zich een bewijs van het vermoeden van Erdős–Szemerédi over zonnebloemen voor elke k ≥ 3. De auteurs merken op dat juist ChatGPT-6 Astra Pro de centrale stelling heeft gevonden.
Eerder was alleen het geval k = 3 bekend, verkregen in 2016 dankzij de doorbraak met cap-set. Nu wordt een expliciete verbetering aangekondigd: de grootte van een familie zonder k-zonnebloem is begrensd door een waarde kleiner dan 2^n.
In dezelfde lijst staan andere resultaten met AI: een schatting voor het vermoeden van Borodin–Kostochka, een verbetering van de rekentijd voor problemen van geheeltallige programmering en tegenvoorbeelden voor het vermoeden van Arveson in het commutatieve geval.
Veel auteurs schrijven dat het model de sleutelstappen of volledige bewijzen heeft voorgesteld, terwijl mensen die hebben gecontroleerd en uitgewerkt. Sommige werken gaan vergezeld van vermeldingen van Lean-controles, hoewel de bestanden nog niet zijn gepubliceerd.
Alle aangekondigde resultaten wachten op onafhankelijke beoordeling. Voorlopig behouden ze de status ‘wacht op controle’.
