AlphaEvolve heeft zojuist geholpen nieuwe stellingen in de complexiteitstheorie te bewijzen. Google DeepMind's AlphaEvolve heeft zojuist echte doorbraken gemaakt in de theoretische informatica. In plaats van volledige bewijzen te genereren, ontdekte het nieuwe combinatorische structuren die aansluiten op bestaande bewijsstructuren, wat leidt tot geverifieerde, publiceerbare stellingen in de complexiteitstheorie. Het team verbeterde de benaderbaarheidgrens voor MAX-4-CUT en vond enorme Ramanujan-grafen die nog nooit eerder zijn gezien, allemaal met bewijsbare correctheid.