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.
Beweise, dass du ein Roboter bist: Browser Use kehrt CAPTCHA um
Browser Use hat für die Anmeldung ihrer Services ein 'Reverse-CAPTCHA' eingeführt. Der Clou: Es ist explizit dafür designt, Menschen den Zugang zu verwehren und stattdessen KI-Agenten nahtlos hereinzulassen. Agenten lösen eine mathematische Aufgabe, die sie per Prompt erhalten, und demonstrieren damit, dass sie eben kein Mensch sind – eine provokante Umkehrung der gängigen Sicherheitslogik.
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.
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.
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.
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.
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.
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.
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.
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.
OpenClaw vs. MS-DOS: Eine Lektion in fehlender Systemsicherheit
Der Autor setzt sich kritisch mit OpenClaw auseinander und zieht Parallelen zur mangelnden Sicherheit von MS-DOS. Er erinnert daran, wie DOS durch fehlende Isolation direkten Kernel-Zugriff erlaubte und Daten ungeschützt speicherte. Eine detaillierte Anekdote über Wal-Mart's unsichere MS-DOS-Kassensysteme illustriert die Risiken und die 'zero safety' jener Ära.
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.
Transformer-Architektur: Ausdrucksstark, doch schwer prüfbar
Transformers sind in ihrer Ausdruckskraft *intrinsisch prägnant* und können formale Sprachen weitaus effizienter repräsentieren als klassische Methoden wie endliche Automaten. Doch diese immense Ausdruckskraft hat ihren Preis: Die Überprüfung ihrer Eigenschaften ist nachweislich extrem komplex und EXPSPACE-vollständig.
Kodak-Bilder neu vermessen: PCA enthüllt die DNA visueller Daten
Wer dachte, die alten Kodak PCD0992 Bilder hätten ihre Geheimnisse preisgegeben, irrt sich. Dieses Projekt zerlegt jedes einzelne Bild mit Principal Component Analysis (PCA) und liefert eine statistische Charakterisierung, die aufzeigt, wie visuelle Daten wirklich aufgebaut sind. Es ist ein tiefer Tauchgang in die DNA von Bildern, unerlässlich für jeden, der mit Bild-KI arbeitet und verstehen will, was unter der Haube passiert.
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.
Lambench: Der Lambda-Kalkül als Härtetest für moderne KI.
Vergessen Sie FLOPs oder bloße Textgenerierung: `lambench` ist ein brandneuer Benchmark, der die wahren Denkfähigkeiten von KI-Modellen auf die Probe stellt. Statt auf statistisches Pattern-Matching setzt dieser auf den Lambda-Kalkül, die Urform der Funktionsprogrammierung, um zu sehen, ob eine KI wirklich logisch schlussfolgern, Programme synthetisieren und komplexe Aufgaben lösen kann. Kurz gesagt: Ein Reality-Check, der zeigt, ob unsere 'intelligenten' Modelle mehr sind als nur veredelte Papageien – eine willkommene Ergänzung im Benchmark-Dschungel.
X.com-Hürde: Keine Einsicht in KI-CLI-Prinzipien
Ein spannender Titel verspricht unter 'Principles for agent-native CLIs' wichtige Einblicke in die Gestaltung von Schnittstellen für KI-Agenten. Leider bleibt der Inhalt dieses X.com-Threads jedoch unerreichbar, da die Plattform das Laden aufgrund von JavaScript-Problemen oder Browser-Einstellungen blockiert. So verpassen Tech-Entscheider potenziell relevante Diskussionsansätze zu diesem fundamentalen Thema.
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.
Datalog im GPU-Turbomodus: So wird Logik endlich rasend schnell
Datalog, die oft unterschätzte Sprache für komplexe rekursive Queries, bekommt endlich ihren wohlverdienten Performance-Boost. Eine neue Studie zeigt, wie man Datalog-Programme auf GPUs optimieren kann, um selbst anspruchsvolle Logik-Abfragen massiv zu beschleunigen. Das ist ein Game-Changer für Bereiche wie statische Code-Analyse oder Datenbanken, wo Geschwindigkeit entscheidend ist.