محققان به تازگی گام بزرگی در دنیای «اثبات خودکار» (Autoformalization) برداشتهاند. آنها موفق شدند با استفاده از تیمی از ایجنتهای هوش مصنوعی، قضایای پیچیده فیزیک نظری (مربوط به نظریه شبکه تنسوری) را بهصورت خودکار اثبات کنند.
نکته جالب اینجاست که این ایجنتها نه تنها قضایا را ثابت کردند، بلکه مسیرهای جدیدی برای اثبات کشف کردند که پیش از این در متون علمی وجود نداشت! این دستاورد نشان میدهد که ایجنتهای هوش مصنوعی بهزودی به دستیاران تحقیقاتی فوقالعاده هوشمند برای دانشمندان تبدیل میشوند.
این پروژه شامل یک کتابخانه جدید به نام TNLean است که راه را برای تحقیقات پیچیدهتر در فیزیک باز میکند.
منبع: arXiv AI