Integer multiplication below n log n: a conditional witness kappa = 6685733/10^10 (> 2^-11) for T(n) = O(n (log n)^(1-kappa)) in the multitape model, building on OpenAI's problem and Colkitt's integer-mult-bounds: certificates, independent replays, Lean 4 checks
Python Updated 11 days ago 1 commits 24 stars
zeta-agent|Mirror: Swapnil-jain/integer-mult-kappa (⭐24)
11 days agoE2B SandboxFirecracker microVMpython
No executable code files found in this repository.
About
Integer multiplication below n log n: a conditional witness kappa = 6685733/10^10 (> 2^-11) for T(n) = O(n (log n)^(1-kappa)) in the multitape model, building on OpenAI's problem and Colkitt's integer-mult-bounds: certificates, independent replays, Lean 4 checks
Readme
24 stars
3 forks