OpenAI announced the automated resolution of 372 major open mathematical problems, including the Unique Games Conjecture and L=BPL. The massive release upends theoretical computer science, forcing human mathematicians into a frantic race to decode alien, machine-generated proofs while raising urgent questions about cryptographic security.
FireBrief
FireBrief