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ß.
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.
Nie mehr ruckelige 3D-Maps: LingBot-Map bringt den KI-Turbo
Vergesst die ruckeligen 3D-Karten, die ihr kennt: LingBot-Map bringt den KI-Turbo für die Echtzeit-Rekonstruktion. Dieses neue System nutzt einen "Geometric Context Transformer", um aus Kameradaten flüssige und kontextreiche 3D-Modelle zu zaubern. Damit wird die Umgebung nicht nur abgebildet, sondern wirklich verstanden – ein Quantensprung für Robotik und AR/VR.
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.
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.
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.
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.
WebGPU-Power: Gemma 4 E2B zeichnet Excalidraw direkt im Browser
Diese neue Demo zeigt, wie Googles Gemma 4 E2B KI direkt im Browser – powered by WebGPU – Text-Prompts in Excalidraw-Zeichnungen verwandelt. Das 3.1 GB große Modell läuft komplett lokal auf dem Desktop (Chrome 134+). Es erzeugt kompakten Code anstelle von umfangreichen JSON-Daten für effiziente Diagramme.
Softmax: Überall im ML. Doch was tut es wirklich – und der Jacobian?
Softmax ist aus modernen ML-Anwendungen nicht wegzudenken und erscheint täuschend simpel. Es wandelt beliebige Zahlen in Werte zwischen 0 und 1, die sich zu 1 addieren, und projiziert Vektoren auf den Wahrscheinlichkeits-Simplex. Der Artikel beleuchtet diese Funktion genau und hinterfragt die Notwendigkeit, ihren komplexen Jacobian zu verstehen, der die Interaktionen zwischen Dimensionen aufzeigt.
Game-Changer: Gaussian Splats bringen Fotorealismus ins Spiel
Gaussian Splatting ist die neue Wunderwaffe für fotorealistische 3D-Szenen aus Fotos, doch bisher blieben die beeindruckenden Ergebnisse statisch. Jetzt hat PlayCanvas demonstriert, wie man diese „Splats“ in vollwertige, interaktive Videospiel-Umgebungen verwandelt – inklusive Bewegung, Kollision und Game-Logik. Das katapultiert uns vom passiven Betrachter zum aktiven Spieler in gescannten Realwelten und könnte die Content-Erstellung für Gaming und VR/AR revolutionieren.
MuJoCo: DeepMinds Physik-Simulator für komplexe Dynamik
MuJoCo, ein Projekt von Google DeepMind auf GitHub, ist ein hochentwickelter Physik-Simulator. Er wurde speziell für die Simulation von Multi-Joint-Dynamik mit Kontakt konzipiert. Damit bietet er eine vielseitige Basis für anspruchsvolle physikalische Modellierungen.
DeepMinds Gemini Robotics ER 1.6: Roboter lernen wahrnehmen & handeln
DeepMind präsentiert Gemini Robotics ER 1.6, ein System für "Enhanced Embodied Reasoning". Es ermöglicht Robotern, ihre Umgebung wahrzunehmen, zu argumentieren, Werkzeuge zu nutzen und zu interagieren. Dies ist ein entscheidender Schritt für autonomere und flexiblere Robotik.
DeepMind: Roboter lernen mit Gedächtnis – so schnell wie nie zuvor.
DeepMind hat mit Gemini Robotics-ER 1.6 einen echten Sprung gemacht: Roboter lernen jetzt mit "episodischem Gedächtnis" und einer robotereigenen Sichtweise auf die Welt. Das bedeutet, sie können sich an frühere Aktionen erinnern und Zusammenhänge besser verstehen, was die Lernzeit drastisch verkürzt und sie unabhängiger von riesigen Datensätzen macht. Ein Game-changer für alle, die hoffen, dass Roboter bald mehr als nur vordefinierte Schritte ausführen können.
Endlich fair? KI-Vermittler verspricht gerechte Ergebnisse mit Nash-Bargaining.
Mediator.ai packt das Problem der Fairness systematisch an: Es kombiniert Large Language Models (LLMs) mit Nash-Bargaining, einem mathematischen Modell für faire Verhandlungen. Ziel ist es, in komplexen Szenarien mit widerstreitenden Interessen objektiv gerechte Kompromisse zu finden. Schluss mit nur-guten-Vorsätzen, hier kommt die Algorithmisierung der Gerechtigkeit.
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.
ROS 2: FusionCore bringt Präzision in die Roboter-Positionierung
Roboter präzise navigieren? Oft ein Ritt auf Messers Schneide. FusionCore für ROS 2 löst dieses Problem der Sensorfusion, indem es IMU, GPS und Encoder via Unscented Kalman Filter (UKF) zu einer robusten Positionsschätzung vereint. Das Resultat: Stabilere und genauere Navigation für autonome Systeme – ein Must-have für Entwickler, die auf zuverlässige Performance setzen.
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.
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.
PCA-Erweiterung: Polynom-Autoencoder verbessert Transformer-Embeddings
Ein Blogpost stellt eine Methode vor, die PCA für die Kompression von Transformer-Embeddings verbessert: Ein polynomialer Autoencoder (PAE). Dabei bleibt der Encoder eine einfache PCA, während ein quadratischer Decoder nicht-lineare Anteile der Embeddings erfasst. Diese seit 2017 bekannte, geschlossene Lösung reduziert den Informationsverlust im Vergleich zu reinem PCA und erreicht auf Benchmarks wie BEIR/FiQA eine deutlich höhere Retrieval-Qualität.