Darshan Enterprises is a licensed motor carrier I built from the ground up in New York. We moved import and export air cargo for freight forwarders at JFK Airport, along with intrastate and interstate freight, dispatching 30+ driver routes a day and hiring and managing 20 independent contractors. The work demanded precision: high-value, time-sensitive freight, strict chain-of-custody, and long days.
What it made possible
In 2023 I paused operations and invested the company's capital, its earnings and the sale of its trucks, in independent AI research. That investment produced a Lean 4 formalization of a conditional proof of the Riemann Hypothesis, a Yang–Mills formalization, Tristan's Pick, and College Admission Pathfinder, and it supports the AI tools behind Beyond the Curve, the reentry project I founded in 2013.
One company: logistics built the capital, the capital funded the research, and the company carries it forward.
Where it stands
Darshan Enterprises is not currently operating freight. It is the company through which I build AI for social impact, and through which I plan to bring AI back to logistics, the industry it started in.