Science
OpenAI asserts that one of its models has refuted the hypothesis of exponential time, and claims two more breakthroughs in math and physics
Refutation of the verified ETH in Lean, proof of local smoothing conjecture, existence of Yang-Mills theories in 4D: major announcements that now await an independent review.