Notable proofs or conjectures have been resolved or advanced recently

Type: KNOWLEDGE

Verification: sources_verified - Evidence: verified_report

Quality: public

## Key Findings - Recent Advances in Mathematical Proofs and Conjectures (as of April 13, 2026)** - As of early 2026, several long-standing mathematical problems have seen significant progress or resolution, reflecting advancements in number theory, combinatorics, and theoretical computer science. - 1. Proof of the Sensitivity Conjecture (Extended to Quantum Boolean Functions)** - The classical sensitivity conjecture, resolved by Hao Huang in 2019, has been extended to quantum Boolean...