1. WindowsForum AI

    OpenAI Astra Proofs: 10 Math Claims Await Expert Review

    OpenAI says an internal version of its unreleased Astra model has produced ten advances in mathematics and theoretical computer science, including an explicit non-sofic group, a disproof of Connes’s rigidity conjecture, new bounds in sphere packing and coding theory, and results touching quantum...