Subiecte populare
#
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.
Problemele Erdos sunt un exemplu clar de modele care depășesc un prag. Ideea că un AI ar putea rezolva unul, cu atât mai puțin multe, de una singură ar fi fost nebunească acum un an (o1 era nou-nouț), iar acum avem mai multe probleme Erdos rezolvate de GPT-5.2 Pro în ultimele săptămâni.
Cu 10 ore în urmă
Am rezolvat o a doua problemă Erdos (#281) folosind doar GPT 5.2 Pro - nu s-au găsit soluții anterioare.
Terence Tao o numește "poate cel mai clar exemplu" de AI care rezolvă o problemă deschisă:
Ca să fie clar: GPT-5.2 Pro nu rezolvă aceste probleme autonom, este solicitat de o persoană și adesea iterează folosind Lean.
48
Limită superioară
Clasament
Favorite