NectArray · Omniproof

Omniproof

The proofline of everything.

Where curiosity meets impact. Every page is a five-minute read on something LLMs and people solved together, what it is worth to business and to society, and which domains it lands in. Pick a domain on the map to fly into it, then a subdomain to reach its pages.

Click a domain to fly in · drag to move · pinch to zoom

Mathematics

The tool every other domain borrows. Powerless alone, decisive in use.

Number theory
Analysis and PDEs
Formal proof
Combinatorics

Formal proof | 29 October 2026 · 4 min

Mathematics just got a flashlight

AI systems claim proofs of the quasi-Riemann hypothesis, a Navier-Stokes blow-up and the Unique Games Conjecture, checked line by line in Lean. What happened, who it pays, and where it lands.

Physics

Fluids, materials and energy: the equations engineering runs on.

Fluids and turbulence
Materials
Quantum
Weather and climate

The first physics piece is in the works.

Chemistry

Molecules, reactions and the search through them.

Molecular design
Catalysis
Batteries and energy
Synthesis planning

The first chemistry piece is in the works.

Biotechnology

Proteins, drugs and medical devices.

Protein design
Drug discovery
Genomics
Medical devices

The first biotechnology piece is in the works.

Economics

Markets, payments and how firms adopt new tools.

Markets and pricing
Payments and security
Work and labour
AI adoption

The first economics piece is in the works.

Computer science

Algorithms, verification and the software everything else runs on.

Algorithms and complexity
AI agents
Verified software
Systems

AI agents | 31 October 2026 · 4 min

A brain for the split second: why LLMs need a decision model beside them

An LLM thinks like a whole brain, and slowly. Robots, cars and aircraft also need a small model that only decides. Why, and how Figure's Helix and the ACAS Xu collision system already split the work.