Suche

Finde Modelle, Firmen und Themen

Suche im News-Archiv nach Themen, die du dauerhaft verfolgen willst.

Ergebnisse für “Orakel”
Forschung

KI‑Logik neu definiert: Theorie des algorithmischen Denkens <p>In einer kürzlich veröffentlichten Studie auf arXiv wird gezeigt, dass große Sprachmodelle (LLMs) nicht nur komplexe Denkaufgaben lösen, sondern ihre Leistung durch wiederholtes Überarbeiten eigener Lösungen deutlich steigern können. Der Schlüssel liegt in einem systematischen „Rechenplan“, der mehrere Lösungsansätze generiert und kombiniert – ein Ansatz, der als algorithmisches Denken mit einem probabilistischen Orakel beschrieben wird.</p>

arXiv – cs.AI
Forschung

<p>LLMs als Prüfungs-Orakel für Solidity: GPT‑5 überzeugt bei Smart‑Contract‑Audit</p> <p>Die Sicherheit von Smart Contracts ist entscheidend, denn selbst kleine Fehler können zu erheblichen finanziellen Verlusten führen. Während klassische Bug‑Detection‑Tools häufig bekannte Schwachstellen erkennen, entstehen die meisten realen Angriffe durch Fehler in der Geschäftslogik des Vertrags. Formale Verifikationswerkzeuge wie SolCMC und der Certora Prover adressieren dieses Problem, stoßen jedoch an Lernkurven un

arXiv – cs.AI