KI News: Kurz und klar.

DeepSeek AI hat mit DeepSeekMath‑V2 einen Meilenstein im Bereich der KI‑gestützten Mathematik erreicht. Das neue Modell, das auf dem Open‑Weights‑Large‑Language‑Model DeepSeek‑V3.2‑Exp‑Base basiert, ist speziell für die natürliche Sprachformulierung von Theorem‑Proofs und deren Selbstverifikation ausgelegt.

Durch Verstärkungslernen (RL) haben große Sprachmodelle (LLMs) ihre Fähigkeit zum logischen Denken deutlich verbessert. Dennoch bleibt die Herausforderung bestehen: LLMs können ihre eigenen Rechenwege nicht zuverlässig überprüfen, was die Vertrauenswürdigkeit ihrer Antworten einschränkt.

In einer neuen Studie aus dem arXiv‑Repository wird gezeigt, wie große Sprachmodelle (LLMs) die Qualität ihrer eigenen Annotationen von Lerninteraktionen deutlich erhöhen können. Durch gezielte Prüfungen – entweder selbstständig oder untereinander – lassen sich die Zuverlässigkeit und Genauigkeit der Codierung von Tutor‑Dialogen signifikant verbessern.