Author | Lightnews

Reposted by Berkay Anahtarcı

Tim Kellogg @timkellogg.me · Apr 30

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

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.

huggingface.co

2 8 32

Berkay Anahtarcı @bbanahh.bsky.social · Apr 24

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

1

Berkay Anahtarcı @bbanahh.bsky.social · Apr 23

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

1

Berkay Anahtarcı @bbanahh.bsky.social · Apr 23

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.

2

Berkay Anahtarcı @bbanahh.bsky.social · Apr 23

Okullar neden tatil edildi?

Berkay Anahtarcı @bbanahh.bsky.social · Apr 23

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

1 1

Berkay Anahtarcı @bbanahh.bsky.social · Apr 23

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

1 2

Berkay Anahtarcı @bbanahh.bsky.social · Apr 21

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

1

Berkay Anahtarcı @bbanahh.bsky.social · Apr 20

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.

Berkay Anahtarcı @bbanahh.bsky.social · Apr 17

Powell kovulsun ve Harvard'a kayyum rektör.

1

Reposted by Berkay Anahtarcı

Ben Ross @benross.bsky.social · Apr 16

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

1.1K 11K 67K

Berkay Anahtarcı @bbanahh.bsky.social · Apr 15

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

1

Berkay Anahtarcı @bbanahh.bsky.social · Apr 14

Central Limit Theorem.

Berkay Anahtarcı @bbanahh.bsky.social · Apr 14

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

Berkay Anahtarcı @bbanahh.bsky.social · Apr 14

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

Berkay Anahtarcı @bbanahh.bsky.social · Apr 14

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

Berkay Anahtarcı @bbanahh.bsky.social · Apr 14

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

Berkay Anahtarcı @bbanahh.bsky.social · Apr 14

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

1

Berkay Anahtarcı @bbanahh.bsky.social · Apr 12

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

Berkay Anahtarcı @bbanahh.bsky.social · Apr 12

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

1 1

Berkay Anahtarcı @bbanahh.bsky.social · Apr 9

Haziran sonu sat.

Berkay Anahtarcı @bbanahh.bsky.social · Apr 9

Trump dipten topladı.

Berkay Anahtarcı @bbanahh.bsky.social · Apr 9

Tariffler 90 gün ertelenmiş alarm kuruyorum.

1

Berkay Anahtarcı @bbanahh.bsky.social · Apr 9

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.

Berkay Anahtarcı @bbanahh.bsky.social · Apr 9

a şıkkı.

3

Berkay Anahtarcı @bbanahh.bsky.social · Apr 9

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

The New York Times @nytimes.com · Apr 8

Breaking News: The Trump administration has frozen more than $1 billion in funding for Cornell University and $790 million for Northwestern, two officials said.

Trump Officials Freeze $1 Billion for Cornell and $790 Million for Northwestern

The funding pause amid civil rights investigations into both universities sharply escalates the Trump administration’s campaign against elite colleges.

www.nytimes.com