Bilim
Yapay zekanın matematiksel kanıt doğrulamalarındaki çeviri açığı ortaya kondu
Araştırmacılar, yapay zeka modelleri tarafından üretilen matematiksel metinlerin Lean gibi biçimsel dillere otomatik çevrilmesi sürecinin…
Yapay ZekaMatematik
Bilim · Sayfa 17
Fizik, uzay, biyoloji, tıp ve sağlık, matematik, çevre ve enerji araştırmaları
742 haber
- Bilim
11 karenin en uygun paketleme kanıtı Lean 4 ile doğrulandı
Araştırmacılar, 11 birim karenin daha büyük bir kare içerisine en uygun şekilde yerleştirilmesine ilişkin matematiksel kanıtı Lean 4 etkileşimli…
MatematikLean 4 - Bilim
2026 Nobel Kimya Ödülü asimetrik organik sentez çalışmalarına verildi
2026 Nobel Kimya Ödülü, asimetrik organik sentezde doğrusal olmayan etkileri ve otokatalizi keşfeden Henri B. Kagan ile Kenso Soai'ye verildi.…
KimyaNobel Ödülü - Bilim
İklim değişikliği ABD'nin güneyinde zeytinyağı üretimini artırıyor
Akdeniz havzasında yaşanan iklim baskıları ve düşen rekolteler küresel zeytinyağı pazarını etkilerken, Amerika Birleşik Devletleri'nin güney…
Tarımİklim Değişikliği - Bilim
Kalıcı yaz saati uygulaması uyku ve ruh sağlığını bozuyor
Kanadalı sağlık araştırmacıları, mevsimsel saat değişikliklerinin kaldırılması durumunda kalıcı standart saat uygulamasının kalıcı yaz saatine tercih…
BiyolojiUyku Sağlığı - Bilim
2026 Nobel Kimya Ödülü Henri B. Kagan ve Kenso Soai'ye verildi
İsveç Kraliyet Bilimler Akademisi, 2026 Nobel Kimya Ödülü'nün asimetrik organik sentezde doğrusal olmayan etkiler ve otokataliz keşifleri nedeniyle…
Nobel Kimya ÖdülüKimya - Bilim
Adli tıp yöntemlerinin bilimsel geçerliliği sorgulanıyor
British Columbia Üniversitesi Hukuk Fakültesi Öğretim Üyesi Sara Gordon, mahkemelerde yaygın biçimde kullanılan kan lekesi analizi, balistik ve…
Adli TıpHukuk - Bilim
Stanford araştırmacıları kıkırdağı yenileyen ve kireçlenmeyi durduran yöntem geliştirdi
Stanford Medicine araştırmacıları, yaşlanmayla birlikte seviyesi artan bir proteini baskılayarak diz kıkırdağını yeniden oluşturan bir tedavi yöntemi…
Kıkırdak YenilenmesiOsteoartrit - Bilim
Kediler insanlarla yavaş göz kırpma hareketi üzerinden iletişim kuruyor
Scientific Reports dergisinde yayımlanan araştırma, evcil kedilerin insanlarla olumlu duygusal bağ kurarken göz kısma ve yavaş göz kırpma…
Kedi DavranışıBilişsel Bilim - Bilim
Kilo verme ilaçları biyolojik yaşlanmayı yavaşlatıyor
İlaç üreticileri Novo Nordisk ve Eli Lilly, yaygın olarak kullanılan GLP-1 sınıfı kilo verme ve diyabet ilaçlarının biyolojik yaşlanmayı…
BiyoteknolojiSağlık - Bilim
Erdosproblems platformu yapay zeka akını nedeniyle yorumları dondurdu
Matematik problemlerini derleyen Erdosproblems.com platformu, yapay zeka tarafından üretilen açıklamasız kanıtların yarattığı yoğunluk nedeniyle…
MatematikYapay Zeka - Bilim
Dünya biyokütlesinde liderliği kuzey ormanlarındaki ağaç türleri üstleniyor
Dünya üzerindeki canlı türlerinin toplam kütlesi incelendiğinde, biyokütle liderliği sanılanın aksine hayvanlar veya evcil tarım ürünleri yerine…
BiyolojiBiyokütle