Blij om nieuwe vooruitgang te delen in AI voor Wiskunde @GoogleDeepMind . In de extremale combinatoriek heeft AlphaEvolve geholpen om nieuwe ondergrenzen vast te stellen voor Vijf klassieke Ramsey-getallen - een probleem dat zo uitdagend is dat zelfs Erdős op de moeilijkheid ervan heeft gewezen. Historisch gezien vereiste het computationeel afleiden van deze grenzen op maat gemaakte, door mensen ontworpen zoekalgoritmen. Voor veel van deze grenzen zijn de beste eerdere resultaten minstens een decennium oud. AlphaEvolve verandert dit door te fungeren als een enkele meta-algoritme dat automatisch de zoekprocedures ontdekt die nodig zijn om deze nieuwe grenzen te vinden. 📷