Suche
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.
Apple's ml-sharp im Browser: Gaussian Splats via ONNX Runtime Web
Ein neues GitHub-Projekt präsentiert ein Web-Playground, das Apples ml-sharp Modell im Browser zum Laufen bringt. Ziel ist die Erstellung von Gaussian Splats direkt im Browser, realisiert mithilfe von ONNX Runtime Web. Damit wird eine spezifische 3D-Rekonstruktions-Technologie von Apple clientseitig zugänglich gemacht.
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.
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.
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.
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ß.
Flipbook.page: Live-Stream direkt aus einem Modell
Die Website flipbook.page bewirbt sich mit dem Titel 'Website streamed live directly from a model'. Der einzige verfügbare Quellinhalt ist das Wort 'Flipbook', was unklar lässt, welche Art von 'Modell' hier Inhalte live streamt. Diese extrem knappen Informationen erschweren eine Einschätzung der dahinterliegenden Technologie oder des genauen Anwendungsfalls erheblich.
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.
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.
GLM-5V-Turbo: Ein Schritt zum nativen Fundament für Multimodal-KI
GLM-5V-Turbo wird als ein Schritt hin zu nativen Fundamentmodellen für multimodale Agenten vorgestellt. Das Modell zielt darauf ab, eine grundlegende Basis für KI-Systeme zu schaffen, die von Natur aus für die Verarbeitung und Nutzung verschiedener Modalitäten konzipiert ist.
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.
Agentic Coding: Wie wir programmieren, wenn KI Code spottbillig macht
Die Ära des billigen Codes durch AI ist da, und das erfordert neue Spielregeln für die Softwareentwicklung. Dieser Artikel präsentiert 10 Lektionen für Agentic Coding, die klarstellen: Wenn Code günstig ist, implementieren Entwickler gerade, um zu lernen, schnell neu zu bauen und kühne Ideen auszuprobieren. Entscheidend wird, in robuste End-to-End-Tests zu investieren, die die Produktfunktionen absichern und ständiges Reinventing ermöglichen.
LLM-Wartezeiten nerven? Mach das Warten zum Spiel für deine User!
Warten auf LLM-Antworten kann frustrierend sein. Dieses Open-Source-Projekt auf GitHub schlägt vor, Nutzern währenddessen ein Spiel anzubieten. Eine clevere Idee, um Wartezeiten in unterhaltsame Momente zu verwandeln und die User Experience zu optimieren.
Hallucinopedia: Ein neuer Show HN-Eintrag
Ein Projekt namens 'Hallucinopedia' wurde als 'Show HN' auf Hacker News vorgestellt. Über den konkreten Inhalt dieses vielsagenden Titels liefert die Quelle jedoch keine Details. Manchmal ist ein Name alles, was man braucht, um Neugier zu wecken.
ChatGPT 5.5 Pro: Mathematische PhD-Forschung in Stunden – ist das Originalität?
Mathematiker Timothy Gowers berichtet, wie ChatGPT 5.5 Pro in nur einer Stunde eine mathematische PhD-Forschung ohne wesentliche menschliche Hilfe generierte. Obwohl LLMs Forschungsprobleme lösen und Argumente finden, die Menschen übersehen haben, zeigen nähere Betrachtungen oft, dass diese cleveren Lösungen auf bekannten Präzedenzfällen basieren. Es stellt sich die grundlegende Frage, ob dies echtes, originelles Denken ist oder nur eine beeindruckende Rekombination bestehenden Wissens.
Deep Learning: Eine wissenschaftliche Theorie formiert sich
Das Paper argumentiert, dass eine wissenschaftliche Theorie des Deep Learning im Entstehen begriffen ist. Sie soll wichtige Eigenschaften und Statistiken von Trainingsprozessen, Repräsentationen, Gewichten und der Performance neuronaler Netze charakterisieren. Die Autoren fassen dazu bestehende Forschungsstränge zusammen und identifizieren fünf wachsende Arbeitsbereiche, die auf diese Theorie hindeuten.
Talkie-1930: Historische Sprachmodelle als neue humanistische KI-Disziplin
Das am Montag öffentlich zugänglich gemachte "Talkie-1930" ist das größte historische Sprachmodell seiner Art und repräsentiert eine simulierte Kollektivität vergangener Epochen. Autor Benjamin Breen, ein Beta-Tester, sieht "Vintage LLMs" als den Startpunkt eines neuen humanistischen Forschungsfeldes, das aufdeckt, wie unterbewertet diese Perspektive in der gewinnorientierten KI-Entwicklung ist. Dies verdeutlicht, dass selbst auf die 2020er optimierte Modelle auf immense historische und vielsprachige Textdaten zurückgreifen.
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.
Tendril: KI-Agent baut sich seine Werkzeuge einfach selbst
Stell dir vor, deine KI schreibt nicht nur Code, sondern baut sich gleich die passenden Tools dazu: Tendril macht genau das. Dieses GitHub-Projekt zeigt einen selbst-erweiternden Agenten, der eigenständig neue Werkzeuge erstellt und integriert. Das ist ein echter Sprung nach vorne, denn es reduziert die manuelle Tool-Integration und lässt Agenten viel autonomer und adaptiver agieren.