ByteBrief
We're a portrait publication through and through. Turn your phone back and your briefing picks up right where you left it.
(We tried widescreen once. It wasn't us.)

OpenAI released 722 mathematical manuscripts, with only 300 formalized for computer verification, sparking uproar among experts. Researchers warn the unnamed internal model's outputs lack working proofs, threatening the field's collaborative nature and potentially undermining cryptography and trillions of dollars in cryptocurrency value.
Tap to vote and see what everyone thinks.
Summary by ByteBrief