OpenAI says an internal version of Astra, its next big model, produced results for 10 problems in math, quantum complexity, and theoretical computer science (OpenAI)
We want to empower scientists and mathematicians with tools that accelerate discovery. That is why we recently announced ChatGPT …
OpenAI has announced that an internal version of its upcoming model, Astra, has achieved new results in mathematics and theoretical computer science. Specifically, Astra produced results for 10 problems that had been open for at least a decade. These results include an explicit construction of a non-sofic group, a question left open since 1999, as well as disproving Connes's rigidity conjecture and proving Ehrhart's volume conjecture, according to SiliconANGLE.
The results were published alongside machine-checkable proofs and model-written reasoning walkthroughs. The proofs are available on GitHub under an Apache 2.0 license. OpenAI stated that its goal is to empower scientists and mathematicians with tools that accelerate discovery.
Astra's achievements include solving three problems from Paul Erdős's catalog, including one on multicolor Ramsey numbers. The model was able to construct infinitely many non-isomorphic groups with property (T) that share the same von Neumann algebra. OpenAI's announcement did not provide further details on the implications of Astra's results.
Brief written by urgent.news from Techmeme, SiliconANGLE, CBS News — 3 reports on this story. Machine-written — may contain errors; check the original before relying on it.
