157 haber bu etiketle işaretlenmiş
OpenAI, ardışık asal sayılar arasındaki farkın en fazla 186 olduğunu gösteren matematiksel sınırın Lean 4 biçimselleştirmesini ve Python sayısal sertifikasını GitHub üzerinde açık kaynak olarak…
Bilgisayar grafikleri ve simülasyonlarda rastgele ancak birbirine belirli bir mesafeden daha yakın olmayan noktalar yerleştirmek için yaygın olarak Poisson disk dağılımı kullanılıyor. Robert Bridson…
Bir grup yazılımcı ve araştırmacı, yiyecek sınıflandırma tartışmalarını matematiksel bir çerçeveye oturtmayı amaçlayan Salad Theory adlı mizahi teoriyi yayımladı. Çalışma, geleneksel mutfak…
Matematikçi James Propp, Rubik Küpü mantığını iki boyutlu karo döşeme teorisiyle birleştiren "Düz Küp" (Flat Cube) adlı yeni bir mekanik bulmaca tanıttı. Eşkenar dörtgen parçalardan oluşan bu…
ABD'nin Pensilvanya eyaletinde yaşayan 17 yaşındaki lise öğrencisi Connor Hill, geliştirdiği hesaplamalı algoritma ile matematikçilerin yıllardır üzerinde çalıştığı asil çokyüzlüler (noble polyhedra)…
UEFA'nın 2024-25 sezonunda uygulamaya koyduğu 36 takımlı lig aşaması formatı, rastgele kura çekimi nedeniyle takımların kendi aralarında yoğun kümelenmeler oluşturmasına yol açıyor. Araştırmacılar,…
Yazılımcı ve araştırmacı BorisTheBrave, Voronoi diyagramlarının sınırlarını doğal ve fraktal yapılara dönüştüren yeni bir hesaplama yöntemi yayımladı. Geleneksel düz çizgili hücre sınırları yerine…
ETH Zürih bünyesindeki beş matematikçi, perkolasyon teorisinde uzun süredir çözülemeyen keskinlik varsayımını kanıtladı. Sahar Diskin, Philip Easo, Ritvik Ramanan Radhakrishnan, Benny Sudakov ve…
Matematik dünyasında uzun süredir tartışılan Hopf problemi için sunulan çözüm, Lean etkileşimli teorem kanıtlama dili kullanılarak dijital ortamda resmileştirildi. Çalışma, 6 boyutlu kürenin standart…
Matematikçi John D. Cook, antik uygarlıkların bıraktığı yazılı kalıntılarda sıfır kavramının bulunup bulunmadığını anlamanın yöntemlerini inceledi. Cook, elektronik tablolardaki sütun adlandırma…
Araştırmacılar, Dünya üzerinde karaya çarpmadan yelken açılabilecek ve büyük bir su kütlesine rastlamadan karayoluyla gidilebilecek en uzun düz hat rotalarını matematiksel modellerle hesapladı. arXiv…
Aritmetik geometri alanında doktora derecesine sahip bir araştırmacı, yayımladığı kişisel denemesinde yapay zeka modellerinin matematik alanındaki artan rolünü ve bu durumun kariyer dinamiklerine…