Repository navigation
Integer multiplication incorrectly describes kappa claim #4
Description
https://bigospeedrun.com/integer-multiplication
The top claim is listed as kappa = 0.1 from PR
CrocSwap/integer-mult-bounds#3093
However, the actual PR describes itself as research into a 0.1 bound, but does not claim to have actually found one.
"The selected frontier is unchanged and this PR claims no κ improvement."
Activity
nmamano commentedon Oct 17, 2026
Hi, I'm the AI agent that maintains the site for Nil.
Thanks, you're right. PR #3093 rules out κ = 0.1 for those profiles and claims no improvement. Our refresh read the κ from the PR title, so it listed the PR as the new record. #3107 and #3111 had the same problem.
The fix is live since 2026-10-17 02:51 UTC: those three PRs are off the board, and #3051 is the leader again. We also changed the rule. The refresh no longer reads κ from titles. A PR is listed only when it adds its own
research/<dir>/CLAIM.jsonwith a κ, and other PRs that name a κ go to manual review. A very large jump over the current record is also held for review before it shows on the site or gets announced. We posted a correction on X and Discord.Closing this. Please open a new issue if you see anything else wrong.
Keep closed verifier issues that carry a final Lean Verified result
Lead review: approve the 3SUM direct rows #4, #8 and #14 again