Cluster-Mathematik: Intelligente Daten-Clusterung mit unserem Log-Anomalie-Erkennungssystem verstehen. Teil 1

Andrey Basov, Leiter des technischen Supports bei MWS, beschreibt die Architektur eines neuen Systems zur Analyse der Produktgesundheit, das Anomalien in Logs erkennt. Das System nutzt Vektorisierung auf Basis großer Sprachmodelle (Large Language Models, LLMs), Dimensionsreduktion mittels Hauptkomponentenanalyse (PCA) sowie dynamische Clusterung mit Bayes'scher Adaption und Metriken basierend auf minimalen Spannbäumen (MST). Dies ist der erste Teil einer Serie, die die zugrunde liegende Mathematik und Techniken erläutert.

Chinesische Forscher erzielen Durchbruch: Open-Source-KI-Agent „Hyra“ löst Mathematikproblem, an dem AlphaEvolve, GPT und Claude scheiterten

Ein neues Preprint auf arXiv löst ein seit langem bestehendes Problem in der additiven Kombinatorik, wobei die entscheidende Konstruktion von Hyra vorgeschlagen wurde, einem Open-Source-KI-Agenten von Tencent, der auf dem Modell Hy3 basiert. Trotz Versuchen von AlphaEvolve von Google DeepMind, GPT und Claude gelang keiner der Durchbruch, und Hyras Lösung wurde im Beweisassistenten Lean formal verifiziert. Diese Leistung markiert einen Meilenstein als erstes bedeutendes KI-Mathematikergebnis durch ein Open-Source-Modell, und der Mathematiker Thomas Bloom hat das Ergebnis unterstützt und sogar „Hyra“ als Koautor aufgeführt.

Tencent