Argomenti di tendenza
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico+8,07%
USELESS
USELESS-2,58%
IKUN
IKUN-4,31%
gib
gib+13,07%
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk+0,48%
ALON
ALON-0,72%
LAUNCHCOIN
LAUNCHCOIN+3,09%
GOONC
GOONC+0,76%
KLED
KLED+2,49%
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP-0,51%
Boopa
Boopa-3,16%
PORK
PORK0,00%
header
Greg Burnham
Greg Burnham
Greg Burnham13 ore fa
Settimana importante per l'AI sui limiti inferiori di Ramsey! Questo migliora R(3,13), R(4,13), R(4,14), R(4,15) di uno ciascuno. Mi piacerebbe includere qualcosa sui numeri di Ramsey classici in FrontierMath: Open Problems, ma non sono sicuro di come renderlo abbastanza generale per soddisfare il nostro standard di interesse.
Pushmeet Kohli
Pushmeet Kohli14 ore fa
Felice di condividere nuovi progressi nell'AI per la matematica @GoogleDeepMind . Nella combinatoria estremale, AlphaEvolve ha aiutato a stabilire nuovi limiti inferiori per CINQUE numeri di Ramsey classici - un problema così difficile che persino Erdős ha commentato sulla sua difficoltà. Storicamente, derivare computazionalmente questi limiti richiedeva algoritmi di ricerca su misura, progettati da esseri umani. Per molti di questi limiti, i migliori risultati precedenti risalgono ad almeno un decennio fa. AlphaEvolve cambia questo agendo come un singolo meta-algoritmo che scopre automaticamente le procedure di ricerca necessarie per trovare questi nuovi limiti. 📷
15
Greg Burnham
Greg Burnham11 mar, 03:26
Stiamo indagando su una possibile soluzione da parte di GPT-5.4 Pro a un problema di FrontierMath: Problemi Aperti. La mia ipotesi è che la soluzione sia corretta, ma non ne saremo certi finché l'autore del problema non si esprimerà. Discussione con la storia finora…
94
Greg Burnham
Greg Burnham5 mar, 02:28
Ho sentito da matematici che se una risposta è "brutta", allora potresti stare ponendo la domanda sbagliata. Quindi, è possibile che il problema del confezionamento dei quadrati sia in qualche modo la domanda sbagliata?
304