AI plus formal tools compress years of research into hours as community live-tracks integer multiplication breakthrough
aran_nayebi · x · 2026-10-09
Christian Szegedy notes that results which used to arrive as papers spaced years apart, sitting months in peer review, can now be produced in hours using AI and formal tools. The catalyst: Aurelien Prot launched a live tracker for the community effort optimizing the "integer multiplication below n log n" problem, making progress visible to everyone in real time.
More from AGI Musings
- iamtrask: hybrid closed+open model networks will beat centralized AI on accuracy and cost — iamtrask · 2026-10-09
- Wildeford: OpenAI repeating past behavior, opposite of what AI safety needs — peterwildeford · 2026-10-09
- Manifold market pegs 15% odds we lose public key cryptography by end of 2028 — moultano · 2026-10-09
- The Real Implication of AI Math Breakthroughs: Public Models Will Always Lag Internal Ones — soumitrashukla9 · 2026-10-09
- BABA-is-AI: 2024 ICML benchmark that broke SOTA LLMs deserves a 2026 retest — moschles · 2026-10-09
- One dev reverse-engineered his LG TV with Claude Code and rebuilt Plex: 3s startup, 60fps, fully open source — salgar · 2026-10-09