Bu ne?
Bilimde AI, keşfin kendisini hızlandıran modeller demek: hipotez önerme, teorem kanıtlama, hava tahmini, yeni malzeme bulma ve tüm literatürü dakikalar içinde okuma. Birçok araştırmacıya göre AI'ın dünyayı en çok değiştireceği yer — sohbet botları değil — burası.
Önemli araçlar ve oyuncular
- DeepMind — AlphaFold, GNoME (malzeme), GraphCast (hava), AlphaProof (matematik)
- OpenAI — araştırma için sınır modeller; 100.000 akademisyene ücretsiz erişim programı (haberlerimizde)
- Anthropic — bilimsel akıl yürütme ve güvenlik araştırmalarında Claude
- FutureHouse ve "AI eş-bilimci" projeleri — otonom araştırma ajanları
Dönüm noktaları
- 2020 — AlphaFold2: AI'ın Nobel değerindeki ilk bilimsel atılımı
- 2023 — GNoME 2,2 milyon yeni kristal öngördü; GraphCast meteoroloji kurumlarını geçti
- 2024 — AlphaProof, Matematik Olimpiyatı'nda gümüş madalya seviyesine ulaştı
- 2025 — Büyük dil modelleri IMO altın seviyesine çıktı; "AI eş-bilimci" ajanları laboratuvarda doğrulanan hipotezler üretti
- 2026 — Claude uzmanların kaçırdığı şifreleme zayıflıklarını buldu; OpenAI sınır modellerini 100 bin araştırmacıya açtı (ikisi de haberlerimizde)
- Ağu 2026 — OpenAI'ın Astra ön izlemesi: ajan takımları matematik ve teorik bilgisayar biliminde on açık problemi makine denetimli Lean kanıtlarıyla çözdü (haberlerimizde)
- Ağu 2026 — Adları açık matematikçiler bu kanıtların bir kısmında atıf itirazında bulundu; OpenAI “on yıldır ilerleme yok” ifadesini yumuşattı (haberlerimizde)
- Ağu 2026 — İlk yapay zekâ tasarımı eksiksiz genomlar: 16 çalışan bakteriyofaj, Science'ta yayımlandı (haberlerimizde)
- Ağu 2026 — DeepMind'ın Nature'da yayımlanan WeatherNext siklon modeli ABD Ulusal Kasırga Merkezi'nde operasyonel olarak kullanıldı ve Apache 2.0 ile açık ağırlıklı yayımlandı (haberlerimizde)
- Ağustos 2026 — Yayınlanmamış bir Claude, Riemann hipotezinin sıfır sınırını yüzde 41,6'dan yüzde 67,2'ye çıkardı: kayıtlardaki en büyük tek seferlik sıçrama, makineyle doğrulanabilir kanıtıyla (haberlerimizde)
- Ağustos 2026 — Palomar gönderime açıldı: matematik, Lean ispatlarını makineyle denetleyen ve gündelik dildeki iddianın örtüştüğünü bir dil modeline doğrulatan bir kayıt sistemine kavuştu (haberlerimizde)
Mini sözlük
- Eş-bilimci: hipotez öneren ve test edilmesine yardım eden AI ajanı
- Temel model: birçok bilimsel göreve uyarlanan tek büyük model
- Benchmark: model yeteneklerini kıyaslayan standart test