+- Leichtathletikforum.com (https://leichtathletikforum.com)
+-- Forum: Off-Topic (https://leichtathletikforum.com/forumdisplay.php?fid=9)
+--- Forum: Plauderecke (https://leichtathletikforum.com/forumdisplay.php?fid=14)
+--- Thema: If anyone builds it, everyone dies (/showthread.php?tid=6685)
RE: If anyone builds it, everyone dies - Atanvarno - 15.09.2026
Trump says AI doesn’t need guardrails, only a ‘high IQ’ president
Dann bin ich ja beruhigt
RE: If anyone builds it, everyone dies - Atanvarno - 24.09.2026
KI-Agent von OpenAI hackt sich eigenständig in australische Regierungswebsite
RE: If anyone builds it, everyone dies - Atanvarno - 07.10.2026
OpenAi hat gerade 722 Manuskripte mit (Teil)Beweisen einer Reihe von hochkomplexen mathematischen Problemen vorgelegt: https://github.com/openai/math
Jedes dieser Paper könnte mindestens als Doktorarbeit durchgehen, für die wichtigsten Resultate (Quasi-Riemann, Hodge-Vermutung) wäre eine Fieldsmedaille fällig.
Zitat:Quasi-RH?!?!???! Are you kidding me? If a human did this, it would be an instant Fields Medal, no questions asked.Quelle: https://x.com/AlexKontorovich/status/2107609087902941646
RE: If anyone builds it, everyone dies - Sandmann - 07.10.2026
Hatte doch irgendwie schon als Schüler vor fast fünfzig Jahren davon gelesen, dass Computer mathematische Beweise erarbeiten können...und tatsächlich:
Automated theorem proving - Wikipedia
Aber wahrscheinlich bin ich inzwischen zu alt um zu verstehen, warum es sich hier nicht um einen (respektablen) quantitativen, sondern um einen (revolutionären) qualitativen Fortschritt handelt.
RE: If anyone builds it, everyone dies - Atanvarno - 08.10.2026
Der ATP ist mehr das, was es von der KI gratis obendrauf gibt, die Lean Formalisierungen der Beweise, die
eine computergestützte Verfikation der argumentativen Logik des Beweises erlauben.
Das Revolutionäre ist das selbstständig Erkennen neuer mathematische Strukturen, die Entwicklung geeigneter Vermutungen, das Finden von Beweisstrategien. Die Agenten haben echte mathematische Forschung betrieben und für menschliche Mathematiker neue Ergebnisse gefunden.