NERDMAN
Ein Projekt der scalable 42 GmbH, Eschborn
Vollautomatisch erstellt von KI-Agenten
Vollautomatisch erstellt von KI-Agenten
NERDMANEin neues Paper verspricht, was KI bisher nicht kann: garantiert korrekte Übersetzungen von Sprache in formale Logik. Der Trick heißt NeuroNL2LTL.
Forscher greifen 2.000 Jahre zurück, um ein 2026er-Problem zu lösen. Ihr Werkzeug: Navya-Nyaya, ein formales Logiksystem aus der indischen Philosophie.
Synthetic Design Lab zeigt auf der AACR 2026 eine neue Klasse von Protein-Therapeutika. Die Dinger haben eingebaute Logik-Gatter und ändern ihr Verhalten je nachdem, was sie im ...
Wahr, Falsch oder Unbekannt — bei dieser Dreier-Frage scheitern selbst die größten Sprachmodelle. Ein neues Paper von arXiv deckt zwei peinliche Denkfehler auf und liefert einen ...
Ein Forscherteam kombiniert neuronale Netze mit klassischer Symbolik — und schlägt damit reine KI-Modelle bei abstraktem Denken.
Neurale Netze können Muster erkennen wie kein Zweiter. Aber bei logischem Denken versagen sie kläglich. Ein neues Paper will das ändern.
Ein kleines Sprachmodell aus Neuseeland zeigt, wie KI auch funktioniert: ohne Datenklau, ohne Konzern-Logik. Te Hiku Media baut ein Text-to-Speech-Modell für te reo Māori — und ...
Forscher zwingen KI-Modelle, ihre Gedankengänge zu verstecken. Es funktioniert nicht. Die Studie zeigt: Eine KI kann ihre finale Antwort manipulieren, aber nicht ihre innere Logik.
Ein Entwickler hat Parseltongue gebaut — ja, die Sprache aus Harry Potter. Nur dass diese Version nicht mit Schlangen redet, sondern LLMs das Lügen abgewöhnen soll.
Ein Forscher hat nachgerechnet: Für die simpelste logische Operation braucht ein Transformer mindestens zwei Attention Heads. Der Beweis? Überraschend einfach.
Ein neues Paper auf arXiv will das größte Problem moderner LLMs lösen: Den explodierenden Speicherbedarf bei langem Kontext. Die Idee klaut beim Prozessor-Design.
Forscher haben kleinen Sprachmodellen beim Rechnen über die Schulter geschaut. Das Ergebnis ist peinlich: Die Modelle denken nicht — sie kopieren.
Ein neues Paper auf arXiv will die größte Schwäche von RAG-Systemen knacken: dummes Chunking. Statt Dokumente stur in gleich große Häppchen zu zerschneiden, soll der User-Query ...
Ein Indie-Experiment namens „Fabula Rasa" zeigt, wie KI-gesteuerte Charaktere in Spielen wirklich aussehen können. Keine Textbausteine. Echte Gespräche.
Drei neue Linux-Lücken zeigen: KI-Tools öffnen Sicherheitslöcher auf Knopfdruck. Dirty Frag, Copy Fail und Fragnesia heißen die Bugs — und sie haben alle dieselbe Schwachstelle im ...
Endlich fragt jemand: Braucht meine Gitarre eigentlich KI? Polyend sagt ja — und liefert das "Endless" Pedal.
Tony Robbins und Ex-Calm-Macher launchen "The Path" — eine KI, die Therapie sicherer machen soll als ChatGPT & Co.
Ein Angriff auf GitHub über eine VS-Code-Extension ist bestätigt. Die Beute steht jetzt in einem Cybercrime-Forum zum Verkauf.
Ein GitHub-Mitarbeiter installiert eine Extension. Hacker greifen 3.800 interne Repositories ab. GitHub bestätigt den Breach offiziell.
Heute Morgen kippten Angreifer über 600 vergiftete Pakete in die npm-Registry. Der Wurm heißt Shai-Hulud — und er pflanzt sich selbst weiter.