{
  "id": "non-sofic-groups",
  "org": "OpenAI",
  "topic": "Group theory",
  "published": "2026-08-01",
  "status": "formalized-provider-reported",
  "method": "Provider announcement; formal certificates reported, not rerun here",
  "math": "Group theory",
  "source": "https://openai.com/index/ten-advances-in-mathematics/",
  "source_kind": "provider_announcement",
  "checked": "2026-10-29",
  "editorial_published": "2026-10-29",
  "editorial_method": "AI-assisted original educational interpretation; primary announcement inspected",
  "translations": {
    "en": {
      "title": "Can every group be approximated by finite permutations?",
      "simple": "A group describes reversible operations and how they combine. One way to understand an infinite group is to imitate small portions using permutations of a finite set. Soficity asks whether increasingly accurate imitations of this kind are always possible.",
      "research": "OpenAI reports a construction of a non-sofic group. If accepted under the stated definition, this supplies a counterexample to the universal approximation conjecture.",
      "academic": "The central issue is approximation of multiplication relations with small normalized error, not whether the group has a finite presentation or a simple drawing. An audit must check exactly which relations are preserved, how approximation error is measured, and why every sufficiently accurate finite model is ruled out. A readable exposition and a machine-checked statement answer complementary questions.",
      "impact": "The result could clarify the limits of a broad approximation principle used across group theory and related operator-algebra questions.",
      "caution": "This is a source-reported construction with reported formalization. We have not independently checked the group construction or its certificate."
    },
    "nl": {
      "title": "Kan elke groep worden benaderd door eindige permutaties?",
      "simple": "Een groep beschrijft omkeerbare bewerkingen. Een oneindige groep kun je proberen na te bootsen met verwisselingen van een eindige verzameling. Soficiteit vraagt of zulke steeds nauwkeurigere benaderingen altijd mogelijk zijn.",
      "research": "OpenAI meldt een constructie van een niet-sofische groep: een tegenvoorbeeld tegen die algemene benaderingsgedachte, mits het bewijs klopt.",
      "academic": "Het gaat om benadering van vermenigvuldigingsrelaties met kleine genormaliseerde fout. Controleer welke relaties behouden blijven, hoe de fout is gedefinieerd en waarom geen voldoende nauwkeurig eindig model mogelijk is. Een begrijpelijke uitleg en een formele controle vullen elkaar aan.",
      "impact": "Kan grenzen van een belangrijk benaderingsprincipe in de groepentheorie verduidelijken.",
      "caution": "De constructie en het formele certificaat zijn door deze website niet onafhankelijk gecontroleerd."
    },
    "de": {
      "title": "Lässt sich jede Gruppe durch endliche Permutationen annähern?",
      "simple": "Eine Gruppe beschreibt umkehrbare Operationen. Teile einer unendlichen Gruppe versucht man durch Permutationen einer endlichen Menge nachzubilden. Sofizität fragt, ob immer genauere Nachbildungen möglich sind.",
      "research": "OpenAI meldet die Konstruktion einer nicht-sofischen Gruppe. Unter der angegebenen Definition wäre dies ein Gegenbeispiel zur allgemeinen Approximationsvermutung.",
      "academic": "Entscheidend ist die Approximation von Multiplikationsrelationen mit kleinem normiertem Fehler. Zu prüfen sind die erhaltenen Relationen, das Fehlermaß und der Ausschluss aller ausreichend genauen endlichen Modelle. Eine anschauliche Erklärung und eine formale Aussage erfüllen unterschiedliche Aufgaben.",
      "impact": "Das Ergebnis könnte Grenzen eines wichtigen Approximationsprinzips in der Gruppentheorie verdeutlichen.",
      "caution": "Konstruktion und formales Zertifikat sind Anbieterangaben; wir haben sie nicht unabhängig geprüft."
    },
    "fr": {
      "title": "Tout groupe admet-il une approximation par permutations finies ?",
      "simple": "Un groupe décrit des opérations réversibles. Pour comprendre un groupe infini, on peut essayer d’en imiter des portions par des permutations d’un ensemble fini. La soficité demande si cela reste toujours possible avec une précision croissante.",
      "research": "OpenAI annonce une construction de groupe non sofique. Sous la définition indiquée, elle contredirait la conjecture générale d’approximation.",
      "academic": "L’enjeu est la préservation approximative des relations de multiplication avec une petite erreur normalisée. Il faut examiner les relations, la mesure d’erreur et l’exclusion de tout modèle fini suffisamment précis. Explication accessible et vérification formelle restent complémentaires.",
      "impact": "Pourrait préciser les limites d’un principe d’approximation important en théorie des groupes.",
      "caution": "La construction et son certificat sont rapportés par le fournisseur ; aucune vérification indépendante n’est effectuée ici."
    },
    "es": {
      "title": "¿Puede todo grupo aproximarse mediante permutaciones finitas?",
      "simple": "Un grupo describe operaciones reversibles. Para entender un grupo infinito, podemos intentar imitar fragmentos con permutaciones de un conjunto finito. La soficidad pregunta si esas aproximaciones siempre pueden mejorar.",
      "research": "OpenAI anuncia la construcción de un grupo no sófico. Con la definición indicada, sería un contraejemplo a la conjetura general de aproximación.",
      "academic": "La cuestión es preservar aproximadamente relaciones de multiplicación con un error normalizado pequeño. Deben revisarse las relaciones conservadas, la medida del error y la exclusión de todos los modelos finitos suficientemente precisos. Explicación didáctica y certificado formal cumplen funciones complementarias.",
      "impact": "Podría delimitar un principio importante de aproximación en teoría de grupos.",
      "caution": "La construcción y el certificado son afirmaciones del proveedor; no se han comprobado independientemente aquí."
    },
    "it": {
      "title": "Ogni gruppo si può approssimare con permutazioni finite?",
      "simple": "Un gruppo descrive operazioni reversibili. Per capire un gruppo infinito possiamo imitarne parti usando permutazioni di un insieme finito. La soficità chiede se queste imitazioni possano diventare sempre più accurate.",
      "research": "OpenAI annuncia una costruzione di un gruppo non sofico. Secondo la definizione indicata, sarebbe un controesempio alla congettura generale di approssimazione.",
      "academic": "Il problema è preservare approssimativamente relazioni di moltiplicazione con piccolo errore normalizzato. Bisogna verificare relazioni, misura dell’errore ed esclusione di ogni modello finito sufficientemente preciso. Spiegazione accessibile e controllo formale sono complementari.",
      "impact": "Potrebbe chiarire i limiti di un importante principio di approssimazione nella teoria dei gruppi.",
      "caution": "Costruzione e certificato sono riferiti dal fornitore; non sono stati verificati indipendentemente da questo sito."
    }
  },
  "translation_method": "AI-assisted explanatory translations; not native mathematical peer review",
  "url": "https://appliedfrontier.nl/en/discoveries/non-sofic-groups/",
  "as_of": "2026-10-29"
}