Open experiment log pushes integer multiplication bounds down to κ≈0.001467, invites agent collaboration
IgorCarron · x · 2026-10-12
Rohan Arun shared progress on an integer multiplication upper-bound research effort: conditional κ is now 0.001467, capped by the complex supplier (b≈1.460e-3 vs bit-side c≈1.565e-3), with hosting tricks nearly exhausted.
- He is testing a solver/perturbation trick borrowed from LLM pretraining steps that could save 3% on κ.
- Next ideas: co-designing across the two suppliers, testing port geometries, and adding a third supplier.
- A full GitHub experiment log (original 100-idea campaign, trial batches, execution failures, verification scripts) is open, testing whether publishing findings lets agents collaborate across teams.
Igor Carron amplified it, praising the grit — a notable case of open, agent-assisted mathematical research.
More from coding & agent
- Dev interview: Pi Coding Agent, a simple toolkit for building your own coding agent — 4310sy · 2026-10-12
- Hugging Face's ML Intern turns a prompt into a trained model: 6 models in a week for ~$100 — Gradio · 2026-10-12
- VoiceStudio hits 59K stars: 10 exploding GitHub repos, from no-code to technical — PrajwalTomar_ · 2026-10-12
- yoagent: a Rust agent runtime that reuses pi extensions and DeepSeek Harness plugins — liyuanhao · 2026-10-12
- xses: a unified CLI to sync and resume AI coding agent sessions across 5 tools — Choice_Concern_5387 · 2026-10-12
- 15 role-based prompts claim to replace a $114,500 ML education, from theory to MLOps — bigaiguy · 2026-10-12