We are publishing a third update to OpenAI problem #
109# (integer multiplication), and we have now entered 2^-1x territory.
κ > 2⁻¹⁸ (tightened from κ = 2⁻¹⁸²)
The exact witness is 4.19 × 10⁻⁶, roughly 558 fold over our previous 7.5 × 10⁻⁹, about 2.2 fold over the strongest open result, and a 2¹⁶⁴ fold improvement over the original OAI result.