Dossier
non-sofic group
Coverage of non-sofic group in the Nexus archive.
- OpenAI says its next AI model Astra cracked ten long-unsolved math problems for roughly $2,000
OpenAI's next AI model Astra solved ten long-unsolved math problems for approximately $2,000. The company published machine-checkable Lean 4 proofs on GitHub, including the first explicit construction of a non-sofic group.