Nieuws

AI als onderzoekscollega: vooruitgang in theoretische informatica met AlphaEvolve

Google DeepMind introduceert AlphaEvolve, een LLM-gebaseerd coderingsagent dat combinatorische structuren vindt en verifieert om resultaten te verbeteren in de moeilijkheid van benaderen van bepaalde optimalisatieproblemen. Het onderzoek toont aan hoe AlphaEvolve nieuwe wiskundige structuren kan ontdekken die de grenzen van ons begrip van complexiteitstheorie uitbreiden. De methode leidde tot verbeteringen in de benaderingsgrenzen van het MAX-4-CUT-probleem en het versterken van de grenzen van het gemiddeld geval van het certificeren van eigenschappen van willekeurige grafieken.