Reposted by Berkay Anahtarcı
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/...
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
April 30, 2025 at 11:30 AM
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/...
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
– 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
April 23, 2025 at 3:44 PM
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
– 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.
April 23, 2025 at 2:09 PM
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?
April 23, 2025 at 1:57 PM
Okullar neden tatil edildi?
Gidişata bakılırsa ilk iş İstanbul'dan uzaklaşmak gerekiyor.
April 23, 2025 at 11:51 AM
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.
April 20, 2025 at 8:22 PM
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.
April 17, 2025 at 7:08 PM
Powell kovulsun ve Harvard'a kayyum rektör.
Reposted by Berkay Anahtarcı
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.”
April 16, 2025 at 7:09 AM
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.
April 15, 2025 at 4:54 AM
Bluesky mı X mi derken ikisinden de verim alınmıyor.
Central Limit Theorem.
Doğal olan normal dağılım.
April 14, 2025 at 2:49 PM
Central Limit Theorem.
Doğal olan normal dağılım.
April 14, 2025 at 2:49 PM
Doğal olan normal dağılım.
Hangi milletten birini takip edersen o milletten bot takipçiler gelmeye başlıyor.
April 14, 2025 at 10:17 AM
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.
April 14, 2025 at 5:39 AM
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ş.
April 12, 2025 at 5:36 AM
Elektrik faturasında devlet desteği vurgulanır olmuş.
Trump dipten topladı.
April 9, 2025 at 6:00 PM
Trump dipten topladı.
Tariffler 90 gün ertelenmiş alarm kuruyorum.
April 9, 2025 at 5:57 PM
Tariffler 90 gün ertelenmiş alarm kuruyorum.
Gençlerin yurt dışı hayalleri de buharlaşıyor.
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
April 9, 2025 at 5:06 AM
Gençlerin yurt dışı hayalleri de buharlaşıyor.
Yerel üreticiden aldığım ekmeğe 325TL verdim boykotluk mesele değil de kayda geçsin.
April 8, 2025 at 5:59 PM
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.
April 8, 2025 at 1:03 PM
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.
April 7, 2025 at 6:56 PM
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.
April 7, 2025 at 1:42 PM
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.
Üç gün önce düşen DeepSeek makalesi, yeni modelin eli kulağındadır.
April 6, 2025 at 7:39 PM
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.
April 6, 2025 at 6:05 PM
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.
April 6, 2025 at 3:56 PM
Varoluşunuzu buraya mı borçlusunuz nedir? Yankı odası okaydir.
Hemen engelledim.
Cem Yılmaz yoğun eleştiriler sonrası X hesabını kapattı, Bluesky'a geçti
April 6, 2025 at 3:50 PM
Hemen engelledim.