Popularne tematy
#
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
Matematyk na ETH Zurych, zainteresowany geometrią algebraiczną i sztuczną inteligencją
Johannes Schmitt
Johannes Schmitt17 gru, 22:37
Po raz pierwszy model AI (GPT-5) samodzielnie rozwiązał otwarty problem matematyczny zgłoszony do naszego projektu benchmarkingowego IMProofBench, z kompletnym, poprawnym dowodem, bez wskazówek lub interwencji ze strony ludzi. Mały, ale nowatorski wkład w geometrię enumeracyjną. Trochę tła:
47