Bilanz der Quelle: Der neue Benchmark OpenProblemBench testet KI-Systeme auf offene Probleme der theoretischen Grundwissenschaften. Zu den Ergebnissen zählen ein KI-generierter Beweis für die endzeitige Explosion der 3D-inkompressiblen Navier-Stokes-Gleichungen mit Lean-Formalisierung sowie ein KI-generiertes Gegenbeispiel in der diskreten Geometrie.
🔗 Im Original weiterlesen → · 🗃 Wayback Machine (Archiv)
ℹ️ KI-Hinweis
Die Inhalte dieses Artikels wurden automatisiert mittels Künstlicher Intelligenz generiert. Die zugrundeliegenden Daten stammen von arxiv.org. Es erfolgte keine manuelle redaktionelle Bearbeitung.
Die Inhalte dieses Artikels wurden automatisiert mittels Künstlicher Intelligenz generiert. Die zugrundeliegenden Daten stammen von arxiv.org. Es erfolgte keine manuelle redaktionelle Bearbeitung.
Kalina Digest unterstützen
Lesen bleibt frei. Wer mag, gibt etwas zurück — ab 1 € einmalig, oder als Stufe für einen Monat, ein Quartal oder ein Jahr. Bisher: 5.00 € aus 1 Beiträgen.
