05 ноември 2026 г.Изкуствен интелект
Axiom Math внедри формална верификация, за да прочисти математическите изследвания от халюцинации

Източник: TechCrunch / Axiom Math
В опит да реши един от най-хроничните проблеми на генеративния изкуствен интелект в академичния свят, новосъздаденият стартъп Axiom Math представи интегрирана работна среда за учени, която използва формална верификация за пълно елиминиране на халюцинациите и фалшивите изводи при решаване на сложни математически теореми [1]. Платформата съчетава креативната интуиция на езиковите модели с безкомпромисната логическа стриктност на интерактивни системи за доказателства като Lean.










