محققان به تازگی سیستم هوشمندی به نام PriorProof را معرفی کردهاند که میتواند «میزان نوآوری» و خلاقیت در اثباتهای ریاضی (بهویژه در کتابخانه Lean) را ارزیابی کند.
تا پیش از این، سنجش اینکه یک مسیر اثبات تا چه حد «غیرمعمول» یا «خلاقانه» است، برای انسانها هم دشوار بود؛ اما این ابزار با تحلیل ساختار وابستگیها و بدون نیاز به برچسبگذاری انسانی، تشخیص میدهد که آیا یک اثبات مسیر جدیدی را طی کرده یا صرفاً تکرار روشهای قبلی است. این دستاورد گامی مهم برای استفاده از هوش مصنوعی در ریاضیات پیشرفته و درک بهتر منطق استدلال ماشینهاست. 🤖🧠
منبع: arXiv AI