علم@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

نظرها

    بیشتر بخوانید

    تنظیمات

    پیش‌نمایش

    انویدیا از نسل تازه‌ی تراشه‌هایش رونمایی کرد؛ متن خبرها با همین اندازه و فاصله‌ی خطوط نمایش داده می‌شود. ۱۴۰۵ — 2026

    ظاهر و متن

    پوسته
    اندازه‌ی متن
    فاصله‌ی خطوط

    خواندن و نمایش

    نمای فهرست خبرها

    استوری‌ها

    چه خبرهایی پخش شوند
    ترتیب
    دیده‌شده‌هابدون باز کردن تک‌تک خبرها

    صدا

    اعلان‌ها و موضوع‌ها

    موضوع‌هایی که دنبال می‌کنیدهنوز هیچانتخاب موضوع‌ها

    صدای فارسی

    این دستگاه صدای فارسی ندارد. نمونه‌ی صداها را بشنوید و یکی را یک بار دانلود کنید تا خبرها و خلاصه‌ی روز را بشنوید.

    راه‌های دیگر

    ویدیوی خبر

    گفتگو

    … نفر آنلاین

      خواندن کامل