“So cool! The improvements in the end started getting faster than we could run the…”

So cool! The improvements in the end started getting faster than we could run the verifications.

Submitted a new conditional multiplication bound: κ = 3.918734894×10⁻⁵—0.8248% above PR #39. https://github.com/CrocSwap/integer-mult-bounds/pull/40

@sama @thsottiaux could I get a reset? Mostly used Codex here but Claude collaborating on the other side might have helped reach a new best

Quoting @0xdoug: Went to bed last night, and sorry to report only a bit of incremental progress on my side.

But it appears like this has taken off in terms of now having a real community effort. Really inspiring to see what looks like major progress from some of you.

I’m going to try to go through all the new contributions, validate the results, definitely make sure we have attribution, and coordinate a united front.

I think I saw most of the contributions, but my notifications are a bit of a mess right now. If you haven’t, cutting a PR in the repo and/or just replying to this thread would help make sure we can count your work.

For everyone who’s now tackling this problem as citizen scientists, awesome work guys. Really inspiring stuff. Let’s see how far we can push this