DeepSeek is shipping a theorem prover (automate math proofs) no paper yet, but word is they used MCTS, which would be surprising bc one of my big takeaways from the R1 paper was that MCTS didn’t work and RL alone was enough huggingface.co/deepseek-ai/...

Depremler neden yapay zekayla tahmin edilemiyor? – Veri az ve seyrek – Yer kabuğu kaotik, küçük farklar büyük etkiler yaratıyor – Fiziksel süreçler tam bilinmiyor – Her fay hattı farklı, genelleme zor – Öncü belirtiler güvenilmez

Biz mantıklı ve tutarlı karar süreçlerine uyum sağlayacak şekilde eğitim aldık. Yapılan açıklamalar birbiriyle çelişiyor ve kararlar makul bir şekilde gerekçelendirilmiyorsa zihnimiz bu belirsizliği kabullenmekte zorlanıyor.

Okullar neden tatil edildi?

Gidişata bakılırsa ilk iş İstanbul'dan uzaklaşmak gerekiyor.

David Silver ve Yann LeCun'un ayrı güncel podcastlerini izledim; ikisi de mevcut LLM işlerinden hoşnut değil. Silver, insan deneyimi üst tavandır bizi sınırlıyor bunu aşmalıyız diyor; LeCun, mevcut çalışmalar datayı iyileştirip ince hesap yapmaktan öte gitmiyor, artık dilin ötesine geçmeliyiz diyor.

Powell kovulsun ve Harvard'a kayyum rektör.

Steve Kerr wore a Harvard basketball shirt after the Warriors’ win tonight: “Yes, this is me supporting Harvard. Way to go. Way to stand up to the bully.”

Bluesky mı X mi derken ikisinden de verim alınmıyor.

Central Limit Theorem.

Doğal olan normal dağılım.

Hangi milletten birini takip edersen o milletten bot takipçiler gelmeye başlıyor.

Normal doğum diye pankart açtılar out of nowhere. Bu kadar kolay düşmeyin.

Elektrik faturasında devlet desteği vurgulanır olmuş.

Trump dipten topladı.

Tariffler 90 gün ertelenmiş alarm kuruyorum.

Gençlerin yurt dışı hayalleri de buharlaşıyor.

Yerel üreticiden aldığım ekmeğe 325TL verdim boykotluk mesele değil de kayda geçsin.

LLM'lerde derdini uzun uzun anlat ki iyi sonuç alasın deniyordu, reasoning modelleri çıkınca bu durum güncellendi. Sade ve direkt olmalısınız.

Takipçi profilim Devlet Bahçeli sonrası koltuk için beni uygun görüyor.

Dr. Steve Keen'in executive asistanı olduğunu iddia eden chatbot'uyla whatsapp üzerinden mesajlaşıyoruz. Biraz tuhaf.

Reward model sorunluydu; kodlama ve matematik problemleri için dizayn edilmişti. Genel durum için daha adaptif bir model geliştirmişler.

Mavi profil finansçının tweet çaldığı ekran görüntüsü düştü. Paylaşmamak için zor tutuyorum.

Varoluşunuzu buraya mı borçlusunuz nedir? Yankı odası okaydir.

Hemen engelledim.

Üç gün önce düşen DeepSeek makalesi, yeni modelin eli kulağındadır.

İyi diyorlar.

Meta AI ilk Llama 4 modellerini piyasaya sürdü.

Blueskycılık oynayan herkes ulvi fikir bireyi. Ben dahil.

İçki boykotu öneren kendini boykotlasın.

Postmodern isimli hesap kimliğini açıklarsa takip ederim.

İçki boykotu yıllardır sürüyor; etil alkole su katıp rakılayanlar, bira kitiyle lager mayalayanlar.

DeepSeek seminerleri devam ediyor.

50 milyar dolar mevcut sorunları çözer.

Daron Acemoglu has been cited 393 times so far on the first day of 2025.

Quiz: How many vectors can fit in an N-dimensional space if every pair forms an angle between 88° and 92°? via @3blue1brown.bsky.social

How to Read a Paper ✍️ Srinivasan Keshav (2013) 🔗 www.albany.edu/spatial/trai...