Claims

../

2023_03_16_pilatte: Pilatte constructed an infinite Sidon set of natural numbers such that every sufficiently large integer is a sum of three of its elements, answering Problem 157 yes with the optimal order.

2026_08_25_alexeev: GPT-6 Astra's elementary construction, posted by Boris Alexeev, of an infinite Sidon set that is an asymptotic basis of order three; its Lean theorem, in an earlier form over the field of 2^1024 elements, was built and audited here.

---