محققان در یک مطالعه جدید، قدرت مدلهای زبانی (LLM) را در حوزه «اثبات قضایای ریاضی» به چالش کشیدهاند. در این تحقیق، از یک مدل هوش مصنوعی برای اثبات گنگ بودن عدد «رادیکال ۲» کمک گرفته شده است.
نکته جذاب اینجاست که این اثبات با استفاده از سیستم «LPTP» (اثباتگر قضایای منطقی) انجام شده؛ به طوری که هوش مصنوعی بخشی از کار را پیش برده و در نهایت، صحتِ کاملِ آن توسط سیستم منطقی تأیید شده است. این یعنی گامی بزرگ به سمت اثباتهای ریاضیِ قابلاعتماد و بدون خطا با کمک هوش مصنوعی! 🧠📐
منبع: arXiv AI