Duże modele językowe samodzielnie zoptymalizowały

Duże modele językowe samodzielnie zoptymalizowały złożony solver SAT, podnosząc jego wydajność o 40%. 💻🤖

Framework AutoModSAT wykorzystuje LLM do generowania i testowania nowych heurystyk w modułowym solverze. Dzięki preselekcji i algorytmowi ewolucyjnemu (1+λ) znalazł konfiguracje o 30% lepsze od najlepszych znanych solverów i szybsze od wersji strojonych parametrami.

Ta automatyzacja omija żmudne, ręczne strojenie algorytmów, co może przyspieszyć rozwój w projektowaniu układów scalonych i logistyce.

https://www.nature.com/articles/s41467-026-74949-2

Jakby ktoś szukał przystępnych naukowych nowinek — na X polecam! https://x.com/ApoteozaWiedzy

ApoteozaWiedzy #nauka #ciekawostki #sat #sztucznainteligencja

Czytaj cały artykuł u źródła — Wykop #ciekawostki