Finde Modelle, Firmen und Themen

Microsoft hat heute das neue multimodale Modell Phi‑4‑Reasoning‑Vision‑15B vorgestellt. Das 15‑Billionen‑Parameter‑System arbeitet mit offe…

Auf der Plattform arXiv wurde die neue Studie „SorryDB“ vorgestellt, die ein ständig aktualisiertes Benchmark für offene Lean-Aufgaben bere…

In der Welt der KI‑gestützten Problemlösung haben Deep-Think‑Methoden gezeigt, dass sie komplexe mathematische und wissenschaftliche Aufgab…

Forscher haben ein neues Benchmark-Tool namens LemmaBench vorgestellt, das die Leistungsfähigkeit von großen Sprachmodellen (LLMs) in der m…

In einer wegweisenden Veröffentlichung präsentiert das Forschungsteam die erste Version von MERaLiON2-Omni (Alpha), einem 10‑Billionen‑Para…

Spekulatives Decoding beschleunigt die Inferenz von autoregressiven Sprachmodellen, indem ein leichtes Draft-Modell zunächst Kandidatentoke…

Reinforcement‑Learning‑Post‑Training hat kürzlich große Fortschritte bei der langen Ketten‑von‑Denken‑Logik von großen Sprachmodellen erzie…

In der KI‑gestützten Mathematik bleibt die Nutzung von Beispiel‑Strategien oft unzuverlässig. Forscher haben herausgefunden, dass die Insta…

In einer aktuellen arXiv‑Studie wird untersucht, ob künstliche Intelligenz echte kreative Beiträge zur Mathematik leisten kann oder ledigli…

Ein neues Verfahren namens Batch Adaptation Policy Optimization (BAPO) verspricht, die Effizienz von großen Sprachmodellen nach dem Trainin…

Der neue Mathematik‑Research‑Agent Aletheia, entwickelt von Feng und Kollegen (2026b) und angetrieben von Gemini 3 Deep Think, hat im erste…

In einer neuen Studie von Forschern aus dem Bereich der künstlichen Intelligenz wird gezeigt, wie ein Modell ohne externe Labels oder verif…

Large Language Models (LLMs) werden immer häufiger als wissenschaftliche Co‑Piloten eingesetzt, doch bisher gibt es nur wenige Belege dafür…

In den letzten Jahren haben große Sprachmodelle (LLMs) enorme Fortschritte bei komplexen Aufgaben wie Mathematik und Programmieren erzielt…

In einer wegweisenden Studie präsentiert das neueste Forschungsdokument die neurosymbolische Sprache Logitext, die natürliche Sprachtexte a…

Mit dem neuen Datensatz DeepVision-103K wird die Forschung im Bereich multimodaler KI einen bedeutenden Schritt nach vorne. Der Datensatz w…

Neues Forschungswerkzeug namens RFEval prüft, ob die Argumente großer KI-Modelle wirklich ihre Entscheidungen erklären oder nur überzeugend…

In den vergangenen zwölf Monaten haben maßgeschneiderte, bislang nicht veröffentlichte Mathematik‑Reasoning‑Modelle die Goldmedaille bei de…

Eine neue Studie aus dem arXiv-Repository (2602.15843v1) klärt ein bislang unbestätigtes Phänomen in der Welt der großen Sprachmodelle (LLM…

Ein neues Forschungsframework aus dem Bereich der großen Sprachmodelle zeigt, dass die Fähigkeit, aus sprachlichem Feedback zu lernen, gezi…

Eine brandneue Übersicht zum Thema Bayesian Quadrature, veröffentlicht auf arXiv, bietet erstmals einen systematischen und umfassenden Einb…

In einer bahnbrechenden Studie zeigen neue KI-Modelle, dass eine schlanke, sprachbasierte Pipeline in der Lage ist, komplexe Forschungsaufg…

Ein neues arXiv-Papier präsentiert SELFCEST, ein Verfahren, das Sprachmodelle durch das Erzeugen gleichgewichtiger Klone in separaten paral…

Reinforcement Learning mit verifizierbaren Belohnungen (RLVR) hat sich als Schlüsseltechnologie erwiesen, um die explizite Denkfähigkeit gr…

In einer aktuellen Arbeit wird die weit verbreitete Annahme hinterfragt, dass ein mathematischer Beweis nur dann epistemisch wertvoll ist…

Ein neues arXiv‑Veröffentlichung (2602.10416v1) beleuchtet ein überraschendes Phänomen: Während moderne KI‑Modelle bereits Medaillen bei in…

In den letzten Jahren haben sich die Grundlagenmodelle der KI so stark weiterentwickelt, dass sie nun sogar die goldmedaille‑Standardleistu…