23 yaşındaki Liam Price, GPT-5.4 Pro’ya verdiği tek istemle 60 yıllık bir Erdös probleminin çözümüne kapı açtı. İspat, uzmanlar tarafından incelendi ve Erdös Problems sitesinde Lean ile doğrulanmış olarak işaretlendi.
Pekin Üniversitesi'nden bilim insanları, insan müdahalesine gerek duymadan karmaşık problemleri çözen yeni bir teknoloji geliştirdi. Hiç durmadan 80 saat boyunca çalışan sistem, 2014 yılından bu yana yanıt bekleyen matematik varsayımını hatasız bir şekilde ispatlamayı başardı.
11 üst düzey matematikçi, yapay zekâya bir haftada çözmesi için 10 özgün lemma verdi. OpenAI dahil birçok ekip denedi. İşte “First Proof” meydan okumasının dikkat çeken ayrıntıları.
Koç Üniversitesi Rektörü Prof. Dr. Metin Sitti'nin açılış konuşmasını yaptığı etkinlikte, TW68 (diyabet tedavisi), OcuSim (katarakt simülasyonu) ve GLIO-SERS (likit biyopsi) gibi akademik projeler tanıtıldı. Mezun girişimler ise çözümlerini paylaştı.
Sokrates’in öğrencilerini sınadığı klasik bir geometri problemi bu kez yapay zekaya yöneltildi. Araştırmacılar, ChatGPT’nin bu soruya nasıl yaklaştığını ve verdiği yanıtların öğrenme süreciyle benzerlik gösterip göstermediğini inceledi.
Google Arama'nın yeni özelliği AI Mode, çevrim içi habercilik sektöründe çok büyük tepkilere yol açtı. Haber kaynakları, Google'ın hırsızlık yaptığını düşünürken Google, bazıları hiçbir işe yaramayacak çözüm önerileri sunmayı planlıyor.
200 yıldır çözülemeyen beşinci derece polinom denklemleri için yeni bir çözüm yöntemi geliştirildi. Matematikçiler bu kez farklı bir yaklaşımla sonuca yaklaşıyor.
Microsoft artık Windows 11'i yüklerken internete bağlanmanız konusunda daha da ısrarcı olacak. Böylelikle, Microsoft hesabı olmadan Windows 11 kurup kullanma çağı da sona eriyor.
SOCAMM ismi verilen yeni bellek modülleri, yapay zeka platformlarında daha yüksek verimlilik ve performans sunuyor. Micron ve SK Hynix’in geliştirdiği bu yenilikçi teknoloji, bilhassa Nvidia’nın Grace Blackwell mimarisine özel olarak tasarlandı.
Microsoft, Ekim 2021'de özgün Windows 11 sürümü 21H2'yi genel kullanıma sunduğunda, desteklenmeyen bilgisayarlarda sistemin kurulmasını sağlayan süreksiz bir tahlil de sunmuştu. ama görünüşe bakılırsa bu tahlil, artık "buhar oldu."