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 Gericht hat entschieden: Google muss für falsche Antworten seiner KI-Übersichten geradestehen. Das Urteil dreht die bisherige Logik um — und könnte die ganze Branche treffen.
Ein neues Sprachmodell namens "Audio-Interaction" macht Schluss mit der lästigen Push-to-Talk-Logik. Es lauscht dauerhaft und entscheidet selbst, wann es den Mund aufmacht.
Ein Londoner Start-up baut KI, die Zutaten chemisch denkt — und schlägt damit klassische Rezept-Logik.
Ein neues Framework namens DiffuJudge-AV will LLM-Judges für autonome Fahrvideos zuverlässiger machen. Der Trick: Diffusion-Logik wird auf Bewertungs-Pipelines übertragen.
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 LessWrong-Forscher wollte beweisen: Abliteration kostet kaum Leistung. Sein eigenes Experiment hat ihn widerlegt.
Ein Labor in Großbritannien jagt eine Frage, die jeden Elternteil nervt: Was macht Bildschirmzeit eigentlich mit dem Kinderhirn? Antwort kommt per KI.
Forscher der University of Hong Kong haben einen neuromorphen Chip gebaut, der knapp über dem absoluten Nullpunkt arbeitet. Das Ding feuert elektrische Spikes wie ein echtes ...
Wall Street hat ein neues Lieblings-Akronym. Und die Hälfte davon will an die Börse — alle gleichzeitig.
Google hat ein offenes Sprachmodell mit 26 Milliarden Parametern veröffentlicht — und es schreibt Text auf eine Art, die so noch kein Big-Tech-Lab gewagt hat.
Google DeepMind hat heute DiffusionGemma vorgestellt — und macht damit Schluss mit der lahmen Wort-für-Wort-Generierung. Das Modell spuckt ganze Textblöcke parallel aus.