Bilim
Anthropic Fermat'nın Son Teoremi'ni Lean 4 ile kanıtladı
Anthropic, matematik dünyasının en bilinen problemlerinden Fermat'nın Son Teoremi'nin Lean 4 üzerinde bilgisayarca doğrulanmış tam kanıtını açık…
AnthropicLean 4
Bilim · Sayfa 46
Fizik, uzay, biyoloji, tıp ve sağlık, matematik, çevre ve enerji araştırmaları
747 haber
- Bilim
Claude Fermat'nın Son Teoremi'ni 11 günde bilgisayarla doğruladı
Anthropic araştırmacıları, Pierre de Fermat tarafından 1637 yılında ortaya atılan ve 1995 yılında Andrew Wiles tarafından kanıtlanan Fermat'nın Son…
Yapay ZekaMatematik - Bilim
Yeni araştırma yaşamın hidrotermal bacalarda başladığı teorisini sorguluyor
University of Calgary bünyesinde çalışan jeokimyacı Benjamin Tutolo, PNAS dergisinde yayımladığı makaleyle Dünya'daki ilk yaşamın derin deniz…
JeokimyaYaşamın Kökeni - Bilim
Kanada hükümeti iklim raporuyla 5 derecelik ısınma uyarısı yaptı
Kanada federal hükümeti, iklim değişikliğinin ülke üzerindeki etkilerini inceleyen Canada's Changing Climate Report adlı çalışmanın ikinci sürümünün…
İklim DeğişikliğiKanada - Bilim
Brezilya'da incelenen ton balıklarının yüzde 96'sında parazit bulundu
Brezilya'daki Santa Catarina Federal Üniversitesi araştırmacıları, yerel sulardan avlanan çizgili ton balıklarını inceleyerek neredeyse tamamında…
Deniz BiyolojisiGıda Güvenliği - Bilim
Jernej Barbic geliştirdiği Ziva VFX yazılımıyla Akademi Ödülü kazandı
Güney Kaliforniya Üniversitesi bilgisayar bilimleri profesörü Jernej Barbic, sinema sektöründe gerçekçi kas, yağ ve deri simülasyonları sağlayan Ziva…
Görsel EfektSimülasyon - Bilim
Karbon odaklı elektrik fiyatlandırması 38 şebekede test ediliyor
Yeni bir veri projesi, elektriğin temiz enerji saatlerinde ucuzlayıp fosil yakıt yoğun saatlerde pahalandığı dinamik bir fiyatlandırma modelini…
Temiz EnerjiElektrik Şebekesi - Bilim
BM Afrika'nın gerçek boyutunu gösteren yeni dünya haritasını oylayacak
Birleşmiş Milletler Genel Kurulu, Afrika kıtasının gerçek yüzölçümünü daha doğru yansıtan yeni bir dünya haritasına geçiş tasarısını oylamaya…
HaritacılıkBirleşmiş Milletler - Bilim
Egzersiz etkilerini taklit eden ilaç ilk insan testini geçti
İlaç şirketi Enveda, egzersiz sırasında salgılanan bir molekülü taklit eden deneysel ilacı ENV-308 için yürüttüğü Faz 1 klinik deney sonuçlarını…
TıpBiyoloji - Bilim
Matematikçiler kutu oyunlarında beraberliği önleyen zar geliştirdi
Auburn Üniversitesi matematikçilerinden Eric Harshbarger ve uluslararası araştırmacı ekibi, kutu oyunlarında ilk başlayacak oyuncuyu beraberlik…
MatematikOlasılık - Bilim
GLP-1 ilaçları tüberküloz dahil ciddi enfeksiyon riskini azaltıyor
Yeni yayımlanan iki bilimsel araştırma, Ozempic ve Mounjaro gibi GLP-1 sınıfı ilaçların tüberküloz ve hastaneye yatış gerektiren ağır enfeksiyon…
SağlıkTıp - Bilim
UC Berkeley araştırmacıları kas kaybı olmadan yağ yakan bileşik keşfetti
Kaliforniya Üniversitesi Berkeley'den araştırmacılar, iştahı kesmek yerine enerji harcamasını artırarak kilo kaybı sağlayan ve kas kütlesini koruyan…
ObeziteBiyoloji