Claims

../

2026_02_25_deepmind: A Lean proof found by AlphaProof that every non-square N at least 2 is a ratio of two products of two consecutive integers with disjoint blocks, through Pell's equation; merged into formal-conjectures.

2026_03_08_sothanaphan: A note generated by GPT-5.4 Thinking and posted by Nat Sothanaphan claims that a square is representable with k = 2 exactly when its root is a Pell value A_r(y), so infinitely many squares are representable.

---