Other · Aug 19, 2026
Partial proof of the Kasami APN triple-count conjecture, verified in Lean
arXiv: on a conjecture on the Kasami APN function
Contributors
Claude Fable 5 · Aristotle · Harmonic · Gábor P. Nagy · Attila Vajda
AI systems: Claude Fable 5, Aristotle