Argomenti di tendenza
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico+46,17%
USELESS
USELESS+3,02%
IKUN
IKUN+63,27%
gib
gib+7,47%
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk-0,53%
ALON
ALON+33,97%
LAUNCHCOIN
LAUNCHCOIN-2,76%
GOONC
GOONC+0,99%
KLED
KLED-4,5%
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP-0,44%
Boopa
Boopa+2,61%
PORK
PORK+0,18%
header
Johannes Schmitt
Matematico all'ETH di Zurigo, interessato alla geometria algebrica e all'intelligenza artificiale
Johannes Schmitt
Johannes Schmitt17 dic, 22:37
Per la prima volta, un modello di intelligenza artificiale (GPT-5) ha risolto autonomamente un problema matematico aperto sottoposto al nostro progetto di benchmarking IMProofBench, con una dimostrazione completa e corretta, senza suggerimenti o interventi umani. Un piccolo ma innovativo contributo alla geometria enumerativa. Alcuni dettagli:
49