๐งฎ OpenAI's Astra Cracks 10 Unsolved Math Problems โ Including a Decades-Old Group Theory Puzzle
OpenAI revealed that an internal version of its Astra model solved 10 open problems in mathematics and theoretical computer science, publishing formal Lean proofs on GitHub. One standout result proves the existence of non-sofic groups, a central question in group theory that had stumped researchers for decades. Fields Medal winner Timothy Gowers said he would recommend one of the proofs for a top journal without hesitation. Does this signal the end of the open problem era in pure math?
โก 8 buzzing
171 views
๐ 0 subscribed