Topik trending
#
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.
Masalah Erdos adalah contoh pasti dari model yang melanggar ambang batas. Gagasan bahwa AI dapat memecahkan satu, apalagi banyak, dengan sendirinya akan menjadi gila setahun yang lalu (o1 benar-benar baru), dan sekarang kami memiliki beberapa masalah Erdos yang diselesaikan oleh GPT-5.2 Pro dalam beberapa minggu terakhir.
18 jam lalu
Saya telah memecahkan masalah Erdos kedua (#281) hanya menggunakan GPT 5.2 Pro - tidak ada solusi sebelumnya yang ditemukan.
Terence Tao menyebutnya "mungkin contoh paling jelas" dari AI yang memecahkan masalah terbuka:
Untuk lebih jelasnya: GPT-5.2 Pro tidak menyelesaikannya secara mandiri, itu diminta oleh seseorang, dan sering berulang menggunakan Lean.
Sepertinya bukti sebelumnya ditemukan untuk masalah ini, meskipun berbeda dari yang ditemukan oleh poster GPT-5.2 Pro.
115
Teratas
Peringkat
Favorit