# Quantavane

> Quantavane is an AI discovery lab: models propose constructions, programs check every one exactly, and only verified results are kept and published with their proof. As of 26 October 2026 it holds 182 verified results that beat the best values known before: 40 covering designs, 101 spherical codes, 12 linear codes, 19 quantum codes, 2 Ramsey bounds and 8 routing solutions.

Each result has its own page that states the record in its first sentence, the previous best and its source, how it was checked, and its status with the table that keeps it (listed, sent to the maintainer, or waiting for the next batch). Founder: Arhan Canli.

## Results
- [All results](https://quantavane.com/results/): overview with counts and the latest records
- [Covering design records](https://quantavane.com/results/coverings/): 40 records. Take v points and blocks of k points each.
- [Spherical code records](https://quantavane.com/results/spherical-codes/): 101 records. A spherical code is a set of N points on the unit sphere in d dimensions, spread out so that no two are close.
- [Linear code records](https://quantavane.com/results/codes/): 12 records. A linear code adds redundancy to data so that errors can be corrected.
- [Quantum code records](https://quantavane.com/results/quantum-codes/): 19 records. A quantum error-correcting code protects qubits the way a linear code protects symbols.
- [Ramsey number lower bounds](https://quantavane.com/results/ramsey/): 2 records. Colour every line between n points red or blue.
- [Vehicle routing best known solutions](https://quantavane.com/results/routing/): 8 records. The capacitated vehicle routing problem asks for the cheapest set of delivery routes from one depot that visits every customer once without overloading any vehicle.

## Data
- [records.json](https://quantavane.com/results/records.json): every record, machine-readable (CC BY 4.0)
- [records.csv](https://quantavane.com/results/records.csv): the same as CSV
- [llms-full.txt](https://quantavane.com/llms-full.txt): every record in plain text
- [Covering designs on GitHub](https://github.com/arhancanli/quantavane-covering-records): the coverings and a plain-Python checker
- [Ramsey colourings on GitHub](https://github.com/arhancanli/quantavane-ramsey-records): the colourings and a checker

## Optional
- [Home](https://quantavane.com/): what Quantavane is and the waitlist