علم
@kimmonismus
قضیه از کدنویسی و انشا نوشتن هوش مصنوعی گذشته و رسماً وارد حل معماهای خاکخورده ریاضی و فیزیک شدیم

قضیه از کدنویسی و انشا نوشتن هوش مصنوعی گذشته و رسماً وارد حل معماهای خاکخورده ریاضی و فیزیک شدیم؛ استارتاپ Physical Superintelligence مدعی شده با کمک هوش مصنوعی، حدس معروف آرونسون-آمبینیس (Aaronson-Ambainis) رو که از سال ۲۰۰۸ توی دنیای کوانتوم پا در هوا مونده بود حل کرده.
• این قضیه شوخیبردار نیست؛ اثباتش دقیقاً مشخص میکنه کامپیوترهای کوانتومی کِی و کجا برتری مطلق و نمایی به سیستمهای کلاسیک دارند، و جالبتر اینکه سیستم ظرف سه روز به جواب رسیده و با موتور راستیآزمایی Lean هم کاملاً تأیید شده.
• نکته فنی و زیرپوستی ماجرا اینه که کار با مدلهای معمولیِ دست من و شما انجام نشده، بلکه پای یه مدل قفل و منتشرنشده از آنتروپیک (احتمالاً نسخه آزمایشی Claude 4) در میونه که فقط به خواص دادن.
منبع
Chubby♨️@kimmonismus
Another major AI research breakthrough: Physical Superintelligence says its research system used a non-public Anthropic model to prove the Aaronson-Ambainis conjecture, a central problem in quantum computing that had remained open since 2008.
The result helps explain when quantum computers can achieve an exponential advantage over classical computers. PSI says the system found a complete proof on its third day, and the final version was checked with Lean.
Physical Superintelligence @psipbc
Today Physical Superintelligence PBC is announcing a proof of the Aaronson-Ambainis conjecture, one of the central open problems in quantum complexity, with major implications for quantum computing speedup.
https://psi.inc/research/aaronson-ambainis/
Thread 👇
۱۵ آبان ۱۴۰۵مشاهده در X



نظرها
هنوز نظری نیست.
بخش نظرها فعلاً در دسترس نیست.