Casa Paura e avidità Piscine minerarie Portafogli pubblicizzare Facebook Twitter Telegram Reddit Youtube
Mercato:
24h Vol:
Cryptocurrencies: 9914
Mercata: 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
Mercato
24h Vol
9914
Cryptocurrencies
58.84%
Bitcoin Condividere
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.

La maggior parte ha letto le notizie

Mercato
24h Vol
58.84%
Bitcoin Condividere
31
Oggi notizie
Leggi la dichiarazione di non responsabilità : Tutti i contenuti forniti nel nostro sito Web, i siti con collegamento ipertestuale, le applicazioni associate, i forum, i blog, gli account dei social media e altre piattaforme ("Sito") sono solo per le vostre informazioni generali, procurati da fonti di terze parti. Non rilasciamo alcuna garanzia di alcun tipo in relazione al nostro contenuto, incluso ma non limitato a accuratezza e aggiornamento. Nessuna parte del contenuto che forniamo costituisce consulenza finanziaria, consulenza legale o qualsiasi altra forma di consulenza intesa per la vostra specifica dipendenza per qualsiasi scopo. Qualsiasi uso o affidamento sui nostri contenuti è esclusivamente a proprio rischio e discrezione. Devi condurre la tua ricerca, rivedere, analizzare e verificare i nostri contenuti prima di fare affidamento su di essi. Il trading è un'attività altamente rischiosa che può portare a perdite importanti, pertanto si prega di consultare il proprio consulente finanziario prima di prendere qualsiasi decisione. Nessun contenuto sul nostro sito è pensato per essere una sollecitazione o un'offerta