Suche
OpenAIs Codex: Code für fast alles
OpenAIs 'Codex for almost everything' ist ein KI-Modell, das verspricht, Code für ein extrem breites Spektrum an Aufgaben zu generieren. Damit positioniert sich OpenAI erneut an der Spitze der Automatisierung von Softwareentwicklung.
LLMs: Schluss mit Typen-Chaos nach der Generierung?
Large Language Models erzeugen zunehmend Code für Sprachen wie Idris oder Lean. Aktuell produzieren sie jedoch untypisierte Token-Listen, deren Typsicherheit erst nachträglich und ad-hoc geprüft wird. Der Artikel hinterfragt diese "Post-Training"-Methoden und schlägt vor, LLMs von Grund auf für die direkte Erzeugung typisierter Ausgaben zu trainieren.
Lokal-LLMs im Flieger: MacBook M5 Max stemmt 10 Stunden offline
Ein Autor hat auf einem 10-Stunden-Flug getestet, wie leistungsfähig lokale LLMs wie Gemma 4 31B und Qwen 4.6 36B auf einem MacBook Pro M5 Max mit 128GB sind. Über LM Studio generierte er ein komplexes Billing-Tool und verarbeitete Millionen von Tokens, wobei die Qualität für spezifische Aufgaben mit Frontier-Modellen mithalten konnte. Grenzen zeigten sich bei Akkulaufzeit (1% pro Minute), Hitze und Context-Länge (Abbau nach 100k Tokens), was aber die beeindruckende Offline-Performance nicht schmälert.
LLMs wandeln Wissenschaftssätze in JSON: Bedeutungstreue bestätigt
LLMs beweisen sich erneut als Struktur-Talente: Eine aktuelle Studie untersuchte, ob sie wissenschaftliche Sätze in hierarchische JSON-Formate überführen können, ohne deren Bedeutung zu verlieren. Ein feinjustiertes LLM generierte solche JSONs, die dann wiederum Text rekonstruierten. Der Vergleich zeigte klar: Hierarchische Formate können die Informationen wissenschaftlicher Texte effektiv bewahren.
Anthropic lüftet Geheimnis: KI-Gedanken werden Text – für mehr Kontrolle
Anthropic hat mit Natural Language Autoencoders einen Durchbruch erzielt: Sie übersetzen die komplexen internen "Gedanken" von KI-Modellen wie Claude in für uns lesbaren Text. Das ist kein kleiner Trick, sondern ein massiver Schritt, um die Blackbox LLM zu öffnen – und endlich zu verstehen, wie und warum diese Modelle ticken. Damit wächst nicht nur die Transparenz, sondern auch das Potenzial für sicherere und besser steuerbare KI-Systeme.
Text-to-CAD: KI macht 3D-Design zum Chat-Befehl
Stell dir vor, du beschreibst ein Bauteil in Textform und erhältst ein fertiges CAD-Modell. 'Text-to-CAD' ist genau das: Ein Open-Source-Projekt auf GitHub, das zeigt, wie KI das Engineering-Design revolutionieren könnte. Es demonstriert eindrucksvoll das Potenzial von Large Language Models, komplexe Designprozesse zu vereinfachen und die Barriere zum 3D-Modellieren drastisch zu senken – ein Blick in die smarte Zukunft des Entwerfens.
Claude als IP-Stack: Wie weit lässt sich KI für Netzwerk-Logic pushen?
In einem faszinierenden Experiment treibt Adam Dunkels die Idee, dass Markdown Code ist, auf die Spitze: Er instruiert Claude Code, als User-Space IP-Stack auf Pings zu antworten. Die LLM soll IP-Pakete byte für byte parsen und replizieren, ein Ansatz, den Dunkels selbst als 'ridikulös' und 'tokenverschwenderisch', aber auch 'lustig' beschreibt. Das generierte Skript zur Paketverarbeitung sieht einen 35-Sekunden-Timeout für das Lesen eines Pakets vor, was die theoretische Natur dieses tiefgreifenden LLM-Einsatzes unterstreicht.
WaveFunctionCollapse: KI-Trick erschafft Welten aus einem Pixel-Schnipsel
WaveFunctionCollapse (WFC) ist ein faszinierendes Verfahren, das aus einem einzigen Beispielbild kohärente, unendliche Welten generieren kann – und das ganz ohne schwerfällige KI-Modelle. Es analysiert die Nachbarschaftsbeziehungen der Pixel im Input und setzt sie dann klug zu neuen Mustern zusammen, die überraschend vielseitig und ästhetisch ansprechend sein können. Ein geniales Konzept für alle, die prozedurale Generierung lieben, denn es zeigt, dass auch simple Algorithmen verblüffende Komplexität erzeugen können.
Vera: Die Programmiersprache, von KI-Modellen geschrieben
Vera ist eine Programmiersprache, die explizit dafür entwickelt wurde, von KI-Modellen geschrieben zu werden. Dieser Ansatz dreht die traditionelle Softwareentwicklung um und macht maschinelle Code-Erzeugung zum primären Designziel.
Talkie: 13B-Sprachmodell aus 1930 – Blick in die AI-Vergangenheit
Talkie ist ein 13B-Sprachmodell, das ausschließlich auf Texten vor 1931 trainiert wurde. Das ernsthafte Forschungsprojekt simuliert die Interaktion mit einem Modell der Vorkriegszeit, um das allgemeine Verständnis von KI zu vertiefen. Die Ausgaben spiegeln dabei die Kultur und Werte der historischen Trainingsdaten wider.
3D-Körper aus 8 Fragen: Ohne Foto, ohne GPU zum präzisen Avatar
Ein neues Verfahren generiert mit nur acht Fragen einen präzisen 3D-Körper, ganz ohne Fotos oder leistungsstarke GPUs. Ein kleines MLP verarbeitet die Eingaben in Millisekunden auf einer CPU und gibt 58 Anny-Body-Parameter aus. Dies übertrifft die Genauigkeit von Foto-Pipelines bei Umfängen und löst Datenschutz- sowie Kostenprobleme.
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.
Qwen/Qwen3.6-27B: Mysteriöser Code-Eintrag auf Hugging Face
Ein neuer Eintrag für `Qwen/Qwen3.6-27B` ist auf Hugging Face verfügbar. Die Quelle liefert ausschließlich Template-Code zur Verarbeitung multimodaler Inputs und Tool-Calls. Dies deutet auf eine komplexe Systemarchitektur hin, lässt aber detaillierte Informationen zum eigentlichen AI-Modell komplett vermissen.
Alignment-Whack-a-Mole: Finetuning lässt LLMs Copyright-Bücher spucken
Ein neues Paper zeigt auf: Wenn Large Language Models (LLMs) mit urheberrechtlich geschützten Büchern trainiert werden, können spätere Finetuning-Schritte diese Inhalte reaktivieren. Selbst wenn das Modell zuvor darauf getrimmt wurde, diese Daten zu "vergessen", holt das Finetuning unerwartet die geschützten Texte wieder hervor. Das ist ein echtes "Alignment Whack-a-Mole" – ein Problem gelöst, zwei neue aufgetaucht, und es wirft ernste Fragen bezüglich IP und Datenmanagement auf.
Lokal AI siegt: Qwen 3.6 auf dem Laptop schlägt Claude Opus beim Pelikan-Malen
Wer braucht teure Cloud-Giganten, wenn ein lokales AI-Modell wie Qwen 3.6-35B-A3B auf dem eigenen Laptop bessere Arbeit leistet? Simon Willison hat genau das bewiesen, als Qwen seinen Pelikan überzeugender zu Papier brachte als der vermeintlich überlegene Claude Opus 4.7. Das stellt die altbekannte Gleichung 'größer = besser' gehörig auf den Kopf und zeigt das Potenzial von effizienten, dezentralen AI-Lösungen.
SDL untersagt KI-Commits mit 'LLM Policy?'
Im SDL-Projekt auf GitHub wird unter Issue #15350 eine 'LLM Policy?' diskutiert. Laut Artikelbeschreibung resultiert dies in einem Verbot für von KI generierte Code-Commits. Der bereitgestellte Quellauszug enthält jedoch keine weiteren Details zu den Beweggründen oder Inhalten dieser Policy.
KI täuscht Qualität vor: Das Ende der Proxy-Bewertung
Die Wissensarbeit beruht traditionell auf „Proxy-Maßen“ wie oberflächlicher Schreibqualität, um die Güte von Ergebnissen zu beurteilen, da echte Qualitätsprüfung aufwendig ist. Doch Large Language Models (LLMs) untergraben dieses System. Sie simulieren mühelos hochwertigen Output, der perfekt aussieht – sei es ein Beratungsbericht oder Code –, ohne dass die tatsächliche zugrundeliegende Qualität der Arbeit vorhanden sein muss.
Unzensiert ist Illusion: KI-Modelle zögern bei "heiklen" Wörtern
Der Begriff 'unzensierte' KI ist ein Mythos. Eine Studie deckt den 'Flinch'-Effekt auf: Sicherheitsgefilterte Modelle wie Qwen3.5-9b-base zeigen eine drastisch geringere Wahrscheinlichkeit für kritische Wörter ('deportation') als ungefilterte Modelle wie Pythia-12b – ein Unterschied von bis zu 16.000x. Selbst das als 'unzensiert' beworbene Modell 'heretic' (ein Qwen3.5-9B-Derivat) weigert sich, bestimmte Begriffe auszuspucken, was die Frage aufwirft, ob diese Modelle nicht doch heimlich zensiert sind.
M4 & lokale KI: Der Kampf um unabhängige Inference – ein Erfahrungsbericht
Lokale KI-Modelle auf einem M4-Chip mit 24GB Speicher zum Laufen zu bringen, ist kein Kinderspiel, aber machbar. Der Autor hat nach intensiven Tests eine stabile Konfiguration gefunden: Qwen 3.5-9B (4b quant) läuft über LM Studio mit respektablen 40 Tokens/Sekunde und 128K Kontextfenster. Damit ist eine spannende Unabhängigkeit von großen Cloud-Anbietern für grundlegende Aufgaben möglich, wenn auch nicht auf SOTA-Niveau.
KI-Goblins: Wie unbeabsichtigte Muster in Modellen zum Vorschein kommen
OpenAI lüftet das Geheimnis der 'Goblins' – jener bizarren, aber faszinierenden Verhaltensweisen, die in ihren riesigen Sprachmodellen auftauchen, obwohl niemand sie programmiert hat. Es geht um emergente Phänomene: Modelle entwickeln aus der schieren Datenflut eigenständige Repräsentationen und "Skills", die wir noch nicht vollständig entschlüsseln können. Ein klarer Weckruf, der zeigt, wie unberechenbar und doch brilliant unsere KI-Systeme sein können.