AutoFlow Research Initiative — Looking for Deep Technical Thinkers

AutoFlow Research Initiative — Looking for Deep Technical Thinkers

Over the last several months, I've been exploring a question that sits at the intersection of AI, verification, trust, and decision systems:

Can we build systems that independently verify claims produced by AI rather than simply generating answers?

The original idea began with financial analysis.

Consider a statement such as:

"Company revenue grew 25% year-over-year."

Today, most AI systems generate this claim, but they do not formally verify it.

Our approach is different:

1. Extract claims from documents, reports, or AI outputs.
2. Gather supporting evidence.
3. Apply mathematical and logical verification where possible.
4. Identify inconsistencies and contradictions.
5. Produce transparent reasoning rather than black-box conclusions.

The first prototype is focused on finance because financial claims are structured, measurable, and often objectively verifiable.

Examples include:

• Revenue growth calculations
• Financial ratio validation
• Cross-document consistency checks
• Balance sheet reconciliation
• Earnings statement verification

As research progressed, we encountered deeper questions involving computability, trust, governance, formal verification, and adjudication.

One realization is that not every claim can be mathematically proven.

This raises a larger challenge:

Where is the boundary between:

• Proven facts
• Verifiable claims
• Evidence-supported conclusions
• Human-style adjudication

That question is becoming the foundation of our long-term research vision.

Recent Milestones

• Accepted into NVIDIA Inception
• Access to NVIDIA startup resources and technical programs
• Building the architecture for our first verification-focused prototype
• Engaging with researchers and experienced engineers on verification and governance concepts
• Initial outreach to pre-seed investors and startup ecosystems

Who I'm Looking For

I'm interested in meeting people who enjoy difficult problems and are willing to challenge assumptions.

Particularly:

• AI/ML researchers and engineers
• Formal verification and theorem-proving enthusiasts
• Distributed systems and orchestration experts
• C++ systems engineers
• Applied mathematicians
• Trust, governance, and decision-system researchers

What You'll Receive

For the right long-term collaborators:

• Significant technical ownership
• Direct influence on architecture and research direction
• Equity participation based on contribution and commitment
• Access to NVIDIA Inception resources available to the team
• Opportunity to help define a new category around AI trust and verification

I'm not looking for people who simply agree with the vision.

I'm looking for people who can find the flaws in it.

If concepts such as verification, computability, trust, formal reasoning, governance, theorem proving, symbolic systems, or AI reliability interest you, I'd love to connect and exchange ideas.

Feel free to comment or send a message.