Rubriques tendance
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico+27,01 %
USELESS
USELESS+0,46 %
IKUN
IKUN-4,06 %
gib
gib-3,57 %
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk+3,12 %
ALON
ALON-1,83 %
LAUNCHCOIN
LAUNCHCOIN+1,68 %
GOONC
GOONC+4,46 %
KLED
KLED+12,56 %
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP-7,64 %
Boopa
Boopa-1,83 %
PORK
PORK+0,31 %
header
Johannes Schmitt
Mathématicien à l’ETH Zurich, intéressé par la géométrie algébrique et l’intelligence artificielle
Johannes Schmitt
Johannes Schmitt17 déc. 2025
Pour la première fois, un modèle d'IA (GPT-5) a résolu de manière autonome un problème mathématique ouvert soumis à notre projet de benchmarking IMProofBench, avec une preuve complète et correcte, sans indices ni intervention humaine. Une petite mais nouvelle contribution à la géométrie énumérative. Quelques éléments de contexte :
56