بشنو از شاهکار جدید بچه‌های دیپ‌مایند گوگل که با سیستم «AlphaProof Nexus» رسماً زدند تو خط ریاضیات سنگین و ۹ تا از مسائل معروف و حل‌نشده‌ی «پال اردوش» رو حل کردند و مقاله‌شون هم توی مجله‌ی معتبر ساینس داوری و چاپ شده

بشنو از شاهکار جدید بچه‌های دیپ‌مایند گوگل که با سیستم «AlphaProof Nexus» رسماً زدند تو خط ریاضیات سنگین و ۹ تا از مسائل معروف و حل‌نشده‌ی «پال اردوش» رو حل کردند و مقاله‌شون هم توی مجله‌ی معتبر ساینس داوری و چاپ شده. جالب اینجاست که دو تا از این معماها ۵۶ سال آزگار بی‌جواب روی دست دانشمندا باد کرده بود و این سیستم تازه ۴۴ تا حدس ریاضی دیگه رو هم جوری با ابزار «Lean» قدم‌به‌قدم اثبات کرده که مو لای درزش نمی‌ره. از همه خفن‌تر اینکه هزینه‌ی حل هر مسئله فقط چند صد دلار ناقابل چوب برداشته، اونم درست وسط روزهایی که اهالی ریاضی سر قضیه‌ی مقاله‌های فله‌ای، داشتن اوپن‌ای‌آی رو تحریم می‌کردند.