Suche
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ß.
Constraint-Solver: Z3 macht komplexe Logik (wirklich) einfach
Dieser Artikel bietet eine 'dumme' Einführung in Z3, einem Constraint-Solver, der komplexe Probleme in handhabbare Logik verwandelt. Der Autor, selbst erst seit zwei Tagen mit Z3 vertraut, zeigt anhand von einfachen Beispielen wie Gleichungen und Sudoku, wie man Regeln festlegt und das Tool die Lösung findet. Es geht dabei nicht um maximale Performance, sondern darum, Regelsysteme spielend leicht anzupassen und zu lösen.
Agent Skills: KI-Agenten brauchen Senior-Engineer-Disziplin
Addy Osmani stellt sein Open-Source-Projekt 'Agent Skills' vor, das bereits 26.000 Sterne zählt. Es adressiert ein Kernproblem: AI-Coding-Agenten überspringen standardmäßig wichtige Senior-Engineer-Praktiken wie Spezifikationen, Tests und Code-Reviews, um den schnellsten Weg zum Ergebnis zu nehmen. 'Agent Skills' zielt darauf ab, diese entscheidenden, oft unsichtbaren Arbeitsschritte fest zu integrieren, damit KI-Agenten zuverlässige Software liefern, statt nur Code zu generieren.
Dein nächster AI-Dev-Assistent? Dirac dominiert den TerminalBench!
Der Open-Source AI-Agent Dirac hat den renommierten TerminalBench-Benchmark auf Basis von Gemini-3-flash-preview haushoch gewonnen. Das ist kein akademischer Sieg, sondern ein klares Signal: KI-Agenten werden immer effektiver darin, über das Terminal zu interagieren und könnten schon bald unsere Entwicklungsworkflows massiv optimieren. Ein klares Zeichen, dass der "AI-Co-Worker" vom Buzzword zur Realität wird.
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.
Code verstehen: Interaktive Wissensgraphen mit KI
Das GitHub-Projekt 'Understand Anything' transformiert Code und Wissensdatenbanken in interaktive Wissensgraphen. Nutzer können diese Graphen erkunden, durchsuchen und direkt Fragen stellen, um komplexe Inhalte besser zu erfassen. Das Tool funktioniert mit gängigen KI-Code-Assistenten wie Claude Code, Copilot und Gemini CLI, mit dem Ziel, Wissen aktiv zu vermitteln statt nur zu präsentieren.
AHK: Das Gerüst für anbieterunabhängige Multi-Agenten-Workflows
Das Agent-Harness-Kit (AHK) ist ein neues Gerüst für Multi-Agenten-Workflows, das Entwicklern den schnellen Start ermöglichen soll. Es positioniert sich als anbieterunabhängige Lösung und nimmt die Komplexität aus der Orchestrierung verschiedener KI-Agenten. Ein smarter Ansatz, um nicht im Ökosystem eines einzelnen Providers gefangen zu sein, wenn man auf Agenten-Syteme setzt.
Pu.sh: AI-Coding-Agent Harness in 400 Zeilen Shell – Einfach geht's doch!
Pu.sh ist ein beeindruckendes Beispiel dafür, dass KI-Infrastruktur nicht komplex sein muss. Dieser von den Machern selbstironisch als 'slop cannon' bezeichnete 'coding-agent harness' ist ein vollständiges System in nur 400 Zeilen Shell, das lediglich curl, awk und einen API-Key nutzt, ganz ohne npm, pip oder Docker.
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.
Zindex: Diagramm-Infrastruktur für Agenten – Endlich semantisch!
Zindex stellt eine Infrastruktur bereit, die KI-Agenten befähigt, Diagramme als langlebigen Zustand zu erstellen, zu bearbeiten und zu validieren – und nicht nur als flüchtiges Ergebnis. Über das Diagram Scene Protocol (DSP) beschreiben Agenten rein semantisch, was existiert; das Layout und die Darstellung in verschiedenen Formaten übernehmen die Engines automatisch und deterministisch. Dies ermöglicht Agenten, komplexe Abläufe und Architekturen robust und programmgesteuert zu visualisieren und zu verwalten.
Qwen3.6-Max-Preview: Smarter, schärfer, noch in Entwicklung
Qwen stellt mit der Qwen3.6-Max-Preview eine neue Version vor, die laut Titel „smarter, schärfer und noch in Entwicklung“ ist. Diese Vorschau deutet auf potenzielle Verbesserungen hin. Der Zusatz „still evolving“ mahnt jedoch zur Geduld, bis das volle Ausmaß der Neuerungen von Qwen sichtbar wird.
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.
Lineare Algebra (2023): Code-First & Praxisnah für AI und ML
Allen Downeys „Think Linear Algebra“ (2023) ist eine code-first und fallbasierte Einführung, die Lineare Algebra durch praktische Anwendung statt abstrakter Theorie greifbar macht. Leser lösen mit Python, NumPy und Jupyter Notebooks reale Probleme wie Traffic-Modellierung, um ein intuitives Verständnis der für ML und wissenschaftliches Rechnen essenziellen Konzepte aufzubauen. Dieses Werk richtet sich an alle, die einen hands-on Ansatz suchen und die Sprache hinter vielen KI-Technologien meistern möchten.
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.
KI als Gaming-Profi: Wie autonome Agenten Playtesting revolutionieren
Wer will schon ewig Bugs suchen? Jeff Schomay zeigt mit seiner 'Agentic Test Harness', wie autonome KI-Agenten Spiele selbstständig testen. Statt nur Skripte abzuarbeiten, treffen diese Agenten eigene Entscheidungen und könnten so Playtesting für immer verändern – schneller, effizienter, einfach besser.
MiniZinc: Die High-Level-Sprache für diskrete Optimierung
MiniZinc ist eine High-Level-Sprache zur Modellierung von Constraint-Problemen, die es erlaubt, diskrete Optimierungsprobleme präzise auszudrücken und zu lösen. Sie zeichnet sich durch lesbare, intuitive logische Konstrukte, Typensicherheit und Solver-Unabhängigkeit aus und vereinfacht mit einer großen Bibliothek vordefinierter Constraints die Modellierung komplexer Beziehungen wie Routenplanung oder Stundenplangestaltung.
Anthropic's Mythos: Die beste Cybersecurity-KI seit Jahrzehnten ist da.
Josephine Wolff, Professorin für Cybersicherheitspolitik, bewertet Anthropic's KI-Modell Mythos als die beste Cybersicherheits-Neuigkeit seit einem Jahrzehnt. Trotz anfänglicher Bedenken über seine Fähigkeit, Software-Schwachstellen zu finden und auszunutzen, argumentiert Wolff, dass Mythos das potenziell mächtigste Verteidigungswerkzeug darstellt, das wir je hatten.
SIRA: KI presst Suchrunden zu einer intelligenten Aktion
Vergesst endlose Suchrunden! Ein neues Paper stellt den 'SuperIntelligent Retrieval Agent' (SIRA) vor, eine KI, die mehrstufige Informationssuche in eine einzige, zielgerichtete Retrieval-Aktion komprimiert. Anders als herkömmliche RAG-Systeme fragt SIRA nicht nur nach relevanten Begriffen, sondern identifiziert jene, die gewünschte Evidenz präzise von unnötigem Rauschen trennen. Diese 'Superintelligenz' wird durch LLMs ermöglicht, die Dokumente offline anreichern und auf Abfrageseite Evidenz vorhersagen.
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.
AGI-Benchmark: YC-Startup Arc Prize sucht Engineering-Talent
Die Arc Prize Foundation, ein frisches YC-Startup (W26), sucht einen Platform Engineer, um ihren ambitionierten AGI-Benchmark ARC-AGI-4 voranzutreiben. Hier geht es nicht um Marketing-Buzz, sondern um den ernsthaften Versuch, "General Intelligence" in KI-Modellen messbar zu machen und so den Weg zur AGI zu ebnen. Auch wenn diese Stellenausschreibung (noch) unter dem Radar fliegt, zeigt sie, wie konkret die Jagd nach echter KI-Intelligenz wird.