[Atanvarno]

Trump says AI doesn’t need guardrails, only a ‘high IQ’ president

Dann bin ich ja beruhigt

[Atanvarno]

KI-Agent von OpenAI hackt sich eigenständig in australische Regierungswebsite

[Atanvarno]

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.

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/210...7902941646

[Sandmann]

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.

[Atanvarno]

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.