Tópicos populares
#
Bonk Eco continues to show strength amid $USELESS rally
Hosico
Hosico+8,24%
USELESS
USELESS-1,38%
IKUN
IKUN-4,32%
gib
gib+13,42%
#
Pump.fun to raise $1B token sale, traders speculating on airdrop
Bonk
Bonk+0,13%
ALON
ALON-1,46%
LAUNCHCOIN
LAUNCHCOIN+4,49%
GOONC
GOONC+0,76%
KLED
KLED-0,01%
#
Boop.Fun leading the way with a new launchpad on Solana.
BOOP
BOOP-0,5%
Boopa
Boopa-3,16%
PORK
PORK0,00%
header
Greg Burnham
Greg Burnham
Greg BurnhamHá 11 horas
Grande semana para a IA sobre limites inferiores de Ramsey! Isso melhora R(3,13), R(4,13), R(4,14), R(4,15) em um cada. Gostaria de incluir algo sobre números de Ramsey clássicos no FrontierMath: Problemas Abertos, mas não tenho certeza de como torná-lo geral o suficiente para atender ao nosso padrão de interesse.
Pushmeet Kohli
Pushmeet KohliHá 12 horas
Feliz por compartilhar novos progressos em AI para Matemática @GoogleDeepMind . Na combinatória extremal, o AlphaEvolve ajudou a estabelecer novos limites inferiores para CINCO números de Ramsey clássicos - um problema tão desafiador que até Erdős comentou sobre sua dificuldade. Historicamente, derivar computacionalmente esses limites exigia algoritmos de busca personalizados, projetados por humanos. Para muitos desses limites, os melhores resultados anteriores têm pelo menos uma década. O AlphaEvolve muda isso ao atuar como um único meta-algoritmo que descobre automaticamente os procedimentos de busca necessários para encontrar esses novos limites. 📷
12
Greg Burnham
Greg Burnham11/03, 03:26
Estamos a investigar uma possível solução pelo GPT-5.4 Pro para um problema da FrontierMath: Problemas Abertos. O meu palpite é que a solução está correta, mas não teremos certeza até que o autor do problema se pronuncie. Thread com a história até agora…
90
Greg Burnham
Greg Burnham5/03, 02:28
Ouvi de matemáticos que se uma resposta é "feia", então você pode estar fazendo a pergunta errada. Então, será que o empacotamento de quadrados é de alguma forma a pergunta errada?
302