Sukurtas atviras LongTails karkasas automatizuotiems matematinių optimizavimo tyrimams
AIRI tyrėjai kartu su partneriu iš Vietnamo sukūrė atvirą LongTails karkasą, skirtą automatizuotiems matematinių optimizavimo tyrimams.
Skelbiama, kad ši sistema gali formuluoti optimizavimo uždavinius, ieškoti jų sprendimo metodų ir formaliai tikrinti įrodymus naudojant Lean 4.
LongTails kodas viešai paskelbtas GitHub platformoje.
Taip pat pranešama, kad tyrėjai išanalizavo apie 100 teoremų, o 35 rezultatai buvo įvertinti kaip tinkami galimoms atskiroms publikacijoms.
