Guten Morgen!
Heute zeigt sich erneut, wie vielseitig KI inzwischen eingesetzt wird: OpenAI lässt autonome Systeme nach Sicherheitslücken im Linux-Kernel suchen und passende Patches entwickeln. Außerdem bringt Phonon Sprachsynthese direkt aufs Smartphone, die ganz ohne Serververbindung auskommt.
OpenAI automatisiert die Suche nach Linux-Sicherheitslücken
OpenAI zufolge validierte eine autonome Pipeline 948 Lücken im Linux-Kernel und erzeugte dafür Sicherheitsupdates. Ein Durchgang mit einem unveröffentlichten Cybermodell kostete 1,2 Millionen Dollar und identifizierte mindestens zehn neue Exploit-Techniken. OpenAI arbeitet nach eigenen Angaben mit Linux-Entwicklern zusammen an Berichterstattung darüber. [1]
Kimi K3.1 Pro erscheint mit frei ferfügbaren Modell-Gewichten
Moonshot hat die Gewichte seines multimodalen Modells Kimi K3.1 Pro veröffentlicht. Es umfasst 2,8 Billionen Parameter und unterstützt ein Kontextfenster von einer Million Token. Im Agent Arena Benchmark liegt es nach mehr als 17.500 agentischen Sitzungen auf Rang eins der Open-Source Modelle. [1]
Google verlängert Erstellung und Bearbeitung von KI-Videos auf 15 Sekunden
Gemini Omni 1.2 Flash ist nun über die Gemini API und Google Cloud allgemein verfügbar. Das Modell generiert und bearbeitet Videos bis zu 15 Sekunden Länge, unterstützt mehrstufige Änderungen und kostet laut Google mit 0,07 Dollar pro Sekunde für 720p. Also sind die Kosten rund 30 Prozent weniger beim Vorgänger. [2]
Phonon bringt Sprachsynthese vollständig aufs Endgerät
Phonon generiert gesprochenen Text ohne Serververbindung auf Smartphones, Laptops und im Browser. Die Modelle sind etwa 65 beziehungsweise 75 Megabyte groß (sehr klein für ein Sprachmodell) und decken zusammen fünf Sprachen einschließlich Deutsch ab. Nur das englische 31M-Modell ist unter Apache 2.0 kommerziell frei nutzbar, während das mehrsprachige 40M-Modell einer nichtkommerziellen Lizenz unterliegt. [3]
Mathematisches Standardwerk vollständig formalisiert
Laut AxiomMath ist die vollständige Formal Verification des rund 7.654 Seiten umfassenden "Stacks Project" abgeschlossen. Parallel arbeitende KI-Agenten haben das Referenzwerk für Algebra, Geometrie und Zahlentheorie in etwa 16 Millionen Zeilen Lean-Code übersetzt. Lean ist eine Programmiersprache, die erlaubt Mathematische Gleichungen als Code auszudrücken. Ein Proof Assistant prüft die jeweiligen Beweisschritte, während die Formalisierung der Theoremen bestehen muss. [4]
Dropbox kauft Tigris Data
Dropbox übernimmt Tigris Data für 350 Millionen Dollar und stärkt damit ihre geplante Agent Cloud. Die Plattform soll später Agenten beim Verwalten verschiedener Dateitypen unterstützen. Der Abschluss ist für das vierte Quartal 2026 vorgesehen; das aktualisierte Dropbox-Angebot startet zunächst in den USA, Großbritannien und Australien, eine breitere Verfügbarkeit ist für 2027 geplant. [5]
EU
Endlich digitale Bildungsinfrastruktur?
Die Europäische Kommission hat ein Bildungs- und Kompetenzpaket zu Grundfertigkeiten im KI-Einsatz und Lehrkräftemangel vorgestellt. Kernstück für digitale Dienste ist das auf Antrag von acht Mitgliedstaaten gegründete EDU-EDIC. Das Konsortium soll vertrauenswürdige KI für Schulen, sicheren Datenaustausch zwischen Bildungseinrichtungen und grenzüberschreitende Angebote europäischer EdTech-Anbieter unterstützen. [6]
|
Zeit für individuelle Insights?Wir sind KI-Experten und haben in und mit mehreren KI-Startups gearbeitet. Für etablierte Unternehmen jeder Größe haben wir KI in bestehende Abläufe integriert. Wir bringen zehn Jahre Erfahrung als Softwareentwickler und Business-Owner mit.
|
Quellen
- [AINews] It's Swapping Season
- Gemini Omni 1.2 Flash: Fast and cost-effective with longer clips
- A Closer Look at Phonon TTS. Launching High-Quality On-Device Speech That Tops the Benchmarks.
- Axiom Math wants to keep AI slop out of mathematics | TechCrunch
- Dropbox acquires Tigris Data for $350M to bolster its AI infrastructure | TechCrunch
- Commission launches Education and Skills package to tackle declining basic skills, rapid digital change and teacher shortages