Ana SayfaEtiketlerMatematik

Matematik

Yapay Zeka

Musk, Amazon’a Rakip Şirket Kurma Fikrini Ortaya Attı: Grok Botları Engellendi

Elon Musk, Amazon'un Grok botlarının sipariş vermesini engellediği iddiasının ardından X'te rakip bir şirket kurulabileceğini söyledi. Musk somut plan paylaşmadı; aynı gün Grok'un alışveriş hatalarında SpaceX'in kullanıcı zararını karşılayacağını duyurdu.
Dosya Haber

iPhone Duo: Apple’ın Katlanabilir Geleceğe Uzanan Büyük Kumarı

Apple, merakla beklenen katlanabilir modeli iPhone Duo ile Silikon Vadisi’ni hareketli bir eylül sabahına uyandırdı. Apple Park’ın çimlerinde toplanan büyük bir kalabalık vardı. Gazeteciler, ünlü isimler ve teknoloji meraklıları yeni cihazı bekliyordu. Sahneye çıkan isim bu kez Tim Cook değildi. Şirketin dümene geçen yeni lideri John Ternus parlıyordu.
spot_img
Yapay Zeka

OpenAI, Yayımlanmamış Yapay Zekâ Modelinden Çıkan 722 Matematik Makalesini Paylaştı

OpenAI, henüz kamuoyuna açıklanmamış dahili bir öncü modelin ürettiğini söylediği 722 matematik makalesini herkese açık bir GitHub deposunda yayımladı. Sonuçların doğrulanması aylar sürebilir; matematikçiler ise ikiye bölündü.
Yapay Zeka

OpenAI’dan Kanıtsız Dev İddia: Yapay Zeka 100’den Fazla Matematik Problemini Çözdü

OpenAI, adı açıklanmayan bir yapay zeka modelinin bir ayda 100'den fazla çözülemeyen matematik problemini çözdüğünü öne sürdü. Şirket kanıt ya da bağımsız doğrulama sunmadı; 25 Fields Madalyalı matematikçi imzasıyla yayımlanan açık mektup iddiayı sert biçimde eleştirdi.
Yapay Zeka

OpenAI, Navier-Stokes Kanıtına Rağmen Justin Sun’ın 1 Milyon Dolarlık Ödülünü Reddetti

Kripto girişimci Justin Sun, yapay zekâ ajanlarının ürettiği Navier-Stokes kanıtı için OpenAI'a 1 milyon dolarlık ödül önerdi. Ancak şirket, atıf tartışmaları ve akademik çevrelerin şüpheciliği gölgesinde ödülü şimdilik talep etmedi. Peki bu reddedişin arkasında hangi gerekçeler var?
Yapay Zeka

Fields Madalyalı Terence Tao: Yapay Zekâ Destekli Kanıt Navier-Stokes’a Giden Yolu Açabilir

NYU'lu matematikçi Tristan Buckmaster ile Anthropic araştırmacısı Levent Alpöge'nin Lean ile doğrulanmış, yapay zekâ destekli akışkanlar dinamiği kanıtları, Fields Madalyalı Terence Tao tarafından "dikkat çekici bir başarı" olarak nitelendirildi. Tao, yöntemin Navier-Stokes'a uzanabileceğini söyledi.
Yapay Zeka

Claude, Fermat’ın Son Teoremi’ni Bilgisayarla Doğrulanan İlk Kanıtla Çözdü

Anthropic, yapay zekâ modeli Claude'un matematiğin en köklü problemlerinden Fermat'ın Son Teoremi'ni 11 günde, tamamen bilgisayar tarafından doğrulanabilir şekilde kanıtladığını duyurdu. Claude, kanıt için Lean dilinde 13 milyon satır kod yazıp 29.500 ara teorem ispatladı; matematikçiler bunu çığır açan bir başarı olarak nitelendiriyor.
Editörün Seçimi

Yapay Zekâ Modelleri Matematikte On Yıllardır Çözülemeyen Problemlerde İlerleme Sağladı

Yapay zekâ modelleri, saf matematikte uzun süredir çözülemeyen iki önemli problemde dikkat çeken sonuçlara ulaştı. ChatGPT’nin Crouzeix varsayımı için tam kanıt ürettiği bildirilirken, Anthropic’in Claude modeli Riemann hipoteziyle ilişkili bir sınırı ileri taşıdı.
Yapay Zeka

OpenAI, Matematik Olimpiyatı’nda Altın Madalya Kazandı!

OpenAI'dan deneysel bir araştırma modeli, Uluslararası Matematik Olimpiyatı'nda altın madalya düzeyinde performans göstererek yapay zeka için önemli bir kilometre taşına ulaştı. Model, karmaşık matematik problemlerini insan benzeri akıl yürütme ile çözebildi.
Bilim

Sayıların Tarihi: Kemikten Rakam Sistemine Uzanan Yolculuk!

Sayılar hayatımızın her yerinde. Ama bu sayıları kim, ne zaman ve neden kullanmaya başladı? İşte sayıların tarihini anlatan ilginç bir yolculuk...
Bilim

Matematik Ne zaman İcat Edildi? İşte Tarihsel Yolculuğu

İnsanlar on binlerce yıl önce saymayı öğrendi, ancak gelişmiş aritmetik, cebir ve hatta kalkülüs gibi matematik dallarını anlamaya ne zaman başladılar?
Yapay Zeka

OpenAI’dan Yeni Yapay Zeka Modelleri: o3 ve o4-mini, “Görüntülerle Düşünme” Yeteneği Sunuyor

OpenAI, o3 ve o4-mini adında iki yeni yapay zeka modeli piyasaya sürdü. Bu modeller, ChatGPT'nin araçlarını kullanarak görüntüleri yorumlama ve bunlarla akıl yürütme yeteneği sunuyor.
Editörün Seçimi

DeepMind’ın Yapay Zekası Matematik Olimpiyatı Şampiyonlarını Geride Bıraktı

DeepMind'ın yapay zekası AlphaGeometry2, Uluslararası Matematik Olimpiyatı'nda altın madalya sahiplerini geride bırakarak matematiksel yeteneklerini...
Teknoloji

Duolingo’ya Matematik ve Müzik Dersleri Geliyor

Duanlingo, uygulamaya matematik ve müzik öğrenme derslerinin ekleneceğini duyurdu. Uygulamada yüzlerce ders ve 200’den fazla tanıdık melodi yer alacak. Yeni eklenecek özellikler, 11 Ekim’de düzenlenecek olan Duocon etkinliğinde açıklanacak.
Devamını Göster

Latest articles

Yapay Zeka

Musk, Amazon’a Rakip Şirket Kurma Fikrini Ortaya Attı: Grok Botları Engellendi

Elon Musk, Amazon'un Grok botlarının sipariş vermesini engellediği iddiasının ardından X'te rakip bir şirket kurulabileceğini söyledi. Musk somut plan paylaşmadı; aynı gün Grok'un alışveriş hatalarında SpaceX'in kullanıcı zararını karşılayacağını duyurdu.
Dosya Haber

iPhone Duo: Apple’ın Katlanabilir Geleceğe Uzanan Büyük Kumarı

Apple, merakla beklenen katlanabilir modeli iPhone Duo ile Silikon Vadisi’ni hareketli bir eylül sabahına uyandırdı. Apple Park’ın çimlerinde toplanan büyük bir kalabalık vardı. Gazeteciler, ünlü isimler ve teknoloji meraklıları yeni cihazı bekliyordu. Sahneye çıkan isim bu kez Tim Cook değildi. Şirketin dümene geçen yeni lideri John Ternus parlıyordu.
Dijital Güvenlik

Akıllı Gözlük, Yüz Tanıma ve Biyometrik İzleme Bir Tehdit mi?

Akıllı gözlük, yüz tanıma ve biyometrik izleme teknolojilerinin kesiştiği bu çağda, sabah evinizden çıkıp kalabalık bir metro istasyonuna girdiniz. Yanınızdaki genç adam size doğru hafifçe gülümsedi. Hemen ardından adınızla hitap edip mezun olduğunuz liseyi sordu. Şaşkınlıkla geri çekildiniz. Çünkü bu kişiyi hayatınızda ilk kez görüyordunuz.
Yapay Zeka

Meta ve Apple Güçlerini Birleştirdi: Muse Spark Open Mac Studio’da Çalışıyor

Meta, ABD'nin en yetenekli açık ağırlıklı modeli dediği Muse Spark Open'ı duyurdu. 816 milyar parametreli model, Apple'ın MLX çerçevesiyle iki M5 Ultra'lı Mac Studio üzerinde yerel olarak çalışabiliyor. Rakip iki teknoloji devi bu kez aynı masada.