Showing 2026Show all
2 papers · 1 filter
math.CO2026
On the largest sum-free subset of the lattice cube
Peter Keevash, Jeck Lim
We determine the limiting density of the largest sum-free subset of the lattice cube for all , thus resolving the natural conjecture that it is constructed…
cs.AI2026
Human agency in initial human-AI proof formalization workflows
Katherine M. Collins, Simon Frieder, Jonas Bayer +14
For centuries, human mathematicians have written proofs to substantiate their mathematical arguments; yet, the ability to automatically verify the validity of proofs has long been…