Künstliche Intelligenz, KI, Artificial Intelligence, AI, Quantencomputer, Robotik, ChatGPT, Grok, Transhumanismus

🤖 KI hat ein mathematisches Problem gelöst, das seit 1946 ungelöst war, und das Beunruhigende ist, wie gewöhnlich das System war. OpenAI gibt an, dass sein allgemeines Argumentationsmodell eine wichtige Vermutung des legendären Mathematikers Paul Erdős widerlegt und das langjährige "Planar Unit Distance Problem" gelöst hat. Jahrzehntelang glaubten Mathematiker, der beste Weg, um die Einheitsabstände zwischen Punkten zu maximieren, sei im Grunde eine Variation eines quadratischen Gitters. Die Intuition schien offensichtlich. Es stellte sich heraus, dass sie falsch war. Das Modell entdeckte eine völlig neue unendliche Konstruktion, die die alten Annahmen mit einer polynomialen Verbesserung übertrifft, und externe Mathematiker verifizierten den Beweis. Was dies von früheren mathematischen Erfolgen der KI unterscheidet, ist, dass es sich nicht um eine spezialisierte Theorembeweismaschine handelte, die für eine einzige Aufgabe gebaut wurde. Es war ein allgemeines Argumentationsmodell, und seine Leistung verbesserte sich einfach, indem man ihm mehr Inferenzzeit zur Verfügung stellte, mehr Zeit zum "Denken". Noch interessanter ist: Der Durchbruch erforderte die Verbindung einfacher Geometrie mit tiefer algebraischer Zahlentheorie, einschließlich Konzepten wie unendliche Klassenfeldtürme und Golod-Shafarevich-Theorie. Das deutet darauf hin, dass KI weniger darum gehen könnte, menschliche Intuition zu ersetzen, und mehr darum, konzeptionelle Wege zu erforschen, an die Menschen nie gedacht haben.