AlphaEvolve vient d'aider à prouver de nouveaux théorèmes en théorie de la complexité AlphaEvolve de Google DeepMind vient de réaliser de réelles avancées en informatique théorique. Au lieu de générer des preuves complètes, il a découvert de nouvelles structures combinatoires qui s'intègrent dans des cadres de preuve existants, menant à des théorèmes vérifiés et publiables en théorie de la complexité. L'équipe a amélioré la limite d'inapproximabilité pour MAX-4-CUT et a trouvé d'énormes graphes de Ramanujan jamais vus auparavant, le tout avec une correction prouvable.