platoseed
Faster processors for solving NP-complete problems
Integrated Reasoning builds efficient computer processors that are tailored to the memory access patterns of Karp's 21 NP-complete problems. We’re making it 100x - 10,000x faster to perform computations like scheduling airline pilots or optimizing packing layouts for shipping containers.
Integrated Reasoning builds high-throughput processors tailored for combinatorial optimization, claiming to solve NP-complete problems much faster than conventional solvers. Their IRX-Honu microarchitecture targets memory access patterns and instruction sequences specific to combinatorial optimization to remove bottlenecks. They highlight practical applications like subset sum solved orders of magnitude faster than software.
Integrated Reasoning provides specialized hardware processors (IRX-Honu) designed to accelerate combinatorial optimization workloads. The architecture focuses on removing bottlenecks by aligning with memory access patterns and instruction sequences characteristic of these problems, delivering significantly accelerated performance for NP-complete problem solving. The product emphasizes one-of-a-kind high throughput hardware intended to handle decision formulations such as subset sum faster than state-of-the-art software solvers.
Who it’s for: Businesses and developers dealing with combinatorial optimization and NP-complete problem solving requiring accelerated hardware solutions.
YC/TechCrunch mention, fundraising/accelerator association (Y Combinator batch), company news references
Integrated Reasoning builds computer hardware to efficiently solve optimization problems. We’re making it 100x faster and 10x cheaper to solve problems like scheduling airline pilots or packing shipping containers.
Integrated Reasoning builds hardware for solving optimization problems and announces a series of products that can be deployed in the cloud, aiming to be faster and cheaper than cloud-based OR-Tools for tasks like scheduling, routing, and packing. The target users are teams working on optimization problems, with a focus on easy hardware deployment and support.
From the original launch (Jul 2022) — may be outdated.

Inference at Light Speed

Accelerate verifiable computing