For most of the generative AI era, artificial intelligence has been judged largely by its ability to work with existing human knowledge.
Ask a question.
Summarize a research paper.
Write computer code.
Compare ideas.
Analyze information.
Search enormous databases.
Those capabilities are powerful, but they generally operate inside a familiar boundary:
Humans create the knowledge. AI helps retrieve, process or reorganize it.
That boundary is beginning to move.
AI systems are increasingly being used to search unresolved mathematical problems, generate scientific hypotheses, explore enormous solution spaces, design algorithms and identify potential answers that researchers did not previously know.
A recent mathematical development provides an unusually clear example.
The Jacobian Conjecture dates to 1939 and concerns a fundamental question involving polynomial mappings.
In 2026, an AI system called Fable was credited with helping uncover a three-dimensional counterexample. Human mathematicians then examined the result, formally verified it using the Lean proof system and expanded the work.
Subsequent research produced counterexamples in dimensions greater than two.
The two-dimensional case remains open.
That distinction matters.
AI didn’t simply retrieve an obscure solution from a database.
It participated in the search for something researchers did not already possess.
That is the signal.
AI is beginning to move from accessing knowledge toward participating in the creation of new knowledge.
Much of the current AI competition is still measured through chatbots.
Who has the best model?
Who answers questions most accurately?
Who has the largest context window?
Who generates the best video?
Who writes the best code?
Those battles matter.
But they may not represent the most economically significant destination for advanced AI.
The larger opportunity could be discovery systems.
Consider the difference.
An AI system capable of summarizing every chemistry paper ever published is valuable.
An AI system capable of helping discover a commercially useful new material could be vastly more valuable.
An AI capable of explaining drug-development research is useful.
An AI capable of identifying a new viable drug candidate could alter an industry.
An AI capable of teaching existing mathematics is powerful.
An AI capable of finding previously unknown mathematical results changes the research process itself.
The market may therefore be underestimating an important transition:
The long-term value of AI may come increasingly from producing knowledge rather than simply distributing it.
The immediate effects are likely to appear inside research itself.
AI can examine more possibilities than any individual researcher.
It can compare enormous amounts of scientific literature, generate candidate hypotheses, test mathematical constructions and evaluate possible solutions at machine speed.
That could compress portions of the research cycle.
Researchers can increasingly point AI systems toward questions where the answer is genuinely unknown.
Formal mathematics is particularly important because some results can be checked rigorously through proof systems such as Lean.
Instead of testing whether an AI can reproduce established mathematics, researchers can test whether it can contribute to unresolved mathematics.
The emerging model is unlikely to be purely human or purely machine.
A more realistic structure is:
Humans choose the problem.
AI expands the search.
Humans evaluate the result.
Machines assist verification.
Humans determine meaning.
That division of labor could spread across multiple scientific disciplines.
One of science’s traditional constraints has been human bandwidth.
Researchers cannot read every paper.
They cannot test every possibility.
They cannot generate every plausible hypothesis.
AI changes that equation.
A system can potentially generate thousands of candidate ideas before humans decide which ones deserve serious investigation.
The deeper consequences begin after AI-assisted discovery becomes routine.
If AI systems can generate ideas faster than researchers can validate them, science develops a new problem.
Imagine an AI generating 10,000 plausible hypotheses.
Which are genuinely new?
Which are meaningful?
Which contain hidden errors?
Which deserve laboratory testing?
Which deserve funding?
Which can actually be trusted?
The scarce resource may shift from generating possibilities to verifying possibilities.
That could create major demand for formal proof systems, scientific validation platforms, automated testing, laboratory robotics and human expert review.
Discovery AI will need more than language models.
It may require connections to:
scientific databases,
simulation environments,
laboratory instruments,
robotics,
formal verification systems,
proprietary corporate research,
specialized scientific models,
and automated evaluation systems.
The companies controlling that infrastructure could occupy strategically important positions in the next stage of AI.
Universities and laboratories were designed around human research capacity.
AI could dramatically increase research throughput.
Institutions may eventually face a different challenge:
not generating enough ideas,
but deciding which machine-generated ideas deserve human attention and physical resources.
If an AI materially contributes to a previously unknown drug, algorithm, material or engineering design, questions surrounding ownership, inventorship and commercial rights become more significant.
The economic stakes increase dramatically when AI moves from generating content to generating potentially valuable discoveries.
Companies with proprietary scientific data, laboratory access, specialized models and verification infrastructure may gain advantages that general-purpose AI providers cannot easily reproduce.
The discovery economy may therefore favor combinations of:
AI + proprietary data + domain expertise + physical infrastructure + verification.
Researchers gain a new exploratory partner capable of searching possibilities at a scale no individual person could realistically match.
Institutions that integrate AI effectively could increase research productivity and explore more ambitious questions.
Drug discovery is particularly suited to AI-assisted hypothesis generation, molecular exploration and candidate screening.
AI could accelerate searches for new materials, manufacturing methods, industrial processes and engineering designs.
As machine-generated discoveries increase, technologies capable of proving whether results are actually correct become more valuable.
High-quality proprietary datasets could become critical fuel for specialized discovery systems.
Compute, specialized chips, simulation environments, cloud systems and automated laboratories could benefit from increasingly computational research.
Institutions relying exclusively on traditional research workflows could face productivity disadvantages if AI-assisted competitors begin exploring possibilities substantially faster.
Some repetitive literature review, preliminary analysis, computational exploration and basic hypothesis-generation tasks may become increasingly automated.
General-purpose AI access may not be enough.
Organizations lacking specialized datasets, domain knowledge or research infrastructure could struggle to differentiate themselves.
The explosion of machine-generated hypotheses could also produce large amounts of low-quality research.
Systems and institutions that cannot distinguish meaningful discoveries from convincing-looking errors could lose credibility.
Perhaps the largest disruption is conceptual.
For centuries, scientific discovery has been understood primarily as a human intellectual activity supported by tools.
AI could increasingly become an active participant inside that process.
The next stage will not be determined by a single mathematical counterexample.
Watch for repetition.
AI systems will increasingly be tested against unresolved conjectures rather than textbook exercises.
One successful example is interesting.
Repeated success would establish a trend.
The critical scientific test comes when AI-generated hypotheses repeatedly survive physical experimentation.
That is where computational discovery meets reality.
Mathematics and software may advance particularly quickly because some claims can be checked automatically.
Reliable machine verification could become a critical foundation for AI-generated research.
Research systems may increasingly search literature, generate hypotheses, run simulations, analyze results and refine their own approaches across multiple steps.
Connecting AI directly to robotic laboratory equipment could shorten the cycle between:
idea → experiment → result → refinement.
That could be one of the most important developments to watch.
Universities, journals and professional organizations will eventually need clearer standards governing research where AI plays a meaningful role in generating the discovery.
Researchers may spend less time searching every possible path manually and more time deciding:
What questions matter?
What deserves testing?
What results are meaningful?
What risks are acceptable?
What discoveries actually change our understanding?
The Jacobian development matters for a reason far larger than the mathematics itself.
It provides evidence of a potentially important transition.
An AI system helped uncover something researchers did not previously know.
Humans verified it.
Other mathematicians examined it.
They expanded it.
They began turning the machine-assisted discovery into understandable mathematics.
That relationship may become increasingly common.
AI generates possibilities.
Humans determine meaning.
Machines accelerate exploration.
Humans establish trust.
For the first major era of generative AI, the central question was:
How effectively can machines work with what humanity already knows?
The next era could be defined by a much bigger question:
How effectively can machines help humanity discover what it doesn’t know yet?
If that transition continues across mathematics, medicine, biology, chemistry, engineering and materials science, AI’s most important product may eventually stop being the answer.
It may become the discovery.
Subscribe to follow the Trend newsletter and more.
Pass along insights or story ideas on AI, startups, and business. Focused on signal over noise, impact over headlines. Facts. Trends. Consequences. Always.
Buy Grey Ghost a Coffee
