AI na Matatizo Magumu ya Ulimwengu · Sayansi ya kompyuta ya kinadharia · arXiv · 2026-10-21
OptScientist: Ugunduzi wa Sheria za Optimization kwa Njia ya Kiotomatiki
Kichwa asilia: OptScientist: Automated Discovery of Optimization Laws
Matukio mengi ya kisayansi hueleweka vizuri zaidi kama matokeo ya matatizo ya optimization yanayoshefua chini yake, ila ugunduzi wa kisayansi wa kiotomatiki umeegemea zaidi katika kupata upya milinganyo inayoelezea mifumo ya pembejeo-pato iliyotazamwa. OptScientist hugundua sheria za optimization za kialama zenye muundo compact moja kwa moja kutoka kwenye data, kwa kuunganisha mfano unaoakisi matatizo ya optimization ya kialama kwa kuwakilisha data kama tatizo la optimization na kutoa umbo lake la kialama, na mfumo wa mawakala wa LLM unaojumlisha maarifa ya awali ya kinadharia kutoka fasihi, unagundua sheria kandidati, na kupendekeza data mpya za kukusanya. Unarejesha sheria za ukweli halisi kwa zaidi ya 80% ya matatizo 99 yaliyotokana na fizikia katika benchmark ya OptFeynman huku ukibaki imara kwa muktadha wenye kelele, na kwenye uchaguzi wa hatari wa binadamu na sera ya pesa ya benki kuu unapata sheria zenye muundo compact zenye utendaji wa kutabiri kwenye data za held-out unaozidi kushindana na misingi inayoongoza, kwa kutumia vigezo vichache na tokeni chache zaidi kuliko misingi ya LLM.