Nach Angaben des Wall Street Journal will doubleAI die Hälfte der Runde nutzen, um 1.000 von Nvidias B300-Blackwell-Grafikkarten zu kaufen. Das Unternehmen mit Sitz in Tel Aviv, offiziell AA-I Technologies Ltd., hat ein KI-Modell namens Maxwell entwickelt, das Softwarecode automatisch effizienter machen soll. SiliconANGLE berichtet über die Runde und die Pläne des Unternehmens.

Wie Maxwell arbeitet

Maxwell setzt nach Darstellung von doubleAI nicht am Quellcode an, sondern optimiert das Binary eines Programms. Dadurch entfallen manuelle Änderungen am Quellcode durch Entwickler, und Anwendungen lassen sich verändern, während sie in Produktion laufen. Laut doubleAI findet das Modell Optimierungsmöglichkeiten, indem es analysiert, wie ein Programm mit den verarbeiteten Daten und den zugrunde liegenden Chips interagiert. Das Modell unterstützt sowohl Grafikprozessoren als auch zentrale Recheneinheiten.

Maxwell erstellte eine optimierte Version von pandas, einem populären Open-Source-Toolkit für Datenwissenschaft. Im Query-Geschwindigkeitsbenchmark PDS-H verbesserte die KI die Leistung der Bibliothek um den Faktor 38. doubleAI zufolge beschleunigte das Modell 55 % der Algorithmen in der Bibliothek um den Faktor zwei oder mehr. In einem neueren Projekt setzte doubleAI Maxwell ein, um die Videoerzeugungsgeschwindigkeit eines Weltmodells namens LTX-2.5 zu verdoppeln.

Der Schachrekord

Im Zusammenhang mit der Finanzierungsankündigung gab doubleAI bekannt, dass Maxwell kürzlich einen fast 50 Jahre alten Schachrekord gebrochen hat. Das Modell fand eine Schachstellung, in der 63 Züge Schach geben; der bisherige Rekord lag bei 60 Zügen. Maxwell brach die seit Langem bestehende Schach-Herausforderung früher in diesem Monat.

Entdeckung in der Mathematik

Etwa zur selben Zeit machte ein von doubleAI entwickelter Agent eine neue mathematische Entdeckung. Früher in diesem Monat setzte doubleAI einen internen KI-Agenten ein, um eine neue Entdeckung über Graphen zu machen, mathematische Strukturen mit wichtiger Rolle in der Softwareentwicklung. Der Agent verband seinen Beweis mit einer Lean-Datei, einem Code-Schnipsel, der die Überprüfung des Fundes relativ einfach macht. Die Datei umfasst 13 Millionen Codezeilen, für die ein Team menschlicher Mathematiker mehrere Jahre gebraucht hätte.

Nvidia bietet eine Open-Source-Bibliothek namens cuGraph an, mit der Kunden seine Grafikprozessoren für Graph-Analysen nutzen können. Im März 2026 gab doubleAI bekannt, dass Maxwell cuGraph umgeschrieben hat, um dessen Hardware-Nutzung zu senken. Einen Monat zuvor erstellte ein Anthropic-Modell eine computervalidierbare Version eines berühmten mathematischen Beweises. Vor wenigen Tagen veröffentlichte der ChatGPT-Entwickler 722 KI-generierte Mathematik-Papers.

Das Unternehmen plant, das Modell an Unternehmen zu verkaufen, die den Hardware-Einsatz ihrer KI-Workloads senken wollen. Die Bewertung von mehr als 1 Milliarde US-Dollar stützt sich auf einen Bericht von CTech, den SiliconANGLE zitiert. Ob die Runde bereits abgeschlossen ist und zu welchen Bedingungen die Co-Leads investieren, geht aus dem Bericht nicht hervor.