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.
Erdos problemleri, bir eşiği aşan modellerin kesin bir örneğidir. Bir yapay zekanın tek başına bir şeyi, hele ki birçoğunu çözebileceği fikri bir yıl önce akıl almazdı (o1 yepyeniydi) ve şimdi son birkaç haftada GPT-5.2 Pro ile çözülen birçok Erdos sorunu var.
13 Sa Önce
İkinci bir Erdos problemini (#281) sadece GPT 5.2 Pro ile çözdüm - önceden hiçbir çözüm bulunamadı.
Terence Tao, bunu yapay zekanın açık bir problemi çözdüğü "belki de en açık örnek" olarak nitelendiriyor:
Açık olmak gerekirse: GPT-5.2 Pro bunları bağımsız çözmüyor, bir kişi tarafından yönlendiriliyor ve çoğu zaman Lean ile yineleme yapıyor.
82
En İyiler
Sıralama
Takip Listesi