Artificial Intelligence
Adaptive Automated Optimization
A solver platform that selects among exact optimization, constraints, heuristics and learned search for each problem instance.
Big questions. New possibilities. ●
What will become possible next?
Explore important unsolved problems, understand what a genuine breakthrough could change, and discover what can be built today without pretending the future is guaranteed.
Start here
Possibilities worth exploring.
Scientific AI
Trustworthy Fluid Digital Twins
Simulation systems that expose confidence, numerical stability and out-of-distribution risk instead of returning an unexplained flow prediction.
AI for Mathematics
Theorem Dependency Intelligence
A machine-readable graph showing which theorems, algorithms and claims depend on open conjectures, assumptions or formal lemmas.
Ideas sparked by the questions
A useful idea can begin before the breakthrough.
Prompts for curiosity, experimentation, and entrepreneurship—not predictions.
AI Optimization Workbench
A common interface that translates business constraints, benchmarks multiple solver strategies and returns the best feasible or optimal plan with an explanation of tradeoffs.
Simulation Trust Monitor
A monitoring layer that flags unstable residuals, mesh sensitivity, suspicious conservation error and out-of-distribution surrogate predictions.
Theorem Dependency Auditor
Extract and review explicit dependency edges such as “assuming RH,” “uses bounded gaps,” or “requires this lemma,” with citations and review states.
The questions behind the possibilities
Hard questions, explained simply.
Computer ScienceOpen
If a proposed solution is easy to check, must there also be a fast way to find it?
P versus NP
Optimization, planning, synthesis and parts of cybersecurity could change profoundly. You do not need to wait: products can already be built on today’s solvers and heuristics, with architecture designed to absorb future breakthroughs.
Understand the question →MathematicsOpen
Can a smooth three-dimensional fluid flow become singular in finite time?
Navier–Stokes Existence and Smoothness
The immediate opportunity is not perfect weather prediction. It is faster, safer and more trustworthy simulation for engineering. A major proof could strengthen the theory behind those tools, but useful products can already be built today.
Understand the question →MathematicsOpen
Is there a hidden rhythm behind the apparent disorder of prime numbers?
Riemann Hypothesis
Mostly stronger mathematical guarantees and a cascade of results that currently depend on RH. The near-term builder opportunity is in tools that organize those dependencies, verify large computations and turn advanced number theory into usable infrastructure.
Understand the question →Possibility without hype
Every idea keeps its uncertainty visible.
IfSolved connects imagination to real sources and makes clear what is known, plausible, or still speculative.
How we keep it honest →