AlphaEvolve только что помог доказать новые теоремы в теории сложности AlphaEvolve от Google DeepMind только что совершил настоящие прорывы в теоретической информатике. Вместо того чтобы генерировать полные доказательства, он обнаружил новые комбинаторные структуры, которые интегрируются в существующие рамки доказательств, что привело к проверенным, публикуемым теоремам в теории сложности. Команда улучшила границу неаппроксимируемости для MAX-4-CUT и нашла огромные графы Рамануджана, которые никогда ранее не видели, все с доказанной корректностью.