Space Bunny (anonymous M3.1 Flash) sets a new integer multiplication bound via OpenCode
The free Space Bunny Max model in OpenCode proposed a new bound for integer multiplication, with Claude Opus 5.5 helping verify and push the PR.
BREAKING: A free model, @opencode Space Bunny Max, has successfully proposed a new best bound for Integer Multiplication! Conditional κ = 0.001730189061233850760095 Claude Opus 5.5 assisted in the verification and PR push to pull it over the line. The barrier of entry just dropped to 0. Previously the expensive max subscriptions prevented some of our best contributors and experts from participating, but now anyone can :) I've merged OpenCode as an optional CLI into our Auto-research agent: https://github.com/rohanarun/Auto-research-agent https://github.com/CrocSwap/integer-mult-bounds/pull/3184
This post quotes another post: x.com/rohanarun/status/2110748916412993915