Mathematics
Themen-Archiv • 3 Treffer
KI-generiert: Die Zusammenfassungen schreibt eine KI auf Grundlage der verlinkten Quellen. So nutzen wir KI
2026-10-07
Technologie
Ein KI-gestützter Beweis für die optimale Packung von 11 Quadraten hat die formale Verifikation mit Lean bestanden. Der abgeschlossene EvolvingPrograms-Verifikationslauf akzeptierte alle 7.920 lokalen Lean-Module, wobei ein abschließendes Audit null Zulassungen meldete.
KI-Forschung • Hacker News
Direktlink
2026-10-08
Technologie
OpenAI hat drei KI-generierte Mathematik-Papiere zurückgezogen, nachdem ein Vorzeichenfehler ein zentrales Argument ungültig gemacht hatte, nur einen Tag nachdem das Unternehmen mehr als 700 Manuskripte gleichzeitig veröffentlicht hatte. Die Association for Human Mathematics fordert einen Boykott, und der Fields-Medaillengewinner Terence Tao hat vor der Qualität von KI-generierten Beweisen gewarnt.
AI Research • Hacker News
DirektlinkOpenAIs Flut an KI-generierten Mathematikbeweisen weicht von den Richtlinien ab, die von einer Gruppe mathematischer Forscher festgelegt wurden, die vom Frontier-Lab konsultiert wurden, laut TechCrunch. Der Ansatz des Unternehmens für mathematische Lösungen entspricht reportedly noch nicht den Standards des Fachgebiets.
AI Research • TechCrunch AI
Direktlink