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.
Sci-fi blir virkelighet EN DAG SENERE:
En AI har nå løst flere Erdos-problemer enn menneskelige matematikere.
(Dette var åpne matematiske problemer som ikke hadde blitt løst i flere tiår.)
Gradvis, så plutselig.
5. des., 00:59
Sci-fi som blir virkelighet de siste dagene:
1) AI – helt på egenhånd – løste TO Erdos-problemer (#124 og #481). Dette var åpne matematiske problemer som hadde vært uløste i flere tiår.
2) Den aller første artikkelen i teoretisk fysikk hvor hovedideen kom fra en AI
Jeg var slurvete med formuleringen her – bytt ut løst med formalisert. Det er imponerende, men ikke så imponerende som det høres ut.
87,32K
Topp
Rangering
Favoritter