Populære emner
#
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-problemer er et klart eksempel på modeller som har brutt en terskel. Tanken på at en AI kunne løse én, for ikke å snakke om mange, på egenhånd ville vært helt sprøtt for et år siden (O1 var helt nytt), og nå har vi flere Erdos-problemer løst med GPT-5.2 Pro de siste ukene.
12 timer siden
Jeg har løst et annet Erdos-problem (#281) kun med GPT 5.2 Pro – ingen tidligere løsninger funnet.
Terence Tao kaller det «kanskje det mest entydige eksempelet» på AI som løser et åpent problem:
For å være tydelig: GPT-5.2 Pro løser ikke disse autonomt, det blir påbefalt av en person, og det iterererer ofte med Lean.
72
Topp
Rangering
Favoritter