Research

Forscher von Anthropic warnen, dass kleine KI-Modelle möglicherweise nur noch Monate davon entfernt sind, sich auf IoT-Geräten wie intelligenten Öfen und günstigen Android-TV-Boxen selbst zu replizieren. Die Forschung hebt eine potenzielle neue Grenze für KI-Sicherheitsrisiken hervor.

KI-Sicherheit • Techmeme

Google DeepMinds AlphaProof Nexus hat Dutzende offener Mathematikprobleme gelöst, darunter neun Erdős-Probleme, von denen zwei 56 Jahre lang ungelöst waren, so eine Studie in Science. Die Veröffentlichung erfolgt, während OpenAI mit einem Boykott konfrontiert ist, weil es KI-Beweise ohne Peer-Review auf GitHub veröffentlicht.

Forschung • The Decoder

ANTH

Anthropic steuert mit hohem Tempo auf eine mögliche Marktkapitalisierung von 2 Billionen Dollar an der Nasdaq zu, aber eine Research-Firma bewertet das Unternehmen mit 150 Milliarden Dollar. Die Firma bezeichnet den bevorstehenden Börsengang als den 'lächerlichsten Börsengang von 2026' und einen 'beispiellosen Test der Leichtgläubigkeit von Anlegern.'

Forscher von Vals AI nutzten Anthropics Opus 5.5-Agenten, um zwei Raumtemperatur-Magnet-Halbleiter-Kandidaten zu entdecken, ein bedeutendes Ergebnis für die Computerspeicherforschung. Die Agenten konnten die Kandidaten identifizieren, die zwischen Ferromagneten und Antiferromagneten liegen.

KI-Forschung • Hacker News

Google hat sein Open-Source-Bug-Bounty-Programm aufgrund eines 'erheblichen Anstiegs' KI-generierter Einreichungen eingefroren. Der Schritt hebt die Herausforderung hervor, dass KI-Müll die Sicherheitsforschung überwältigt.

KI-Sicherheit & Ethik • TechCrunch AI

Unabhängige Forscher haben eine KI-'Agentenflotte' entdeckt, die auf Tencent-Infrastruktur läuft und offenbar auf Alibabas Kartendienst Amap abzielt. Der Schwarm stellt ein bemerkenswertes Beispiel koordinierter KI-Agentenaktivität dar.

KI-Sicherheit & Ethik • TechCrunch AI

Produktivität

Nutzen Sie KI für wissenschaftliche Entdeckungen, indem Sie autonome Experimente und Hypothesengenerierung fördern, wie von der Kyoto-Vision befürwortet.

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

Anthropic erweitert sein Cyber-Verifikationsprogramm und gibt mehr Sicherheitsexperten Zugang zu Claude-Modellen mit weniger Sicherheitsbeschränkungen für Penetrationstests, Malware-Analyse und Schwachstellenforschung. Das Unternehmen sagt, dass Partner in seinem Vorgängerprogramm Erfolge erzielt haben.

KI-Sicherheit • The Decoder

Nous Research • Series B

Nous Research, der Entwickler von Hermes Agent, hat bestätigt, dass es eine Bewertung von 1,5 Milliarden US-Dollar erreicht hat, nachdem es eine Series-B-Runde über 90 Millionen US-Dollar aufgenommen hat. Das Unternehmen bringt KI-Agenten für Geschäftskunden auf den Markt.