Back to top
  • 링크복사 Bağlantıyı Kopyala
  • 공유 Paylaş
  • 인쇄 Yazdır
  • 글자크기 Yazı tipi Boyutu
URL kopyalandı.

Paylaş

x
Blok zinciri

OpenAI, ETH’yi çürüten Lean doğrulamalı kanıtını açıkladı; dış inceleme bekleniyor

Matematiksel kanıt taslağı ve biçimsel doğrulama ekranı / TokenPost.ai

OpenAI, şirket içi bir yapay zekâ modelinin hesaplama karmaşıklığı alanındaki Üstel Zaman Hipotezi’ni (ETH) çürüten bir sonuç ürettiğini ve bunu Lean ile biçimsel olarak doğruladığını açıkladı. Sonuç, dış araştırmacıların incelemesini bekliyor.

OpenAI’nin resmi açıklamasına göre model, ETH’yi çürüten kanıtı 16 Ekim’de oluşturdu, 17 Ekim’de ise Lean ile biçimselleştirdi. ETH, Boole formüllerinin tatmin edilebilirliği problemi de dahil olmak üzere hesaplama problemlerinin zorluğuna ilişkin bir hipotez. Çeşitli alanlardaki araştırmalarda hesaplama zorluğuna dair bir varsayım olarak kullanılıyor.

OpenAI, Russell Impagliazzo, Ramamohan Paturi ve Ryan Williams’ın öncülük ettiği araştırma ekibinin sonucu doğrulayıp açıklayacağını bildirdi. Şirket ayrıca matematik, bilgisayar bilimi ve fizik alanlarında üç yeni bulgu duyurdu; ETH çalışmasının kaynak materyallerini ve kanıtını da yayımladı.

<Telif hakkı ⓒ TokenPost, yetkisiz çoğaltma ve yeniden dağıtım yasaktır >

#OpenAI #Yapay Zeka #Lean #Üstel Zaman Hipotezi #Hesaplama karmaşıklığı

Popüler

1
S&P 500 kısa vadeli opsiyonları: UBS, ters yönlü işlemler oynaklığı sınırlıyor
2
Zcash 1 saatte yüzde 2,10 düştü, 1.195 dolara geriledi
3
Ducat, UNIT’i Cashu elektronik nakdine dönüştürerek zincir dışı transferi başlattı
4
Volvo, 2.500 işi azaltmayı planlıyor; üçüncü çeyrekte 5,6 milyar kron zarar
5
Bitcoin 80 bin doları aştı: Binance’te 80.086 dolar
6
Ethereum: Binance spot alış emirleri satışları 4,24 milyon dolar aştı
7
Bitcoin(BTC), Binance spot piyasasında 80 bin doların altına indi
8
Ethereum 2.300 doların altına indi, 2.298 doları gördü
9
24 saatte 98,94 milyon dolarlık kaldıraçlı pozisyon tasfiye edildi
10
Kripto piyasasında 24 saatte 118,72 milyon dolarlık tasfiye: Uzun pozisyonların payı %69

Diğer ilgili makaleler

Injective, 5 Nvidia GPU’nun kiralama ücretini izleyen vadeli işlem piyasası açtı

Ripple, Kurumsal Hazine Platformuna Yapay Zekâ ve 7/24 Getiri Özelliği Ekledi

Vitalik Buterin, AI saldırı yeteneklerinin sınırlandırılmasını destekledi; KYC’nin yaygınlaşması konusunda uyardı

Anthropic, kâr amacı gütmeyen kuruluşlara Claude eklentisi sundu

Anthropic’in iç sistemlerine kısmi erişim doğrulandı: Günün haberleri

Kategori Makalesi

Daha fazlasını gör

Vangrid ödül panosunda 675.025 dolar gösterdi

GPT-6.1 Sol, CodeRabbit의 depo güvenlik taramasına eklendi

AI çıkarım pazarında üç model: kullanım kredisi, satıcı eşleştirmesi ve P2P

300 bin tonluk düşük tarifeli kotanın yüzde 20’si kullanıldı

Injective, 5 Nvidia GPU’nun kiralama ücretini izleyen vadeli işlem piyasası açtı

2 ABD senatörü, gizli gözetim kararının yayımlanma gecikmesine açıklama istedi

2.570 Bitcoin, Coinbase’in kurumsal adreslerine aktarıldı

IBM ve NVIDIA, AI Ajanlarının Kimliğini Çalışma Anındaki Erişim Kontrolüne Bağladı

BlackBerry QNX telif bakiyesi 1,2 milyar doları aştı

ABD 2 yıllık tahvil ihalesinde faiz %4,708 oldu; dolaylı tekliflerin payı %45,7’ye geriledi

Yorum 0

Yorum ipuçları

Harika bir makale. Takip talep etme. Mükemmel bir analiz.

0/1000

Yorum ipuçları

Harika bir makale. Takip talep etme. Mükemmel bir analiz.
1