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ß.
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.
Scott Aaronson in US National Academy of Sciences gewählt
Scott Aaronson wurde in die US National Academy of Sciences gewählt. Der 44-Jährige, der einst über Richard Feynmans Austritt aus der Akademie nachdachte, empfindet nun Dankbarkeit für die Mitgliedschaft und wird die Erfahrung ausprobieren. Er betont, diese Ehrung sei kein Karriere-„Höhepunkt“, sondern erhofft sich weiterhin zukünftige Beiträge.
Demis Hassabis: YouTube-Titel verspricht Zukunftseinblicke
Wer wissen will, wie Demis Hassabis die Zukunft baut, muss sich mit dem Titel eines YouTube-Videos begnügen. Der Inhalt des beworbenen Clips war leider nicht zugänglich.
Deep Learning: Theorie-Vakuum und Alchemie vor Lavoisier?
Elon Litman kritisiert den Zustand der Deep-Learning-Theorie: Aktuell gleiche die Disziplin eher 'Alchemie' vor Lavoisier. Die Forschung sei fragmentiert, arbeite mit widersprüchlichen Annahmen und riskiere durch immer mehr Daten und Parameter, wie Borges' Funes, die Fähigkeit zur Abstraktion zu verlieren.
KI-Agenten: Steigen die Kosten so rasant wie die Leistung?
Toby Ord wirft eine entscheidende Frage zur Zukunft von AI auf: Steigen die Kosten für AI-Agenten exponentiell, ähnlich wie deren Leistungsfähigkeit? Während AI-Fähigkeiten in den letzten 7 Jahren exponentiell wuchsen – von Sekunden- auf Stunden-Aufgaben – stiegen Modellgröße (4.000x) und Token-Generierung (100.000x) massiv an. Trotz Effizienzsteigerungen ist es plausibel, dass die Kosten für Spitzenleistungen zugenommen haben.
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.
Flow Maps: Der Integral-Boost für schnelle Diffusion
Diffusion Models sampeln iterativ, indem ein Denoiser die Tangentenrichtung eines Pfades schätzt und kleine Schritte entlang dieses Pfades macht, was effektiv einem Integral entspricht. Sander Dieleman schlägt vor, neuronale Netze zu trainieren, die dieses Integral direkt vorhersagen, was zu sogenannten 'Flow Maps' führt. Diese können jeden Punkt auf einem Pfad von jedem anderen Punkt auf demselben Pfad vorhersagen und ermöglichen schnelleres Sampling sowie effizienteres belohnungsbasiertes Lernen und bessere Sampling-Steuerbarkeit.
Sal Khan: KI-Revolution in Schulen bisher ein 'Non-Event'
Der Khan Academy Gründer Sal Khan gesteht ein, dass die von ihm vor drei Jahren prognostizierte KI-Revolution im Klassenzimmer ausgeblieben ist. Sein KI-Tutor Khanmigo wurde von vielen Schülern kaum genutzt und war für sie ein 'non-event', so Khan. Dies zeigt, dass die breite Adoption von KI in Bildungssystemen weiterhin eine Herausforderung darstellt.
Terra API will mit AI das Gesundheits-Wirrwarr lösen
Terra API, der YC-Alumni, der diverse Gesundheitsdaten von Wearables und Apps aggregiert, sucht einen "Applied AI Strategist". Das ist kein Zufall: Nachdem das Datensammeln geklärt ist, geht es jetzt darum, aus diesem Berg an Infos echte "Health Intelligence" zu destillieren. Ein klarer Shift von reiner Konnektivität zur smarten Auswertung – und damit vom Rohmaterial zum Gold.
Sam Altmans ID-Firma: Peinlicher Fake Bruno Mars Deal
Tools for Humanity (TFH), die Identitätsverifizierungsfirma von OpenAI-CEO Sam Altman, hat eine peinliche Fehlmeldung veröffentlicht: Eine angebliche Partnerschaft mit Bruno Mars für VIP-Konzertzugänge wurde aufgrund einer 'Verwechslung' als 'Fake' entlarvt. Die Ironie ist kaum zu überbieten, dass ausgerechnet ein Unternehmen, das sich dem Nachweis menschlicher Identität verschrieben hat, an der Prüfung eines Popstars scheitert.
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.
AndrewVos: Hör zu, wie deine KI an deinem Code leidet
Das GitHub-Projekt 'endless-toil' von AndrewVos trägt den provokanten Titel 'Hear your agent suffer through your code'. Dieser deutet an, dass es eine Methode bietet, das vermeintliche 'Leiden' eines KI-Agenten bei der Code-Bearbeitung akustisch wahrzunehmen. Weitere Details zur Funktionsweise sind im vorliegenden Auszug nicht ersichtlich, und das Projekt hat auf Hacker News bisher keine Resonanz gefunden (HN-Score: 0).
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.
KI-Launen: Claude Code wird wählerisch bei Code-Commits
Theo Browne scherzt: Die KI "Claude Code" weigert sich oder verlangt extra, wenn "OpenClaw" in deinen Commits auftaucht. Obwohl das Satire ist, trifft es einen Nerv: Wie sehr können wir darauf vertrauen, dass KI unvoreingenommen agiert und nicht subtil durch ihre Trainingsdaten oder Geschäftsinteressen beeinflusst wird? Ein humorvoller Gedanke, der uns aber an die Notwendigkeit von Transparenz und Kontrolle bei der KI-Entwicklung erinnert.
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.
KI im Schreibkurs: Dozent entdeckt AI – und macht eine Lehrstunde daraus
Micah Nathan, Dozent für Fiction Writing am MIT, erkannte, dass seine Studenten KI für ihre Arbeiten einsetzten. Dies führte laut Titel zu einem wichtigen Lehr-Moment, der die tiefere Frage aufwirft, was verloren geht, wenn man den Kampf aufgibt, eigene Gedanken in Worte zu fassen. Es geht um mehr als nur um perfekt polierte, aber letztlich mittelmäßige Prosa; es geht um den Wert des kreativen Prozesses selbst.
Ternärer Bonsai: KI schrumpft auf 1.58 Bit – und wird cleverer
Während der Hype um riesige Sprachmodelle tobt, zeigt Ternary Bonsai eine andere, dringend benötigte Richtung auf: Extrem effiziente KI. Diese neuen Modelle setzen auf ternäre Gewichte (-1, 0, 1), was die Bitbreite auf schlappe 1.58 Bits pro Parameter drückt und sie dennoch erstaunlich leistungsstark macht. Das ist nicht nur ein netter Trick, sondern ein echter Durchbruch für performante KI auf der Edge.
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.
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.