Nicht noch ein6 Beiträge zum Thema „Beweis“ – neueste zuerst.
Weitere Themen
OpenAI veröffentlichte KI-generierte Beweise für 377 offene Mathematikfragen, darunter die Unique Games Conjecture. Doch ein möglicher Fehler im Navier-Stokes-Beweis in Lean wirft Fragen zur Verifizierbarkeit auf.
AlphaProof Nexus von Google DeepMind hat neun bislang ungelöste Erdős-Probleme gelöst und 44 OEIS-Vermutungen formal bewiesen. Lean prüft jeden Schritt maschinell – doch der Großteil der Aufgaben bleibt offen.
Willkommen zur KI-Woche im Rückblick, Kalenderwoche 38, vom 07.09. bis 14.09.. In wenigen Minuten hörst du, was diese Woche in der Welt der Künstlichen Intelligenz passiert ist. Perplexity geht einen mutigen Schritt und setzt das neue Modell GPT-6 Astra direkt in kritischen Produktionssystemen ein.…
Anthropic hat laut eigenen Angaben mehrere Versuche gestoppt, die KI-Claude für gefährliche Zwecke zu missbrauchen. Doch die Faktenlage bleibt dünn.
Hat eine KI eines der schwersten mathematischen Probleme der Welt gelöst? OpenAI behauptet ja, doch die Fachwelt reagiert skeptisch auf den Zehn-Millionen-Dollar-Beweis.
Anthropic meldet: Ein Schwarm von Claude-Agenten hat Fermats letzten Satz in Lean formalisiert. Wir ordnen ein, was das bedeutet.