İşaret

2026-06-02
Yapay Zeka
Bilgisayarlı Görü · Doğal Dil İşleme · Robotik

OpenAI Modeli 80 Yıllık Matematik Sorununu Çözdü

OpenAI'ın yapay zeka modeli, Paul Erdős'ün 1940'lardan kalma ünlü matematik problemini ilk kez çözdü.

OpenAI'ın geliştirdiği yapay zeka modeli, 1940'lardan bu yana matematikçileri zorlayan Paul Erdős'e ait "toplu fayda dağılımı" problemini başarıyla çözdü. Problem, belirli büyüklükteki bir tam sayı kümesini iki gruba bölerken gruplar arasındaki aritmetik ilerleme farkını minimize etmeyi gerektiren ünlü bir kombinatorik sorunudur; Erdős bu problemi çözen kişiye para ödülü teklif etmişti. Modelin çözüm stratejisi, salt hesaplama gücüne değil, sembolik muhakeme ve sezgisel örüntü keşfine dayanıyor. Model, insan matematikçilerin uzun yıllar boyunca fark edemediği bir yaklaşımı —özelleştirilmiş bir iteratif sıkıştırma yöntemi— bağımsız olarak geliştirdi. Araştırmacılar çözümü doğruladıktan sonra yayımladıkları teknik raporda, modelin problem yapısını insan matematikçilerden farklı biçimde temsil ettiğine dikkat çekti. Yapay zekanın matematik alanındaki başarıları —son dönemdeki IMO madalyaları dahil— çoğunlukla iyi tanımlanmış rekabet problemlerinde kaydedilmişti. Bu kez konu farklı: onlarca yıl açık kalan, formülasyonu standart eğitim kümelerinde yer almayan gerçek bir araştırma problemi. Bulgu, büyük dil modellerinin rutin akıl yürütmenin ötesine geçerek özgün matematiksel keşif yapabileceğini gösteren en somut kanıtlardan biri olarak tarihe geçiyor.

Ars Technica Science →

Anthropic Borsaya Açılmak İçin SEC'e Başvurdu

Güvenlik odaklı AI şirketi Anthropic, halka arz başvurusunu SEC'e ileterek AI sektörünün en büyük borsaya girişlerinden birini hazırlıyor.

Yapay zeka alanının önde gelen güvenlik odaklı şirketi Anthropic, Haziran 2026'da SEC'e S-1 başvurusunu yaparak halka arz sürecini resmen başlattı. Şirket, Claude dil modelleri ailesiyle kurumsal müşteri segmentinde güçlü bir yer edinmiş durumda; AWS ve Google'dan aldığı toplamda on milyar doları aşan stratejik yatırımlarla AI rekabetinin merkezine konumlanmıştı. Başvuru belgesi ayrıca şirketin artan gelir rakamlarını ve kurumsal müşteri tabanının genişlediğini ortaya koyuyor. Anthropicin başvurusu, güvenlik odaklı bir AI şirketinin piyasa değerinin nasıl belirleneceği sorusunu gündeme taşıyor. OpenAI'nin yaklaşık 300 milyar dolar değerlemesiyle kıyaslanacak olan Anthropic, rakipleriyle arasındaki farkı emniyetli ve yorumlanabilir AI modelleri geliştirme taahhüdüyle çiziyordu. Şirketin anayasal AI (Constitutional AI) yöntemi ve model güvenliğine verdiği önem, yatırımcıların gözünde bir risk azaltıcı mı yoksa bir maliyet merkezi mi olduğu sorusu IPO sürecinde yanıt bulacak. Halka arz, AI sektörünün genel olgunlaşma seyrini de yansıtıyor: özel piyasalarda oluşan muazzam değerlemeler artık kamu piyasalarının denetimine girmeye başlıyor. Anthropic'in nasıl fiyatlandırılacağı yalnızca şirket için değil, güvenlik ilkelerini iş stratejisinin merkezine koyan diğer AI girişimleri için de emsal teşkil edecek.

TechCrunch AI →

Çin Dünyanın İlk Onaylı İnvaziv BCI Çipini Sundu

Çin, omurilik yaralı bir hastanın yazı yazabilmesini sağlayan ilk invaziv beyin-bilgisayar arayüzüne klinik onay verdi.

Çin ulusal ilaç düzenleyicisi, omurilik yaralanması nedeniyle felç olan bir hastada test edilen invaziv beyin-bilgisayar arayüzü (BCI) çipine dünyada ilk kez klinik kullanım onayı verdi. Chip Logic adlı şirketin geliştirdiği sistem, motor kortekse yerleştirilen mikroelektrotlar aracılığıyla beyin sinyallerini okuyarak hastanın düşünce komutlarını ekrandaki hareketlere çeviriyor. Klinik denemede hasta, yalnızca düşünce gücüyle dakikada yaklaşık on beş karakter hızında metin yazabildi. Sistem, Elon Musk'ın Neuralink şirketinin geliştirdiği N1 çipiyle benzer bir teknik felsefeyi paylaşıyor: yüksek kanal sayılı elektrot dizisi ve yerleşik kablosuz veri iletimi. Ancak Chip Logic, sinyal işleme yazılımında farklı bir mimari seçerek daha düşük güç tüketimi ve dokulara verilen uzun vadeli stresi azaltmayı hedefliyor. Çinli araştırmacılar, FDA onayından önce harekete geçerek düzenleyici yarışta ilk avantajı ele geçirdi. Bu onay, beyin-bilgisayar arayüzü alanının iki cepheli bir rekabete dönüştüğünü tescil ediyor. Silikon Vadisi'nde Neuralink, Synchron ve Precision Neuroscience klinik veri toplarken Çin kendi onay kanalını açarak paralel bir ekosistem inşa etmiş oldu. Kimin standartlarının küresel ölçüde belirleyici olacağı sorusu, bilimsel olduğu kadar jeopolitik bir anlam da taşıyor.

MIT Technology Review →

WindBorne'un AI Modeli Devlet Meteoroloji Servislerini Geride Bıraktı

400'den fazla atmosfer balonu ve yapay zeka ile WindBorne, ulusal meteoroloji servislerinden daha doğru tahmin üretiyor.

Hava tahmin girişimi WindBorne, geliştirdiği yapay zeka modelinin ABD Ulusal Hava Servisi ve Avrupa'nın ECMWF gibi köklü meteoroloji ajanslarını geride bıraktığını yeni bir kıyaslama çalışmasıyla ortaya koydu. Şirketin rekabet avantajının kaynağı model mimarisinden çok veri toplama altyapısı: dünya genelinde 15 konumdan sürekli olarak havaya salınan 400'ü aşkın atmosfer balonu, günde birden fazla tur atarak troposfer boyunca sıcaklık, nem ve rüzgar verisi derliyor. Devlet ajansları ağırlıklı olarak radiosonde balonlarına ve uydu verilerine dayanırken WindBorne kendi donanımından gelen sinyalleri makine öğrenmesi modeline gömülü biçimde besliyor. Bu "veri-model entegrasyonu" yaklaşımı, standart asimilasyon yöntemlerine kıyasla kısa vadeli tahminlerde daha düşük hata marjı sağlıyor; özellikle ani fırtınalar ve tropikal sistemlerin takibinde fark belirgin. WindBorne'un başarısı, iklim değişikliğinin giderek daha öngörülemez kıldığı atmosfer tahmininde yapay zekanın rolünü kalıcı olarak yeniden çiziyor. Kamu meteoroloji altyapısının onlarca yıllık insan emeği ve milyarlarca dolarlık yatırımla inşa edildiği düşünüldüğünde, genç bir girişimin bu mesafeyi bu kadar hızlı kapatması hem sektörü hem de politika yapıcıları yeniden düşünmeye davet ediyor.

TechCrunch AI →

GitHub Copilot'un Token Fiyatlaması Geliştiricileri Kızdırdı

GitHub Copilot, sabit aylık abonelik yerine token bazlı faturalama sistemine geçerek geliştirici topluluğunun sert tepkisini çekti.

Microsoft'un yapay zeka kod asistanı GitHub Copilot, Mayıs 2026'da sabit aylık abonelik modelini bırakıp kullanıma dayalı token tabanlı faturalama sistemine geçti. Yeni modelde her kod tamamlama, sohbet yanıtı ve bağlam penceresi işlemi ayrı ayrı ücretlendiriliyor. Geliştirici forumlarında ve sosyal medyada hızla yayılan tepkiler, yoğun kullanan profesyonel geliştiricilerin aylık faturasının sabit plana kıyasla iki-üç katına çıkabileceğini gösteriyor. Microsoft'un bu kararının arkasında maliyet baskısı yatıyor. GPT-4o tabanlı kod asistanı, özellikle büyük kod tabanlarında bağlam penceresi tüketen uzun sorgularda şirkete ciddi maliyetler yaratıyor. Değişken fiyatlandırma şirkete maliyet tahmini açısından esneklik sağlarken geliştiricilere "ne kadar harcıyorum?" sorusunu sorduruyor — sabit ücretli bir verimlilik aracından beklenmedik bir deneyim. Bu gelişme, AI geliştirici araçları pazarındaki dönüşümü sembolik biçimde yansıtıyor. Copilot'un 2021'deki lansmanından bu yana sabit fiyat modeli "ne kadar kullanırsan kullan" özgürlüğünü simgeliyordu; token fiyatlaması ise geliştiricileri her satır kod için maliyet muhasebesine itiyor. GitHub'ın yerleşik ekosistem avantajına karşın Cursor ve Windsurf gibi rakiplerin bu fırsatı değerlendireceği şimdiden belli.

TechCrunch AI →