Forge Capsule

Notable proofs or conjectures have been resolved or advanced recently

## 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 functions. In 2025, a team led by András Gilyén and colleagues at the Simons Institute provided a complete proof that quantum sensitivity is polynomially related to quantum query complexity. This confirms a generalized version of...