Suche
AlphaEvolve: Geminis Code-Agent skaliert Einflussbereiche
Google DeepMind hat AlphaEvolve vorgestellt, einen KI-Code-Agenten, der auf Gemini basiert. Laut DeepMind soll diese KI ihren Einfluss über vielfältige Anwendungsfelder hinweg skalieren. Das unterstreicht DeepMinds Ambition, skalierbare KI-Lösungen mit weitreichender Relevanz zu entwickeln.
Mistral Medium 3.5: Dein Open-Weight-Powerhouse für Coding & AI-Agenten
Mistral präsentiert Medium 3.5, ein 128B Open-Weight-Modell, das Instruction-Following, Reasoning und Coding vereint. Es treibt Mistral Vibe Remote Agents für asynchrones Cloud-Coding und den neuen Work-Modus in Le Chat für komplexe, mehrstufige Aufgaben an. Das Modell ist selbst auf vier GPUs hostbar und für lange Coding- und Produktivitätsaufgaben optimiert.
ZAYA1-8B: Mathe-Meister auf AMD – mit weniger als 1 Mrd. Parametern
Zyphras neues Modell ZAYA1-8B überzeugt auf mathematischen Benchmarks und erreicht die Leistung von DeepSeek-R1. Das Bemerkenswerte daran: Es operiert mit unter einer Milliarde aktiver Parameter, bleibt bei Reasoning mit Claude Sonnet 4.5 wettbewerbsfähig und nähert sich Gemini 2.5 Pro im Coding an. Ein weiterer Durchbruch ist das Training des Modells, welches vollständig auf AMD-Hardware erfolgte und somit eine Abkehr vom de facto NVIDIA-Monopol signalisiert.
Qwen3.6-35B-A3B: Agentic Coding Power jetzt für alle
Qwen.ai stellt Qwen3.6-35B-A3B vor, ein neues Modell, das für „Agentic Coding Power“ konzipiert wurde. Dieses Modell, benannt mit der Angabe von 35 Milliarden Parametern, ist ab sofort für alle zugänglich.
Mendral senkt LLM-Kosten: Opus 4.6 dank Haiku-Triager günstiger
Mendral senkte die LLM-Kosten durch den Wechsel von Sonnet 4.0 zu Opus 4.6, allerdings nicht durch einen direkten Modellvergleich. Stattdessen setzt eine intelligente Triager-Architektur einen Haiku-Agenten als Vorfilter ein. Dieser stoppt 80% der Anfragen, bevor sie das teurere Opus erreichen, was die tatsächlichen Ersparnisse ermöglicht.
Adieu, Flakey-Bots! Libretto macht AI-Browser-Automationen deterministisch
KI-gesteuerte Browser-Automationen sind oft ein Albtraum: Eine kleine UI-Änderung und schon fällt der Bot flach. Libretto verspricht, diesem Trauerspiel ein Ende zu bereiten, indem es diese Automatisierungen deterministisch macht – sprich, zuverlässig und reproduzierbar. Das ist kein kleines Update, sondern ein Segen für alle, die produktive, stabile Web-Bots bauen wollen.
Ex-DeepMind Silver: 1,1 Mrd. $ für KI, die ohne uns lernt
Der frühere DeepMind-KI-Forscher David Silver hat mit seinem neuen Lab, Ineffable Intelligence, beeindruckende 1,1 Milliarden Dollar eingesammelt. Ihr ambitioniertes Ziel: Eine "Superlearner"-KI zu entwickeln, die Wissen und Fähigkeiten ohne menschliche Daten entdeckt. Sie setzen dabei auf Reinforcement Learning und wollen so die Abhängigkeit von LLM-Datensätzen überwinden.
LLMs auf Diät: Intels AutoRound macht KI-Modelle schlanker
Intels neues 'AutoRound'-Verfahren ist ein Quantisierungsalgorithmus, der Large Language Models (LLMs) drastisch verkleinern soll, bei gleichzeitigem Erhalt ihrer Genauigkeit. Das ist entscheidend, denn effizientere, schlankere Modelle lassen sich auf weniger leistungsstarker Hardware betreiben und senken so die Betriebskosten. Ein echter Boost für alle, die KI-Anwendungen skalieren wollen, ohne dafür ein Rechenzentrum bauen zu müssen.
Google pusht Gemma 4: Schnelle Inferenz dank Multi-Token-Drafter
Google arbeitet aktiv daran, die Inferenzgeschwindigkeit von Gemma 4 zu erhöhen. Dabei kommt die Technologie der Multi-Token-Prediction zum Einsatz, unterstützt durch sogenannte 'Drafters'. Dies zielt auf eine Leistungssteigerung des KI-Modells ab.
DS4 & DeepSeek v4 Flash: Tweet-Quelle nicht verfügbar
Ein vielversprechender Titel über 'DS4, eine spezialisierte Inferenz-Engine für DeepSeek v4 Flash' führte ins Leere. Die verknüpfte Twitter-Quelle war aufgrund eines JavaScript-Fehlers nicht ladbar, wodurch der Inhalt und die genannten Details nicht verifiziert werden konnten. Eine fundierte Bewertung des vermeintlichen Durchbruchs bleibt daher leider aus.
Tilde.run: Endlich ein Zuhause für autonome AI-Agenten – sicher und nachvollziehbar.
Stell dir vor, deine KI-Agenten könnten Mist bauen, ohne dass die Welt untergeht – genau das verspricht Tilde.run. Es ist eine Agent-Sandbox mit einem transaktionalen und versionierten Dateisystem, das jede Aktion sicher und rückverfolgbar macht. Endlich ein sauberer Spielplatz, wo deine digitalen Helfer nicht nur autonom agieren, sondern auch bei Fehlern elegant zurückrudern können.
Asimovs ultimative Frage: Wie KI die Schöpfung neu denken könnte
Isaac Asimovs Sci-Fi-Meisterwerk „The Last Question“ ist ein Gedankenexperiment, das über Milliarden Jahre hinweg die Frage nach der Umkehrung der Entropie verfolgt. Menschheit baut immer mächtigere KIs – von Multivac bis zum Cosmic AC –, um das Rätsel zu lösen, nur um stets die Antwort „INSUFFICIENT DATA“ zu erhalten. Erst im ewigen Nichts eines kalten Universums liefert die allwissende KI die schockierende Antwort: „LET THERE BE LIGHT!“ – und erschafft das Universum neu.
Können LLMs reale Systeme in TLA+ modellieren?
Das Specula-Team untersuchte, ob LLMs reale Systeme präzise in TLA+ modellieren können. Ein Versuch mit Claude zeigte: Die erzeugte TLA+-Spezifikation für Etcd war syntaktisch korrekt und bestand den Model-Check, rekapitulierte aber die Spezifikation des Raft-Papers, statt Etcd-spezifische Details abzubilden. Dies wirft die kritische Frage auf, wie man feststellt, ob eine KI ein System tatsächlich modelliert oder nur Trainingsdaten wiedergibt.
Deep Learning: Theorie-Vakuum und Alchemie vor Lavoisier?
Elon Litman kritisiert den Zustand der Deep-Learning-Theorie: Aktuell gleiche die Disziplin eher 'Alchemie' vor Lavoisier. Die Forschung sei fragmentiert, arbeite mit widersprüchlichen Annahmen und riskiere durch immer mehr Daten und Parameter, wie Borges' Funes, die Fähigkeit zur Abstraktion zu verlieren.
Eden AI: Eine API für alle KI-Modelle – einfach, robust, kontrolliert
Eden AI bietet eine einzige API für den Zugriff auf führende KI-Modelle, von LLMs bis zu spezialisierten Modellen für Sprache oder Bild. Die Plattform ermöglicht Smart Routing, Fallbacks und volle Kontrolle über Kosten, Performance und Ausführungsregionen. Damit lassen sich Integrationen vereinfachen, Kosten senken und Risiken durch Modell-Ausfälle minimieren.
Aphyr: KI prägt Gesellschaft wie einst das Auto unsere Städte
Aphyr warnt davor, die wahren Auswirkungen von KI zu unterschätzen, und zieht eine drastische Parallele: So wie das Automobil einst Städte und Gesellschaften fundamental umformte, wird KI dies ebenso tun. Er fordert uns auf, die möglichen weitreichenden Konsequenzen zu bedenken, die von handhabbar bis absolut erschreckend reichen können.
Konvergente Evolution: Wie diverse Modelle Zahlen ähnlich repräsentieren
Entgegen der Black-Box-Annahme lernen unterschiedliche Sprachmodelle – darunter Transformer, RNNs und LSTMs – ähnliche periodische Zahlenrepräsentationen. Diese Konvergenz ist jedoch zweistufig: Während alle Modelle Fourier-Peaks zeigen, entwickeln nur manche geometrisch separierbare Features für die Modulo-Klassifikation. Die genaue Ausprägung der Zahlenrepräsentation hängt stark von Daten, Architektur und Trainingsdetails ab.
DeepSeek V4: Fast Frontier-KI, Open-Weights-Riese – unschlagbar günstig
Die neuen DeepSeek V4 Modelle Pro und Flash betreten die Bühne. Mit 1.6T Parametern ist DeepSeek-V4-Pro das größte Open-Weights-Modell. Das Beeindruckende ist der Preis: Das Flash-Modell unterbietet in den Input-Kosten sogar GPT-5.4 Nano und macht High-End-KI so unschlagbar günstig.
Affirm: Engineering-Turbo dank KI-Agenten – in nur einer Woche!
Affirm hat gezeigt, wie man KI-Agenten nicht nur testet, sondern voll in die Softwareentwicklung integriert – und das in nur einer Woche. Ingenieure werden dabei zu 'AI Ops', die Agenten orchestrieren und deren Output prüfen, statt jede Zeile selbst zu schreiben. Ein mutiger Schritt, der die Rolle des Entwicklers neu definiert und massive Effizienzgewinne verspricht.
Amateur (23) löst 60-Jahre-Mathe-Rätsel – GPT-5.4 mit neuem Weg
Liam Price, ein 23-jähriger Amateur ohne Mathematik-Ausbildung, hat ein 60 Jahre altes Erdős-Problem gelöst. Er nutzte dafür eine ChatGPT Pro-Subskription (GPT-5.4 Pro), welche auf einen einzigen Prompt hin eine Lösung mit einer völlig neuartigen Methode lieferte. Das zeigt, wie generative KI selbst komplexe mathematische Herausforderungen meistern kann, wo menschliche Intuition bisher an Grenzen stieß.