پیام ارسالی دکتر مرادی:
امروز جی‌پی‌تی ۱۰ تا سوال سوپر سخت رو جواب داده. حدس rigidity از آلن کان. حدس Soficity از گروموف و سوالای دیگه که به کار من مربوط نیستن. سوالای در حد فیلدز مدال. اینا سخت ترین سوالایی بودن که تا حالا مدل‌های هوش مصنوعی حل کردن.
گروموف کانجکچر بوده که هر گروه گسسته‌ای subamenable هست بعدا ثابت شد که این معادل sofic هست و شواهد می‌گفت که درست نیست. در عمل همه دنبال مثال بودیم. سال ۲۰۱۹ هم یه مقاله‌ای اومد که قویا وجود مثال رو پیش‌بینی می‌کرد. مثالش پیدا شد
Post #1912
120