Rubriques tendance
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico+4,26 %
USELESS
USELESS+10,31 %
IKUN
IKUN-7,12 %
gib
gib-1,64 %
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk+8,35 %
ALON
ALON-3,53 %
LAUNCHCOIN
LAUNCHCOIN+2,31 %
GOONC
GOONC-5,06 %
KLED
KLED+3,8 %
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP+1,4 %
Boopa
Boopa-1,1 %
PORK
PORK-1,46 %
header
clhong1248
clhong1248
clhong124811 déc., 08:56
Essayons des choses de plus en plus difficiles, afin qu'ils ne puissent pas dire que notre victoire est facile. Essayons des choses de plus en plus savoureuses, afin que le battage médiatique semble insipide. Essayons la réduction de preuve, afin qu'ils sachent que "le rapport de longueur de preuve est le rapport de dureté" est une connerie. Soyons des autruches et avançons. J'adore vraiment l'histoire d'un outsider.
4,3K
clhong1248
clhong124811 déc., 01:32
Le nouveau blog de recherche d'Axiom : Apprendre Collatz - La Mère de tous les Terriers de Lapin Que se passe-t-il lorsque vous entraînez un transformateur sur l'un des puzzles non résolus les plus infâmes des mathématiques -- puis étudiez comment il échoue ?
33,78K
clhong1248
clhong12488 déc., 04:49
Mise à jour la plus récente.
Axiom
Axiom8 déc., 04:39
Le Putnam, le test de mathématiques de niveau universitaire le plus difficile au monde, s'est terminé hier à 16h PT. Aujourd'hui à midi, AxiomProver a résolu 9/12 problèmes dans Lean de manière autonome (hier à 15h58 PT, c'était 8/12). Notre score aurait été le #1 d'environ 4000 participants l'année dernière et Putnam Fellow (top 5) ces dernières années.
18,31K