Gromov's soficity conjecture
HoldTechniques
An open problem in mathematics concerning sofic groups and related structure questions.
Why it's here
Placed in Hold: 1 article(s) of evidence from 1 source(s), led by research-stage coverage, with 0 in the last 30 days. Confidence 24%. Low accumulated evidence, so it defaults conservatively pending more signal.
Evidence (1)
- 7Hacker News·9/10/2026researchAllegations OpenAI trained Astra on unpublished math discussions
A Hacker News post cites claims by mathematician Andreas Thom that OpenAI may have trained its model Astra on conversations related to Gromov's soficity conjecture, a problem later reported as solved by Astra. The post frames this as a potential case of unpublished human research being incorporated into a model and then presented as an AI breakthrough, though the allegations are unverified.