Populaire onderwerpen
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico+17,47%
USELESS
USELESS+17,42%
IKUN
IKUN+3,44%
gib
gib+2,19%
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk+11,11%
ALON
ALON-9,71%
LAUNCHCOIN
LAUNCHCOIN+4,5%
GOONC
GOONC+3,1%
KLED
KLED+6,62%
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP+0,55%
Boopa
Boopa+4,03%
PORK
PORK0,00%
header
Johannes Schmitt
Wiskundige aan de ETH Zürich, geïnteresseerd in algebraïsche meetkunde en kunstmatige intelligentie
Johannes Schmitt
Johannes Schmitt17 dec 2025
Voor de eerste keer heeft een AI-model (GPT-5) autonoom een open wiskundeprobleem opgelost dat is ingediend bij ons benchmarkproject IMProofBench, met een volledige, correcte bewijsvoering, zonder menselijke aanwijzingen of tussenkomst. Een kleine maar nieuwe bijdrage aan de enumeratieve geometrie. Wat achtergrondinformatie:
52