Anasayfa Korku ve Açgözlülük Madencilik Havuzları cüzdan duyurmak Facebook Twitter Telegram Reddit Youtube
Kripto Değeri:
24-Saat Hacmi:
Aktif Kripto Para Birimleri: 9914
Pazar: 110589
Crypto Currency Tracker logo Crypto Currency Tracker logo
ENG
EST
RUS
TUR
DEU
KOR
ITA
USD
USD
AED
AFN
ALL
AMD
ANG
AOA
ARS
AUD
AWG
AZN
BAM
BBD
BDT
BGN
BHD
BIF
BMD
BND
BOB
BRL
BTN
BWP
BYN
BZD
CAD
CDF
CHF
CLF
CLP
CNH
CNY
COP
CRC
CUC
CUP
CVE
CZK
DJF
DKK
DOP
DZD
EGP
ERN
ETB
EUR
FJD
FKP
GBP
GEL
GHS
GIP
GMD
GNF
GTQ
GYD
HKD
HNL
HRK
HTG
HUF
IDR
ILS
IMP
INR
ISK
JMD
JOD
JPY
KES
KGS
KHR
KMF
KPW
KRW
KWD
KYD
KZT
LAK
LBP
LKR
LRD
LSL
LYD
MAD
MDL
MGA
MKD
MMK
MNT
MOP
MRO
MRU
MUR
MVR
MWK
MXN
MYR
MZN
NAD
NGN
NIO
NOK
NPR
NZD
OMR
PAB
PEN
PGK
PHP
PKR
PLN
PYG
QAR
RON
RSD
RUB
RWF
SAR
SBD
SCR
SDG
SEK
SGD
SHP
SLL
SRD
SSP
STD
STN
SVC
SYP
SZL
THB
TJS
TMT
TND
TOP
TRY
TTD
TWD
TZS
UAH
UGX
UYU
UZS
VEF
VND
VES
VUV
WST
ZAR
ZMW
ZWL
Kripto Değeri
24-Saat Hacmi
9914
Aktif Kripto Para Birimleri
58.84%
Bitcoin Pay
Forklog 2026-08-04 13:47:23

OpenAI заявила о прорыве Astra в математике. Что это значит для квантовой сложности

OpenAI заявила о прорыве Astra в математике. Что это значит для квантовой сложности

1 августа внутренняя версия следующего семейства ИИ-моделей Astra от OpenAI получила 10 результатов в математике и теоретической информатике. The Quantum Insider разобрал, какие из них могут быть важны для квантовой сложности и постквантовой криптографии. OpenAI выпустила 249-страничную работу, отдельные разборы хода рассуждений и репозиторий с формализациями доказательств на Lean 4. Это снижает риск обычных логических пробелов: если утверждение корректно записано в системе и код проходит проверку, Lean подтверждает, что вывод следует из заданных аксиом, определений и уже доказанных лемм. «Мы считаем, что атрибуция должна честно отражать то, как был получен результат: приписывать человеку авторство доказательства, полностью сгенерированного ИИ-системой, означало бы искажать вклад системы и природу подлинной человеческой интеллектуальной работы», — заявили в OpenAI. The Quantum Insider отдельно выделил результаты, связанные с квантовой сложностью и решеточной криптографией. Один из них касается квантовой параллельной повторяемости. Это раздел теоретической информатики, изучающий, как меняется вероятность успеха в интерактивных играх, если одну и ту же задачу запустить много раз одновременно. В квантовом случае анализ сложнее из-за запутанности — особого типа корреляции между квантовыми системами. OpenAI заявила, что Astra доказала экспоненциальную параллельную повторяемость для произвольных конечных квантовых игр с двумя участниками. Если результат пройдет независимую проверку, он может быть важен для квантовой верификации, криптографических протоколов и интерактивных доказательств. Еще один результат относится к задаче ближайшего вектора. В ней нужно найти ближайшую точку решетки к заданной точке пространства. Такие задачи важны для решеточной криптографии — одного из направлений постквантовой защиты, рассчитанной на устойчивость к атакам будущих квантовых компьютеров. https://forklog.com/cryptorium/chto-takoe-kvantovoe-prevoshodstvo-poleznost-i-preimushhestvo Контекст Лейденской декларации Формализация в Lean не заменяет научную экспертизу. Математикам еще предстоит оценить, правильно ли исходные открытые задачи были переведены в формальный язык, не слишком ли узкими оказались доказанные версии и насколько результаты соответствуют существующей литературе. Этот контекст особенно важен после публикации Лейденской декларации об ИИ и математике. Документ, одобренный Международным математическим союзом, призывает сохранять рецензирование, экспертную проверку и прозрачную атрибуцию при использовании искусственного интеллекта в математических исследованиях. OpenAI прямо сослалась на декларацию и заявила, что берет на себя ответственность за корректность опубликованных материалов, но приписывает сами математические аргументы системе, а не людям, которые помогали оформить рукописи. https://forklog.com/exclusive/quantum-amp-after-vopros-2-kak-blokchejny-gotovyatsya-k-kvantovoj-ere Напомним, в мае модель OpenAI опровергла 80-летнюю гипотезу Эрдеша о единичных расстояниях. Тогда компания заявила, что доказательство проверили внешние математики. Через несколько месяцев исследователь Anthropic Левент Альпоге с помощью Claude Fable 5 нашел контрпример к гипотезе Якобиана. Обновление от 5.08.2026: в заголовок и текст новости внесены изменения, уточняющие результаты OpenAI.

En Okunan haberler

Kripto Değeri
24-Saat Hacmi
58.84%
Bitcoin Pay
31
Bugünün Haberleri
Feragatnameyi okuyun : Burada sunulan tüm içerikler web sitemiz, köprülü siteler, ilgili uygulamalar, forumlar, bloglar, sosyal medya hesapları ve diğer platformlar (“Site”), sadece üçüncü taraf kaynaklardan temin edilen genel bilgileriniz içindir. İçeriğimizle ilgili olarak, doğruluk ve güncellenmişlik dahil ancak bunlarla sınırlı olmamak üzere, hiçbir şekilde hiçbir garanti vermemekteyiz. Sağladığımız içeriğin hiçbir kısmı, herhangi bir amaç için özel bir güvene yönelik mali tavsiye, hukuki danışmanlık veya başka herhangi bir tavsiye formunu oluşturmaz. İçeriğimize herhangi bir kullanım veya güven, yalnızca kendi risk ve takdir yetkinizdedir. İçeriğinizi incelemeden önce kendi araştırmanızı yürütmeli, incelemeli, analiz etmeli ve doğrulamalısınız. Ticaret büyük kayıplara yol açabilecek yüksek riskli bir faaliyettir, bu nedenle herhangi bir karar vermeden önce mali danışmanınıza danışın. Sitemizde hiçbir içerik bir teklif veya teklif anlamına gelmez