Subiecte populare
#
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.
AI tocmai a obținut un scor perfect la cea mai dificilă competiție de matematică din lume.
Putnam are 12 probleme x 10 puncte. Cel mai mare scor anul trecut a fost 90. Mediana? 0. Demonstratorul AI al Axiom în Lean a obținut 120/120 și a împărtășit toate soluțiile.
Un reper uriaș pentru AI în matematică.
Sursă:
108
Limită superioară
Clasament
Favorite