Trendande ämnen
#
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.
Erdosproblem är ett tydligt exempel på modeller som bryter en tröskel. Tanken att en AI skulle kunna lösa en, än mindre många, på egen hand hade varit galen för ett år sedan (O1 var helt nytt), och nu har vi flera Erdos-problem lösta med GPT-5.2 Pro de senaste veckorna.
21 timmar sedan
Jag har löst ett andra Erdos-problem (#281) med endast GPT 5.2 Pro – inga tidigare lösningar hittades.
Terence Tao kallar det "kanske det mest entydiga exemplet" på AI som löser ett öppet problem:
För att vara tydlig: GPT-5.2 Pro löser inte dessa autonomt, det initieras av en person och iterereras ofta med Lean.
Det verkar som att ett tidigare bevis hittades för detta problem, även om det var annorlunda än det som postaren lät GPT-5.2 Pro hitta.
128
Topp
Rankning
Favoriter