Berkay Anahtarcı

deepseek-ai/DeepSeek-Prover-V2-671B · Hugging Face We’re on a journey to advance and democratize artificial intelligence through open source and open science.

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/...

Kandilli 4.6 açıkladı, neden AFAD verisi paylaşıyorsunuz?

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?

Kentsel dönüşüm mevcut durumda mümkün mü?

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

Bu kriterler karşılansın vize almasak da olur.

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.

Miting pankartlarına maç önü pankartlarıyla yanıt vermeleri de dikkatlerden kaçmıyor.

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

Toplam bedelin %70'i dağıtım şirketine gidiyor mahcup olamayacağım.

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

Haziran sonu sat.

Trump dipten topladı.

Tariffler 90 gün ertelenmiş alarm kuruyorum.

Kendi takipçilerinizin çoğunlukla takip ettiği hesapları ayrıca duyurabilirsiniz diye düşünüyorum. Örneğin, "Postmodern", "Solcu Gazete" ve "Etkili Haber" hesaplarını özellikle merak ediyorum.

a şıkkı.

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

Karakılçık buğdayı ata tohumu 0.8 kg.

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.

Because inflation compounds too.