محققان در پژوهش جدیدی موفق شدهاند با استفاده از ابزارهای اثبات صوری (Formal Verification) در محیط Lean، گامی مهم در حل مسائل پیچیده ریاضی مانند «حدس کولاتز» بردارند. این مقاله نشان میدهد که چگونه مدلهای هوش مصنوعی و سیستمهای اثبات خودکار میتوانند در کشف روابط پیچیده ریاضی و رسیدن به نتایج منطقی در زمانهای کوتاه (Logarithmic Time) به دانشمندان کمک کنند. این ترکیب قدرت محاسباتی و منطقِ صوری، آینده جدیدی را برای حل مسائل حلنشده ریاضی ترسیم میکند. 🤖🔢
منبع: Hacker News AI