LLM-basierte Code‑Evolution überwindet menschliche SAT‑Lösungen
Neues Forschungsprojekt namens SATLUTION nutzt große Sprachmodelle, um komplette C/C++‑Codebasen zu verbessern. Während frühere Ansätze wie AlphaEvolve nur kleine Code‑Kernels optimierten, arbeitet SATLUTION mit Hundert…