GPT-5.2 Pro delivers a Lean-verified proof of Erdős Problem 397, marking a shift from pattern-matching AI to autonomous ...

Abstract: Knowledge transfer-based evolutionary optimization has garnered significant attention, such as in multitask evolutionary optimization (MTEO), which aims to solve complex problems by ...

Abstract: Multi-party multi-objective optimization, which aims to find a solution set that satisfies multiple decision makers (DMs) as much as possible, has attracted the attention of researchers ...

Research Background The nonsmooth modeling method based on the cone complementarity problem (CCP) is one of the most effective approaches for solving spatial frictional contact problems. The ...