AI dan Masalah-Masalah Sulit Dunia · Ilmu komputer teoretis · arXiv · 2026-10-21
OptScientist: Penemuan Hukum Optimasi Secara Otomatis
Judul asli: OptScientist: Automated Discovery of Optimization Laws
Banyak fenomena ilmiah paling baik dipahami sebagai hasil dari masalah optimasi yang mendasarinya, namun penemuan ilmiah otomatis sejauh ini sebagian besar berfokus pada pemulihan persamaan yang menggambarkan pola input-output yang diamati. OptScientist menemukan hukum optimasi simbolik yang kompak langsung dari data, dengan memadukan model yang menyimpulkan masalah optimasi simbolik lewat representasi data sebagai masalah optimasi dan ekstraksi bentuk simboliknya bersama sistem agentic LLM yang mengintegrasikan prior teoretis dari literatur, menemukan hukum-hukum kandidat, dan menyarankan data baru untuk dikumpulkan. Sistem ini memulihkan hukum ground-truth untuk lebih dari 80% dari 99 masalah yang diturunkan dari fisika dalam benchmark OptFeynman sambil tetap tangguh terhadap konteks yang mengandung derau, dan pada pilihan berisiko manusia serta kebijakan moneter bank sentral ia menemukan hukum kompak dengan kinerja prediksi held-out yang kompetitif terhadap baseline terdepan, menggunakan sedikit parameter dan token yang jauh lebih sedikit daripada baseline LLM.