کوانتوم
@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


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