Technology
AI Model Solves Nine-Year Problem in Committee Voting Theory
GPT-6 Astra and three researchers proved the core is never empty in approval-based committee elections, solving a nine-year open problem. The AI invented a harmonic-entropy rule finding a fair committee in polynomial time.