Beitrag neuester KI-Modelle zur Wissenschaft

Ein Artikel auf AI-News.ru diskutiert die Beiträge neuer KI-Modelle zur Wissenschaft, insbesondere in der Mathematik. Er bezieht sich auf einen Beitrag von Terry Tao (21. Juli 2026) über ein Gegenbeispiel zur Jacobischen Vermutung, bei dem KI-Modelle wie Claude Fable 5 und ChatGPT eine Rolle spielten. Ein weiteres Preprint (arXiv:2607.18186) präsentiert einen Beweis, der für Dimensionen n≥3 gilt und von ChatGPT und Claude unterstützt wurde. Ein Papier (arXiv:2607.18619) eines Microsoft-Forschers beschreibt einen alternativen Beweis des Vier-Farben-Satzes unter Verwendung von GPT-5.6 Sol. Darüber hinaus bezieht sich arXiv:2607.18655 auf Claude Fable 5, und arXiv:2607.19675 beschreibt einen Beweis unter Verwendung von OpenAI Codex, der sich auf ein Problem aus dem Jahr 1964 bezieht. Weitere Arbeiten umfassen eine von KI abgeleitete Schranke für die De-Giorgi-Vermutung (arXiv:2607.18174) mit einem Fehlerterm O(T^-1), ein SYK-Modell-Papier (arXiv:2607.18998) unter Verwendung von GPT-5.6 und einen Beweis der Existenz einer periodischen Bahn für Billards in Polygonen von Giovanni Forni (arXiv:2606.10102). Der Autor erwähnt auch seine eigene Arbeit, die GPT verwendet.