157 haber bu etiketle işaretlenmiş
UC Berkeley profesörü ve Fields Madalyası sahibi Richard Borcherds, öğrencilerin yapay zeka kullanımı nedeniyle artık ödevleri doğruluk üzerinden notlandırmadığını açıkladı. Öğrencilerin yapay…
Abhinav Nellore, Johannes Schmitt, Soledad Villar ve Rachel Ward, OpenAI tarafından yayımlanan matematik metinlerini gözden geçirmek ve geliştirmek amacıyla oai-math-revised adlı yeni bir topluluk…
Yapay zekanın ve büyük dil modellerinin karmaşık matematiksel teoremleri kanıtlama ve karşıt örnekler üretme yeteneği, matematik dünyasında köklü bir zihniyet değişimini tetikledi. Terence Tao gibi…
Araştırmacılar, iletişim mühendisliğinden bilimin birçok alanına yayılan bilgi teorisinin temel kavramlarını anlatan görsel ve sezgisel bir rehber hazırladı. arXiv platformunda yayımlanan çalışma,…
Stephen Wolfram tarafından 1980'li yıllarda incelenen Rule 30 hücresel otomatı, tek bir siyah kareden başlayarak karmaşık ve rastgele desenler üretmeyi sürdürüyor. Sistemin merkezinde uzanan orta…
Niceliksel finans alanında çalışan bir araştırmacı, Uluslararası Matematik Olimpiyatı'nda (IMO) 1997 ile 2017 yılları arasında altın madalya kazanan katılımcıların kariyer dağılımlarını gösteren…
Tamsayı çarpma algoritmalarının sınırlarını araştıran integer-mult-bounds projesinde açılan yeni bir kod inceleme talebiyle şartlı kappa katsayısında 0,003 eşiği aşıldı. 21 Ekim 2026 tarihinde…
Kaliforniya Üniversitesi (UC) sisteminde başlangıç düzeyi matematik derslerini geçemeyen birinci sınıf öğrencilerinin oranı 2025-26 akademik yılında yüzde 17,8'e yükseldi. EdSource tarafından…
OpenAI, milenyum problemlerinden biri kabul edilen Navier-Stokes varlık ve pürüzsüzlük problemini kurum içi bir yapay zeka modeliyle çözdüğünü duyurdu. Şirket bünyesindeki araştırmacı Noam Brown,…
OpenAI, 6 Ekim 2026 tarihinde yayımladığı 377 sonuç arasında matematiğin en büyük açık problemlerinden biri olan Riemann hipotezinin zayıflatılmış biçimi "kuasi-Riemann hipotezi"ni kanıtladığını…
HOL Light projesi, matematiksel ifadelerin ve mantıksal iddiaların doğrulanmasında kullanılan teorem kanıtlama sisteminin temellerini anlatan yeni bir başlangıç kılavuzu yayımladı. Standart kullanım…
Matematikçi Francesco Maggi, büyük dil modellerinin matematiksel kanıtlar üretmedeki başarısının bilim dünyası için bir altın çağ veya karanlık çağ yaratabileceğini belirtti. Son dönemde…