پیام ارسالی دکتر مرادی:

امروز جی‌پی‌تی ۱۰ تا سوال سوپر سخت رو جواب داده. حدس rigidity از آلن کان. حدس Soficity از گروموف و سوالای دیگه که به کار من مربوط نیستن. سوالای در حد فیلدز مدال. اینا سخت ترین سوالایی بودن که تا حالا مدل‌های هوش مصنوعی حل کردن.
@harmoniclib

گروموف کانجکچر بوده که هر گروه گسسته‌ای subamenable هست بعدا ثابت شد که این معادل sofic هست و شواهد می‌گفت که درست نیست. در عمل همه دنبال مثال بودیم. سال ۲۰۱۹ هم یه مقاله‌ای اومد که قویا وجود مثال رو پیش‌بینی می‌کرد. مثالش پیدا شد.
👇👇👇