Populære emner
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico−3,6 %
USELESS
USELESS−1,46 %
IKUN
IKUN−6,63 %
gib
gib+0,33 %
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk−0,99 %
ALON
ALON−7,34 %
LAUNCHCOIN
LAUNCHCOIN−0,47 %
GOONC
GOONC+5,45 %
KLED
KLED+8,92 %
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP−0,31 %
Boopa
Boopa−1,85 %
PORK
PORK−4,22 %
header
Johannes Schmitt
Matematiker ved ETH Zürich, interessert i algebraisk geometri og kunstig intelligens
Johannes Schmitt
Johannes Schmitt17. des., 22:37
For første gang løste en AI-modell (GPT-5) autonomt et åpent matematikkproblem sendt inn til vårt benchmarking-prosjekt IMProofBench, med et komplett, korrekt bevis, uten menneskelige hint eller inngripen. Et lite, men nyskapende bidrag til enumerativ geometri. Litt bakgrunn:
19