Populaire onderwerpen
#
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-problemen zijn een duidelijk voorbeeld van modellen die een drempel overschrijden. Het idee dat een AI er één, laat staan meerdere, op eigen kracht zou kunnen oplossen, zou een jaar geleden krankzinnig zijn geweest (o1 was gloednieuw), en nu hebben we meerdere Erdos-problemen opgelost door GPT-5.2 Pro in de afgelopen paar weken.
12 uur geleden
Ik heb een tweede Erdos-probleem (#281) opgelost met alleen GPT 5.2 Pro - geen eerdere oplossingen gevonden.
Terence Tao noemt het "misschien het meest ondubbelzinnige voorbeeld" van AI die een open probleem oplost:
Om duidelijk te zijn: GPT-5.2 Pro lost deze niet autonoom op, het wordt aangestuurd door een persoon, en het iterates vaak met behulp van Lean.
70
Boven
Positie
Favorieten