Trend Olan Konular
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
#
Boop.Fun leading the way with a new launchpad on Solana.
Leeham
Yapay Zeka ve LLM'ler
Yeni bir GPT Pro modeli web'de test ediliyor gibi görünüyor, uygulama hakkında emin değilim.
Kodlama yeteneğinde BÜYÜK bir sıçrama gibi görünüyor; Tek bir promptta 6000+ satır çıkarabilir. Daha fazla örnek yorumlarda.
CoT özetinin yanında başparmak yukarı/aşağı düğmesi varsa bunu anlayabilirsiniz.
399
Erdős Problemi #635 GPT-5.2 Pro tarafından bağımsız olarak çözüldü.
Model sadece 50 dakika düşündü, doğru bir ispatı Latex'te çıkardı, ardından @HarmonicMath'un Aristoteles'i tarafından Lean'de resmileştirildi.
Lean'i temizlediği için @AcerFur'ye büyük teşekkürler.
Literatür incelemesi devam etmektedir.
252
En İyiler
Sıralama
Takip Listesi