157 haber bu etiketle işaretlenmiş
OpenAI, açık kaynak kod deposu GitHub üzerinden yüzlerce matematiksel kanıt ve karşıt örnek içeren geniş bir makale koleksiyonu yayımladı. Kurumun resmi GitHub hesabındaki math adlı dizinde…
Matematik problemlerini derleyen Erdosproblems.com platformu, yapay zeka tarafından üretilen açıklamasız kanıtların yarattığı yoğunluk nedeniyle yorum ve kanıt bildirim özelliklerini süresiz olarak…
Araştırmacılar, bilgisayar biliminin temel problemlerinden 3SUM ve Tüm Çiftler En Kısa Yol (APSP) algoritmaları için ilk polinom düzeyinde iyileştirmeleri sundu. arXiv üzerinden 5 Ekim 2026 tarihinde…
Japon Zen bahçelerindeki çakıl tırmıklama geleneği, Samon adlı yeni bir bulmaca oyunu tasarımıyla matematiksel ve algoritmik bir yapıya kavuşturuldu. Tasarım, tırmıklama eylemini ızgara grafikler…
Yapay zeka araştırmacısı Christian Szegedy, yayımladığı değerlendirme yazısında yapay zekanın saf matematik alanında yarattığı kırılmayı ele aldı. Szegedy, geleneksel matematikçilerin zorlu…
Matematikçi Jeremy Avigad, yayımladığı değerlendirme yazısında büyük dil modellerinin ve yapay zeka araçlarının matematik araştırmaları üzerindeki etkilerini ele aldı. Avigad, daha önce saygın…
Büyük dil modellerinin ve yapay zeka sistemlerinin karmaşık matematiksel teoremleri çözmeye başlaması, matematik camiasında geniş çaplı bir tartışmayı ve tepki sürecini tetikledi. Birçok araştırmacı…
Geometri dünyasında "Miller Canavarı" adıyla da anılan "Great Dirhombicosidodecahedron" adlı tekdüze çokyüzlünün 1280 dış yüzey parçası içeren kağıt maketi üretildi. Toplam 124 yüz, 240 kenar ve 60…
Konveks gövdelerin sadeleştirilmesi işleminde yüzey düzlemlerinin birleştirilmesi veya elenmesinin ardından yapının yeniden inşa edilmesi gerekiyor. Bu süreçte başvurulan yöntemlerden biri, yüzey…
Mathigon, geometrinin temel taşlarından sayılan düzgün ve yarı düzgün çokyüzlüleri origami modelleri ve dijital araçlar üzerinden açıklayan bir içerik yayımladı. Platform, Platonik cisimler ile…
Yazılımcı Simon Sapin, Factorio oyununun Space Age genişleme paketiyle gelen rastlantısal kalite mekaniğini analiz etmek amacıyla doğrusal cebir temelli bir hesaplama modeli geliştirdi. Beş farklı…
Matematik camiası, yapay zeka laboratuvarlarının kapalı modellerle ürettiği matematiksel kanıtların sorumlu şekilde paylaşılması için kapsamlı bir tavsiye metni yayımladı. 29 Eylül 2026 tarihinde…