OpenAI, yapay zeka modelinin Üstel Zaman Hipotezi'ni çürüttüğünü açıkladı
Bu, eğer incelemelerden geçerse, muazzam bir gelişme olacak. OpenAI, yüzlerce bilgisayar bilimi makalesinin sessizce dayandığı, Boolean tatmin edilebilirliğinin ne kadar zor olduğuna dair bir varsayım olan Üstel Zaman Hipotezi'ni çürüten dahili bir model bulduğunu söylüyor. Model, çürütmeyi yaklaşık on gün önce buldu, OpenAI bunu ertesi gün Lean'de doğruladı ve hem makale hem de Lean kanıtı şimdi GitHub'da yer alıyor.
İşin püf noktası alışılmadık bir şekilde gelişti. ETH'yi ilk önerenlerden ikisi, Russell Impagliazzo ve Ramamohan Paturi, MIT'den Ryan Williams ile birlikte bağımsız incelemeyi yönetecekler. Bu konuda da açık sözlüler: "Katılımımız, iddianın onaylanması olarak algılanmamalıdır." Herhangi bir gizlilik sözleşmesi veya ödeme yok ve OpenAI tüm ham verileri yayınlamayı ve bir konferansı finanse etmeyi kabul etti.
Aynı gün iki iddia daha ortaya atıldı: her boyutta yerel düzleştirme varsayımının kanıtı (bu, Kakeya ve Stein'ın kısıtlama varsayımlarını da çözecekti) ve aralarında saf Yang-Mills'in de bulunduğu bazı dört boyutlu kuantum alan teorilerinin kesin bir varoluş kanıtı. Nobel ödüllü David Gross liderliğindeki bir grup, yapay zeka materyalini gizli tutuyor ve kendileri yazıyor.
OpenAI, akademik krediye ilgi duymadığını ve Simons Vakfı'na atölye çalışmaları için 5 milyon dolar bağışta bulunduğunu söylüyor. Yine de, krediyi kimin hak edeceği sorusu, tüm meselenin en çetrefilli kısmı olabilir.
Anthropic, yapay zeka endüstrisi için önemli bir sınav niteliğinde olan, potansiyel olarak rekor kıran borsa değerlemesi için başvuruda bulundu
Resmiyet kazandı. Anthropic, ANT kısaltmasıyla halka arz başvurusu yaptı ve analistler ile yatırımcılar şirketin değerini 1,5 trilyon dolardan fazla olarak belirledi. Şirket aylar önce gizli olarak başvurmuştu, bu nedenle denetlenmiş rakamları dışarıdan kişilerin inceleyebileceği ilk sefer bu oldu.
Bu rakamlar şaşırtıcı. Gelirler birkaç yıl önce 41 milyon dolardan geçen yıl 4,585 milyar dolara, ardından bu yılın ilk altı ayında 16,286 milyar dolara yükseldi. Ancak aynı altı aylık dönemde 80 milyar dolarlık net zarar da kaydedildi. Anthropic'in 14.000'den fazla kurumsal müşterisi var ve gelirlerinin dörtte biri en büyük beş müşterisinden geliyor.
Risk bölümü 90 sayfayı aşkın bir uzunluğa sahip; bu da, kendi yöneticilerinin en iyi modellerinin kimyasal veya biyolojik silah üretmeye çalışanlara "anlamlı yardım" sağlayabileceğini söylediği bir şirket için oldukça uygun görünüyor. Trump yönetiminin tedarik zinciri risk sınıflandırması da burada yer alıyor.
Wall Street bankaları ve Blackstone, Anthropic için Broadcom'un yapay zeka çiplerini finanse etmek üzere 63 milyar dolar ayırdı
Halka arz başvurusunun yapıldığı gün, Bank of America, Blackstone, Citi ve Morgan Stanley, Anthropic için Broadcom'un yapay zeka çiplerini ve ağ ekipmanlarını satın almak üzere 63 milyar dolar topladı. Bu, yapay zeka geliştirme ile bağlantılı bugüne kadarki en büyük borç anlaşmalarından biri olarak sıralanıyor.
Bu yapı, donanımı satın alıp Claude üreticisine kiralayan yeni kurulmuş özel amaçlı bir şirkettir. Broadcom, alacaklılara "artık değer desteği" sağlıyor; bu da aslında yüklü bir garanti anlamına geliyor. İki kaynağa göre, bunun yaklaşık 43,5 milyar doları birinci dereceden teminatlı borç iken, Blackstone taahhüt edilen ikinci dereceden teminatlı kısmı üstleniyor.
Teslimatların gelecek yıla kadar başlaması beklenmiyor. Moody's, Broadcom'u hâlâ en güçlü büyük teknoloji şirketleri arasında sayıyor, ancak bu anlaşmaların kısa bir süre içinde çok sayıda gerçekleşmesi durumunda riskin arttığı konusunda uyarıyor. Ve gerçekten de bu anlaşmalar birikiyor.
Meta, yapay zeka alanındaki genişlemesini finanse etmek için 95 milyar dolarlık hisse senedi arzı duyurdu
Meta, yapay zekâ geliştirme çalışmalarını finanse etmek için 95 milyar dolar daha istiyor. Plan, 35 milyar dolarlık halka arz yoluyla gerçekleştirilecek hisse senedi satışıyla başlayacak, ardından piyasa fiyatından hisse senedi alım programıyla 60 milyar dolar daha sağlanacak.
Dikkat çeken hoş bir ayrıntı var: Çipleri satan firmalar olan Nvidia, AMD ve Broadcom, 5 milyar dolara kadar hisse satın almakla ilgileniyordu. Hisse senedi sabahki işlemlerde %1,6 düştü.
Bu para, yapay zeka ajanı Muse, uygulamaları ve veri merkezi işletmesi gibi projeleri destekliyor. Meta, geçen hafta tüm yıl için sermaye harcaması tahminini 135 milyar dolardan 145 milyar dolara yükseltmişti ve yatırımcılar negatif serbest nakit akışından pek memnun kalmamıştı. Bir analistin de belirttiği gibi, bu durum "yapay zeka yarışında rekabet edebilmek için gereken dudak uçuklatan yatırım seviyelerini yansıtıyor."
Eski DOGE çalışanlarının yeni girişimi, Anthropic'i hacklediklerini iddia ediyor
Eski DOGE çalışanları tarafından kurulan bir güvenlik girişimi olan Cathedral, yapay zekâ ajanlarının 12 saatten kısa bir sürede Anthropic'in iç sistemlerine erişim yolları bulduğunu söylüyor. Giriş yolu, üçüncü taraf iş yazılımlarındaki güvenlik açıklarından geçiyordu ve ele geçirilen veriler arasında toplantı tutanakları, maaşlar, iş teklifleri ve Slack mesajları yer alıyordu.
Anthropic'in açıklaması ise farklı. Satış, İK ve BT sistemlerinin "sınırlı bir kümesine" erişim sağlandığını doğrulayan şirket, Claude'un konuşmalarına, kaynak koduna ve model ağırlıklarına asla dokunulmadığını belirtiyor. Ayrıca araştırmacıların doğrudan sisteme sızmak için birkaç gün boyunca başarısız olduklarını ve Cathedral'ı, yaptıklarının tam kapsamını açıklamayarak test programının kurallarını ihlal etmekle suçluyor.
Katedralin değeri 1,4 milyar dolar olarak belirlendi ve Trump yönetiminden üst düzey bir yetkilinin ulusal güvenlik endişelerini dile getirdiği bildirildi. Bunun bir uyarı mı yoksa mükemmel zamanlanmış bir satış teklifi mi olduğu belirsizliğini koruyor ve her ikisi de olabilir.
GPT-6.1 Terra'yı Tanıtıyoruz
OpenAI'nin yeni Terra modeli, gösterişsiz, günlük bilgisayar işleri için temel bir araç olarak tanıtılıyor: teklif taslağı hazırlama, teknik çizimleri okuma, form doldurma, hatta video düzenleme. ChatGPT Work ve Codex'te ve API aracılığıyla Plus, Pro, Enterprise ve Edu kullanıcılarına sunuluyor.
Maliyet en önemli unsur. API fiyatları, GPT-5.6 Terra ve GPT-6.1 Sol'a göre %50 daha düşük; milyon giriş tokenı başına 1 dolar ve milyon çıkış tokenı başına 5 dolar. OpenAI, Agents' Last Exam kıyaslamasında GPT-6 Astra ile aynı performansı token başına fiyatın onda biriyle yakaladığını ve görevleri üç kattan fazla daha hızlı tamamladığını söylüyor.
En azından OpenAI'nin dahili testlerine göre, halüsinasyonlar da önemli ölçüde azaldı: düşük çaba gerektiren durumlarda hata oranı %53,6'dan %16,7'ye düştü. Terminal-Bench 4.0'da görevlerin %50,3'ünü çözüyor, bu da eski Terra'nın iki katından fazla. Ancak en karmaşık kodlama işleri için OpenAI'nin kendisi Sol veya Astra'yı kullanmayı tavsiye ediyor.
'Dear ChatGPT': 12 yaşındaki çocuk Avustralya Şiir Yarışması'nda gençlik dalında birincilik ödülünü kazandı - video
İşte içimizi ısıtan bir haber. Newcastle'lı 12 yaşındaki Blake Mackenzie, ChatGPT'ye hitaben yazdığı bir şiirle Avustralya Şiir Slamı'nda gençlik kategorisinde birincilik ödülünü kazandı.
Pazar gecesi Sidney Opera Binası'nda sahnelediği gösteride, sürekli olumsuz haberlere bakma, yalnızlık ve zihinsel körelme gibi konuları ele aldı. Muhtemelen uyardığı uygulamaların çoğu için çok genç olan bir çocuktan oldukça çarpıcı bir eleştiri.
Yarışma, 16 finalisti belirlemek için 60 kasaba ve şehirde 65 eleme turu düzenledi. Blake, 20.000 dolarlık ödül paketini, "Politics Is Doing You" adlı şiiriyle yetişkin kategorisinde birinci olan Alice Springs'li şair Bivor ile paylaşıyor.
SSS
OpenAI'nin yapay zeka modeli gerçekten de Üstel Zaman Hipotezini çürüttü mü?
OpenAI, dahili bir modelin, Boolean işlemlerin tatmin edilebilirliğinin ne kadar zor olduğuna dair bir varsayım olan Üstel Zaman Hipotezi'ni çürüttüğünü açıkladı. Model, çürütmeyi yaklaşık on gün önce buldu ve OpenAI bunu ertesi gün Lean'de doğruladı. Yazılı açıklama ve Lean kanıtı şu anda GitHub'da mevcut. İddianın bağımsız bir kontrolden geçmesi gerekiyor.
OpenAI'nin ETH'nin yanlış olduğu iddiasını bağımsız olarak kim inceliyor?
ETH'yi önerenlerden ikisi olan Russell Impagliazzo ve Ramamohan Paturi, MIT'den Ryan Williams ile birlikte incelemeyi yönetecekler. Katılımlarının iddianın onaylanması olarak yorumlanmaması gerektiğini vurguluyorlar. Herhangi bir gizlilik sözleşmesi veya ödeme yok. OpenAI, tüm ham verileri yayınlamayı ve bir konferansı finanse etmeyi kabul etti.
OpenAI aynı gün başka hangi matematik ve fizik sonuçlarını açıkladı?
OpenAI ayrıca, her boyutta yerel düzleştirme varsayımının kanıtını sunduğunu ve bunun Kakeya ve Stein'ın kısıtlama varsayımlarını da çözeceğini iddia etti. İkinci bir iddia ise, aralarında saf Yang-Mills teorisinin de bulunduğu bazı dört boyutlu kuantum alan teorileri için kesin bir varlık kanıtıydı. Nobel ödüllü David Gross liderliğindeki bir grup, yapay zeka materyallerini gizli tutuyor ve kendileri yazıyor. OpenAI, akademik krediye ilgi duymadığını ve Simons Vakfı'na atölye çalışmaları için 5 milyon dolar bağışta bulunduğunu söylüyor.
Anthropic'in halka arz dosyasında şirketin gelir ve zararları hakkında neler ortaya çıkıyor?
Anthropic, ANT kısaltmasıyla halka arz başvurusunda bulundu ve analistler ile yatırımcılar şirketin değerini 1,5 trilyon doların üzerinde tahmin ediyor. Gelirler birkaç yıl önce 41 milyon dolardan geçen yıl 4,585 milyar dolara, bu yılın ilk altı ayında ise 16,286 milyar dolara yükseldi. Aynı altı aylık dönemde 80 milyar dolarlık net zarar açıkladı. 14.000'den fazla kurumsal müşterisi bulunuyor ve en büyük beş müşterisi gelirlerin dörtte birini sağlıyor.
Broadcom'un Anthropic için yaptığı 63 milyar dolarlık çip finansmanı anlaşması nasıl işliyor?
Bank of America, Blackstone, Citi ve Morgan Stanley, Anthropic için Broadcom'un yapay zeka çiplerini ve ağ donanımını satın almak üzere 63 milyar dolar topladı. Yeni kurulan özel amaçlı bir şirket, donanımı satın alıp Claude üreticisine kiralıyor. Broadcom, alacaklılara kalan değer desteği sağlıyor. İki kaynağa göre, yaklaşık 43,5 milyar dolar kıdemli birinci dereceden teminatlı borç iken, Blackstone taahhüt edilen ikinci dereceden teminatlı kısmı üstleniyor. Teslimatların gelecek yıla kadar başlaması beklenmiyor.
Meta neden halka arz yoluyla 95 milyar dolar topluyor?
Meta, yapay zekâ altyapısı geliştirme çalışmaları için 95 milyar dolar fon arıyor. Bu fon, yapay zekâ ajanı Muse, uygulamaları ve veri merkezi işletmesini kapsayacak. Plan, 35 milyar dolarlık halka arz yoluyla gerçekleştirilecek hisse senedi satışıyla başlayacak ve ardından piyasa fiyatından hisse senedi satışı programıyla 60 milyar dolar daha sağlanacak. Nvidia, AMD ve Broadcom, hisselerin 5 milyar dolara kadar olan kısmını satın almakla ilgileniyordu. Meta, tüm yıl için sermaye harcaması tahminini 135 milyar ila 145 milyar dolara yükseltmişti ve hisse senedi sabahki işlemlerde %1,6 değer kaybetti.
Cathedral gerçekten de Anthropic'in iç sistemlerini hackledi mi?
Eski DOGE çalışanları tarafından kurulan bir güvenlik girişimi olan Cathedral, yapay zekâ ajanlarının üçüncü taraf iş yazılımlarındaki güvenlik açıklarından yararlanarak 12 saatten kısa bir sürede Anthropic'in iç sistemlerine erişim sağladığını söylüyor. Anthropic, sınırlı sayıda satış, insan kaynakları ve BT sistemine erişim sağlandığını doğruladı. Claude görüşmelerine, kaynak koduna ve model ağırlıklarına asla dokunulmadığını savunuyor. Anthropic ayrıca Cathedral'ı, yaptığı işin tam kapsamını açıklamayarak test programının kurallarını ihlal etmekle suçluyor.
GPT-6.1 Terra'nın fiyatı ne kadar ve kimler kullanabilir?
GPT-6.1 Terra, ChatGPT Work ve Codex'te ve API aracılığıyla Plus, Pro, Enterprise ve Edu kullanıcılarına sunuluyor. API fiyatları, milyon giriş tokenı başına 1 dolar ve milyon çıkış tokenı başına 5 dolar olup, GPT-5.6 Terra ve GPT-6.1 Sol'dan %50 daha düşüktür. OpenAI, Agents' Last Exam'de GPT-6 Astra ile aynı seviyede olduğunu ve token başına fiyatın onda biri olduğunu belirtiyor. En zorlu kodlama işleri için OpenAI, Sol veya Astra'yı kullanmaya devam etmeyi öneriyor.