Büyük Dil ModelleriOpenProblemBench, Yapay Zekanın Bilimsel Sınırlarını Test Etmeye Hazırlanıyor
ArXiv'de yayınlanan yeni benchmark, matematik ve teorik fiziğin 82 çözülmemiş problemini AI sistemlerine sunarak, makinelerin gerçek bilimsel araştırm
#Matematik
12 yazı · Bu etiketteki yazılar
Büyük Dil Modelleri
Büyük Dil ModelleriOpenAI, Matematik Problemlerinde Yüzlerce Yeni Sonuç Yayınladı
OpenAI, büyük matematik problemleri üzerinde yüzlerce yeni sonuç elde ettiğini açıkladı ve bu sonuçların çoğunun tek bir AI ajanına verilen tek bir ko
Yazılım & Geliştirici AraçlarıJohn von Neumann'ın Matematiğe ve Bilgisayar Bilimine Yaptığı Etkiyi Anlamak
Ünlü matematikçi Paul Halmos tarafından 1973 yılında yazılan makale, bilgisayar mimarisinin kurucularından von Neumann'ın bilime olan katkılarını deta
Büyük Dil ModelleriYapay Zeka Çağında Matematikçilere Artan İhtiyaç
Terry Tao'nun blog yazısı, AI ve ileri teknolojilerin gelişimiyle birlikte matematikçi talebinin önemli ölçüde artacağını vurguluyor.
Yazılım & Geliştirici AraçlarıFizik ve Matematik Sayesinde Sıçrama İçermeyen Tuvaletler Tasarlanıyor
Araştırmacılar diferansiyel denklemleri kullanarak idrar çıkışını kontrol eden pisuarlar geliştiyorlar.
Büyük Dil ModelleriYapay Zeka ve Matematik Hizalamayı Yeniden Düşünmek Gerekiyor
Lior Pachter, yapay zeka sistemlerinin matematik ve insan değerleriyle uyumlandırılması konusunda temel sorular ortaya koyuyor.
Büyük Dil ModelleriOpenAI Matematik Dünyasını Kırıyor: Millennium Ödülü Sorunu Çözdü
OpenAI, Millennium Prize problemlerinden birini çözerek matematik camiasında tartışma başlattı; başarı coşkuyla karşılanmasa da, şirketin kaynakları m
Yazılım & Geliştirici AraçlarıTopoloji Kitabı Artık Görsel Olarak İnteraktif Bir Deneyime Dönüştürüldü
E-infinity platformu, soyut topoloji kavramlarını interaktif görseller ve animasyonlarla anlaşılır hale getiren yeni bir resimli kitap sunuyor.
Uzay & DroneNavier-Stokes Denklemleri: Matematik ve Hesaplamalı Bilimde Temel Problem
NYU araştırmacısı Tristan Buckmaster, akışkanlar dinamiğinin en önemli açık problemlerinden biri olan Navier-Stokes denklemlerini analiz eden yeni bir
Büyük Dil ModelleriFormal Matematik İspatlarında Yapay Zeka Verimliliği Artırılıyor
Araştırmacılar, büyük dil modellerinin matematiksel teoremler ispatlarken arama alanını daha verimli kullanmasını sağlayan yeni bir Monte Carlo ağaç a
Büyük Dil ModelleriProofEvolve: Yapay Zeka ve Matematiksel İspatlar Birleşiyor
Yeni araştırma, sinir ağları ve sembolik mantığı birleştirerek otomatik teoremler kanıtlayan sistemlerin kendi kendini iyileştirmesini sağlıyor.
Yazılım & Geliştirici AraçlarıDivergence Teoremi ile Hacim Hesaplaması Hızlandırılıyor
Matematiksel optimizasyon tekniği kullanarak 3D şekillerin hacim hesaplamalarını dramatik şekilde hızlandıran yeni yaklaşım