GPT-5.2 Pro delivers a Lean-verified proof of Erdős Problem 397, marking a shift from pattern-matching AI to autonomous ...
Abstract: Unlike previous contributions that primarily investigate sum-rate maximization, this work focuses on maximizing fairness among multiple users in a Beyond-Diagonal Reconfigurable Intelligent ...