OpenAI's Astra model generated machine-checkable proofs for ten longstanding mathematical problems, including a disproof of Connes's rigidity conjecture and an improvement to the sphere-packing densit…
OpenAI on Saturday published ten claimed advances in mathematics and theoretical computer science, generated by an internal version of its forthcoming Astra model, including an explicit non-sofic grou…
OpenAI disclosed on August 1 that an internal version of Astra, described as its next major model, produced ten new results in mathematics and theoretical computer science, with problems that had seen…
OpenAI published ten results on long-standing mathematical problems, including high-dimensional sphere packing and Connes's rigidity conjecture, found by an internal model called Astra at a token cost…