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.
Neel Somani heeft een Erdos-probleem opgelost?
11 jan, 13:00
Weekendwinst: Het bewijs dat ik heb ingediend voor het Erdos Probleem #397 is geaccepteerd door Terence Tao.
Het bewijs is gegenereerd door GPT 5.2 Pro en geformaliseerd met Harmonic.
Veel open problemen liggen daar, wachtend op iemand die ChatGPT aanmoedigt om ze op te lossen:
Het is leuk om oude personages in het wild te zien terwijl CT uit elkaar valt.
48
Boven
Positie
Favorieten