CrocSwap/integer-mult-bounds
View on GitHub ↗ ★ 318 Python
Conditional integer multiplication: kappa > 2^-15. Community proofs, exact certificates and reproducible audits; assumes the OpenAI #109 framework.
7 mentions on Hacker News by 6 people: 3 stories, 4 comments · first 2026-10-08 · latest 2026-10-21
20082026
-
▲ 36
Κ = 0.003 for integer multiplication crossedstory by aleph_minus_one · 2026-10-21 · 22 comments
-
▲ 1
Community pushed OpenAI FFT proof to over 10^-4story by mcmoor · 2026-10-09 · 0 comments
-
▲ 3
They just merged my PR for the bound on the integer multiplication problemstory by GPUboy · 2026-10-08 · 1 comment