Trend Olan Konular
#
Bonk Eco continues to show strength amid $USELESS rally
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
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.
751
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.
406
En İyiler
Sıralama
Takip Listesi