Add 10 WOWII open conjectures (batch 2)#3796

Open

henrykmichalewski wants to merge 6 commits intogoogle-deepmind:mainfrom

henrykmichalewski:wowii-batch-2

Commits on Apr 17, 2026

feat(WrittenOnTheWallII): add 10 open conjectures (batch 2)
henrykmichalewski
committed

Commits on Apr 20, 2026

Address review: correct WOWII status labels per current website
henrykmichalewski
committed

Commits on Apr 22, 2026

docs: add verbatim source statement to module docstring
henrykmichalewski
committed

Commits on May 5, 2026

Commits on May 8, 2026

fix(WOWII): move α/instance quantification under answer(False) in conj 24/25
henrykmichalewski
committed