Bilanz der Quelle: OpenAI hat eine Lean-4-Formalisierung der unteren Schranke für die Primzahl-Lücken bis 186 veröffentlicht. Dabei werden drei Theoreme bewiesen, während drei explizite Eingaben als Axiome akzeptiert werden müssen.
🔗 Im Original weiterlesen → · 🗃 Wayback Machine (Archiv)
ℹ️ KI-Hinweis
Die Inhalte dieses Artikels wurden automatisiert mittels Künstlicher Intelligenz generiert. Die zugrundeliegenden Daten stammen von github.com. Es erfolgte keine manuelle redaktionelle Bearbeitung.
Die Inhalte dieses Artikels wurden automatisiert mittels Künstlicher Intelligenz generiert. Die zugrundeliegenden Daten stammen von github.com. Es erfolgte keine manuelle redaktionelle Bearbeitung.
