Take this check

Assess the expander-matching criterion in Proposition 2.3 or the Thompson-group step in Proposition 3.2, naming the exact artifact revision reviewed.

2026-openai-nonsofic-groups · task task-3

Task type: mathematical review
Source PDF: Download the exact manuscript
OpenAI, Ten Advances in Mathematics and Theoretical Computer Science · version f318c6508c9d…
Code: Open the formalization repository · pinned commit c510a55434c0…

Status

Open.

How to do this

Download the exact manuscript above and start with the stated entry points. The version hash identifies the file for the eventual record; you do not need to calculate it before reading.
Read or reproduce only the stated scope and note the method you actually used.
Submit what you found through the linked attestation form below, using the record, task, scope, and manuscript hash shown here. No Significance account is required; GitHub may ask you to sign in.

Open attestation form

Attestation template

Fill only what you did. State what you checked and found—not whether the whole proof is correct.

id: att-task-3
task_id: task-3
reviewer: '[your name or handle]'
scope: Assess the expander-matching criterion in Proposition 2.3 or the 
  Thompson-group step in Proposition 3.2, naming the exact artifact revision 
  reviewed.
manuscript_sha256: 
  f318c6508c9d49ef876a5a26cd73928705f96c07bb43e92a0cb35bd3f666ea53
asserted_at: '[YYYY-MM-DDTHH:MM:SSZ]'
method: '[what you actually did: read / rederived / rebuilt / compared]'
finding: '[what you checked and found about exactly this scope]'
limits: '[what you did not check — optional but encouraged]'