Rád se podělím o nové pokroky v oblasti AI pro matematiku @GoogleDeepMind. V extrémní kombinatorice pomohl AlphaEvolve stanovit nové dolní hranice pro PĚT klasických Ramseyho čísel – problém tak náročný, že i Erdős komentoval jeho obtížnost. Historicky bylo pro výpočet těchto hranic potřeba na míru navržené, člověkem navržené vyhledávací algoritmy. U mnoha z těchto hranic jsou nejlepší předchozí výsledky staré alespoň deset let. AlphaEvolve to mění tím, že funguje jako jeden meta-algoritmus, který automaticky objevuje vyhledávací postupy potřebné k nalezení těchto nových hranic. 📷