Tópicos populares
#
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.
A IA acaba de alcançar uma pontuação perfeita na competição de matemática mais difícil do mundo.
O Putnam tem 12 problemas x 10 pontos. A maior pontuação do ano passado foi 90. A mediana? 0. O provador de IA da Axiom em Lean marcou 120/120 e acabou de compartilhar todas as soluções.
Um grande marco para a IA na Matemática.
Fonte:
227
Top
Classificação
Favoritos