Conditional integer multiplication: kappa > 2^-15. Community proofs, exact certificates and reproducible audits; assumes the OpenAI #109 framework.
☆318Nov 2, 2026Updated this week
Alternatives and similar repositories for integer-mult-bounds
Users that are interested in integer-mult-bounds are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Integer multiplication below n log n: a conditional witness kappa = 6685733/10^10 (> 2^-11) for T(n) = O(n (log n)^(1-kappa)) in the mult…☆27Oct 11, 2026Updated 3 weeks ago
- ☆466Nov 1, 2026Updated last week
- Independent multi-sector TESS transit search of 9,979 nearby K/M dwarfs: pipeline, vetted planet candidates, predicted transit times☆13Updated this week
- ☆17,421Oct 30, 2026Updated last week
- ☆40Sep 27, 2026Updated last month
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- A collection of formalized statements of conjectures in Lean.☆1,353Updated this week
- "Explaining Attention with Program Synthesis" | Work to reproduce analyzing and replacing attention heads from MIT LINGO '25 Summer Resea…☆23Updated this week
- Documents related to an attempt with Levent Alpoge to get Claude to finish Balaban's program to construct Yang--Mills. (Under constructio…☆82Updated this week
- Math is of the people, by the people, and for the people, and we will cite the people.☆65Updated this week
- Permanent memory for AI agents. A 400ish-token prompt, a script, plug and play.☆18Oct 24, 2026Updated 2 weeks ago
- ☆18Jul 30, 2026Updated 3 months ago
- LLM-driven proof search on Erdős problems (2 solutions accepted on erdosproblems.com)☆17Apr 21, 2026Updated 6 months ago
- A proof that Z is Diophantine in Q.☆46Updated this week
- A small parallel Lean 4 typechecker based on unbound de Bruijn indexes☆16Updated this week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Formal proof that the optimal exercise boundary of an American put option is log convex when the constant dividend yield is nonnegative a…☆20Sep 7, 2026Updated 2 months ago
- Code for After42, coming soon.☆27Oct 27, 2026Updated last week
- ☆359Oct 2, 2026Updated last month
- ☆16Oct 20, 2026Updated 2 weeks ago
- ☆267Sep 8, 2026Updated 2 months ago
- Conditional Lean formalization and numerical certificate for prime gaps at most 186.☆170Sep 2, 2026Updated 2 months ago
- ☆12Oct 26, 2026Updated last week
- Typeset version of EGA and SGA by Grothendieck.☆14Jan 28, 2014Updated 12 years ago
- Lean certificates accompanying Navier-Stokes and Euler results☆2,126Sep 10, 2026Updated last month
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- Speedrun for pretraining without backpropagation☆450Updated this week
- ☆1,298Sep 24, 2026Updated last month
- A Lean 4 / Mathlib formalization of Coarse-Graining Theory for Elliptic Equations (Armstrong and Kuusi). No sorry, no custom axiom.☆17Oct 5, 2026Updated last month
- PlayTrain: LLM-generated JavaScript game environments for RL☆12Oct 8, 2026Updated last month
- Lean formalizations for the paper "Fel's conjecture on syzigies of numerical semigroups"☆47Sep 11, 2026Updated last month
- The agent that grows with you☆14Oct 14, 2026Updated 3 weeks ago
- Securely distributing keys with the perfect blend of encryption, macOS security, and seamless integration.☆11Oct 21, 2026Updated 2 weeks ago
- ☆35Jul 21, 2026Updated 3 months ago
- Polished application primitives for Foldkit and StyleX.☆19Updated this week
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- A formalization of the resolution of the Hopf problem: the six-sphere admits a complex manifold structure compatible with its standard to…☆87Aug 30, 2026Updated 2 months ago
- Implementation of the Pairformer model used in AlphaFold 3☆14Oct 26, 2026Updated last week
- ☆41Aug 19, 2026Updated 2 months ago
- Python memory debugger and analyzer☆23Jul 7, 2026Updated 4 months ago
- Blazing-fast blockchain event indexer, powered by Rust. Data from the blockchain to your database.☆32May 27, 2026Updated 5 months ago
- A general geometry library in LEAN 4.☆83Oct 10, 2026Updated 3 weeks ago
- Website contents for nommu.org☆10Sep 30, 2020Updated 6 years ago