Popularne tematy
#
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.
Problemy Erdos są wyraźnym przykładem modeli przekraczających próg. Myśl, że AI mogłoby rozwiązać jeden, nie mówiąc już o wielu, samodzielnie, byłaby szalona rok temu (o1 był zupełnie nowy), a teraz mamy wiele problemów Erdos rozwiązanych przez GPT-5.2 Pro w ciągu ostatnich kilku tygodni.
14 godz. temu
Rozwiązałem drugi problem Erdősa (#281) używając tylko GPT 5.2 Pro - nie znaleziono wcześniejszych rozwiązań.
Terence Tao nazywa to "może najbardziej jednoznacznym przypadkiem" rozwiązania problemu otwartego przez AI:
Aby było jasne: GPT-5.2 Pro nie rozwiązuje tych problemów autonomicznie, jest wywoływane przez osobę i często iteruje przy użyciu Lean.
90
Najlepsze
Ranking
Ulubione