در ۱۹ ژوئیه ۲۰۲۶، لِوِنت آلپوگه، ریاضیدان دانشگاه هاروارد و پژوهشگر شرکت Anthropic، در توییتی اعلام کرد که مدل هوش مصنوعی Claude Fable 5 یک مثال نقض برای این حدس پیدا کرده است. او این یافته را حین تماشای فینال جام جهانی به دست آورد.
حالا ما حین تماشای فینال جام جهانی چه کار میکردیم؟!
تخمه میشکستیم و اینستاگرام را بالا و پایین میرفتیم.
@harmoniclib
نکته مهم این است که هوش مصنوعی مستقیماً «اثبات» تولید نکرد؛ بلکه یک مثال نقض بسیار ظریف پیشنهاد داد. سپس ریاضیدانان با محاسبات نمادین و بررسیهای مستقل ثابت کردند که واقعاً دترمینان ژاکوبی آن ثابت است و نگاشت یکبهیک نیست.
Post #22191
1.59K
اخبار و کتاب های ریاضی کمی دقیق تر @harmoniclib
- ❤ 6