کوانتوم@AndrewCurran_

این شرکت «Physical Superintelligence» که تازه همین سپتامبر با ۵۸ میلیون دلار سرمایه اولیه استارت زده بود، حسابی گردوخاک به پا کرده

این شرکت «Physical Superintelligence» که تازه همین سپتامبر با ۵۸ میلیون دلار سرمایه اولیه استارت زده بود، حسابی گردوخاک به پا کرده. این بچه‌ها اومدن پنج‌تا از مسئله‌های قدیمی و بازِ تئوری اطلاعات کوانتومی یعنی مسائل شماره ۲، ۱۲، ۲۷، ۳۸ و ۴۳ رو حل کردن و پرونده‌شون رو بستن. قشنگی ماجرا اینجاست که کار رو الکی ماست‌مالی نکردن؛ واسه تک‌تکشون هم مقاله دادن و هم اثبات دقیق ریاضی‌شون رو با ابزار تخصصی «لین» (Lean) رسمی و بی‌نقص پیاده کردن تا هیچ حرف و حدیثی توش نباشه. با این دست‌فرمون نشون دادن که اومدن تا مرزهای دانش نظری رو واقعاً جا‌به‌جا کنن و کارای به ظاهر نشدنی رو روی میز بذارن.

منبع

Andrew Curran@AndrewCurran_
Physical Superintelligence launched in September with a $58 million seed. Today they announced five new results on open problems in quantum information theory, with a paper and Lean formalization for each of Open Quantum Problems 2, 12, 27, 38, and 43.
Physical Superintelligence @psipbc
Today Physical Superintelligence PBC is announcing solutions to five long-standing problems in quantum information theory. https://psi.inc/research/oqp-batch-2026/ Thread 👇
۵ آبان ۱۴۰۵مشاهده در X

نظرها

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

    تنظیمات

    پیش‌نمایش

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

    ظاهر و متن

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

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

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

    استوری‌ها

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

    صدا

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

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

    صدای فارسی

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

    راه‌های دیگر

    ویدیوی خبر

    گفتگو

    … نفر آنلاین

      خواندن کامل