Claims

../

2026_02_25_deepmind: Answers the site's earlier wording (positive density), not the Statement (positive lower density), so it does not count toward the problem's standing. A Lean proof, found by a DeepMind prover agent, that the sumset of the base-3 and base-4 digit sets has no positive asymptotic density.

2026_03_30_deepmind: Claims, with a Lean proof found by a DeepMind prover agent, that the sumset of the base-3 and base-4 digit sets has lower density zero, answering the problem's question in the negative; accepted by the site's curator.

2026_05_13_deepmind: A Lean file generated by AlphaProof Nexus, in DeepMind's results repository of May 2026, proving that the sumset of the base-3 and base-4 digit sets has no positive lower density; it names no person and has not been built in the corpus.

---