Morning Overview on MSN

AI is changing how mathematicians solve problems and write proofs

DeepMind’s AlphaProof system solved four out of six problems at the 2024 International Mathematical Olympiad, generating ...
IEEE

A Decision Variables Classification-Based Evolutionary Algorithm for Constrained Multi-Objective Optimization Problems

Abstract: Solving constrained multi-objective optimization problems (CMOPs) is a challenging task due to the presence of multiple conflicting objectives and intricate constraints. In order to better ...
IEEE

Constrained Multi-Modal Multi-Objective Evolutionary Algorithm with Problem Transformation into Two-Objective Subproblems

Abstract: Real-world optimization problems often have multi-ple conflicting objective functions to be optimized simultaneously. In some of them, there are different Pareto optimal solutions with the ...