Four Biological Conjectures: Strange and Marvelous Challenges for Biological AI A biologist proposes a set of "Biological Conjectures" — hard, Fermat-style open problems intended to draw frontier AI labs into biological research, following a July 2026 claim by mathematician Levent Alpöge that he used Claude Fable to disprove the Jacobian conjecture. The first conjecture challenges researchers to reconstruct the variable lab reagent Matrigel from first principles, arguing that lot-to-lot inconsistency may contribute to biology's replication crisis. The best conjectures are written in the margins. In 1637, Pierre de Fermat set the most iconic intellectual thirst trap in the history of mathematics when he scribbled a note in his copy Diophantus’s Arithmetica . There are no positive integers that satisfy aⁿ + bⁿ = cⁿ for n greater than 2, he teased, “I have discovered a truly marvelous proof of this, which this margin is too narrow to contain.” I’m not a mathematician, but I like math enough to feel a certain frisson when I read Fermat’s Last Theorem. It’s a call to adventure. It sets before you a goal that is easy to understand, yet unreachable until you first push back the frontier of human knowledge. Something about it was compelling enough to hold the attention of the math community for 350 years a proof was finally published in 1994 . Recently, the internet has rediscovered the appeal of a good conjecture. On July 20, 2026, the mathematician Levent Alpöge posted a short message on X saying the Jacobian conjecture is false and that he had used Claude Fable to determine the solution. Since then, we’ve seen a mini gold rush in AI-guided conjecture-hunting. It turns out that math has a substantial backlog of unclaimed prizes that are well matched to the capabilities of frontier AI in 2026. These problems are like catnip for the neolabs as they relentlessly seek out ever-more-challenging benchmarks to test their agents against. My fellow biologists, I want this for us. Biology deserves more of the attention, and the resources, currently being dedicated to advancing AI capabilities. A good set of Biological Conjectures, calibrated to intellectually thirst trap the Members of the Technical Staff over at Ant or OAI, might be just the thing. But before we start scribbling in the margins, a minute to prepare your mind. This isn’t your typical list of open questions in biology. We’re not asking you to cure all diseases, although some of these might advance that goal indirectly. We’re not here to build a virtual cell, to design a target-specific drug, to find the causal mechanism of a disease, or any of the other high-profile applications of AI for medical research that you already knew were important. Fermat’s Last Theorem was legendary, in part, because it called from the margins of mathematics. For 350 years, it stood apart from the waves of progress directed at other goals. There were entire centuries when it was considered a disreputable problem, not something that serious researchers should prioritize. But that weirdness is exactly what makes a good conjecture generative. It calls people away from the mainstream and leads them to domains they might not have otherwise explored. We believe that AI changes the scope of biological inquiry. It transforms impossible problems into merely hard problems. It elevates problems that live at the edge of the AI frontier. It challenges Bio-AI teams to entertain stranger possibilities. And so we present the Biological Conjectures. Solve one and be a legend. Conjecture 1: We can reconstruct Matrigel from first principles Matrigel is a common lab reagent in cell biology. It’s basically a protein slurry secreted by mouse tumor cells and sold commercially in 10 mL vials. Biologists use it for growing mammalian cells in culture. It provides a physical scaffold for cells to grow on and supplies various growth factors that signal them to replicate and behave normally. The problem is that composition of Matrigel varies lot-to-lot and this variation propagates directly to experimental results. If you want to perform a set of experiments under constant conditions, the size of the dataset you can generate is limited by how much Matrigel you can get in one batch. Different batches of Matrigel may or may not vary in ways that matter for your experimental outcome. We’ll never know for sure how much Matrigel is contributing to the replication crisis https://en.wikipedia.org/wiki/Replication crisis as long as it remains chemically undefined. We conjecture that Matrigel can be replaced with a fully defined synthetic alternative. It isn’t a magic potion after all, it’s just a bunch of biological molecules mixed together. But the admixture is abnormally complex: laminin, collagen, entactin, heparan sulfate proteoglycans, growth factors, proteases, and God knows what else is in there. Designing a replacement https://www.nature.com/articles/s41578-020-0199-8 would mean teasing apart perhaps 100 molecular ingredients, confirming their biological importance, then developing a manufacturing strategy to produce each component through chemical synthesis or precision fermentation. Matrigel is the right challenge for frontier Bio-AI in 2026 because it is more complex than studying single cells, less complex than modeling whole organisms. If we can’t generate the gel that grows stem cells in a tube, what hope do we have for understanding real 3-dimensional human biology? If you’re building the kind of AI that mines biological knowledge from the literature, Matrigel has been featured in more than 12,000 publications https://pmc.ncbi.nlm.nih.gov/articles/PMC9733768/ . If you’re building the kind of AI that processes experimental data, Matrigel is already a core component in any number of high-throughput assays. Glory will flow to the first neolab to discover the formula for neo-Matrigel. It would improve experimental reproducibility of biotech across the board. It would unlock a tidy line of business, provided the synthetic reagent could be shipped for less than the $300 per vial they charge today. It would be a decisive, tangible demonstration that AI can deliver functional biology in the world of atoms. Success criteria for conjecture 1: - You create a synthetic Matrigel in which every molecule is defined. - Replication studies show that synthetic Matrigel reduces experimental variation. - You create a commercial lab reagent that is widely used for cell culture. Conjecture 2: It is possible to 10x the Calvin cycle Nearly all of the carbon in the biosphere enters life through the same enzyme: ribulose-1,5-bisphosphate carboxylase/oxygenase, or rubisco for short. Rubisco pulls carbon from the air and feeds it into the metabolic Calvin cycle where it is assembled into sugar and, eventually, the carbon backbones of all organic molecules. The problem is that rubisco sets a bottleneck on carbon assimilation and growth. It is the most abundant enzyme on earth, in part, because plants express it in large quantities to compensate for its slow catalytic rate. While a typical enzyme might catalyze 1000 reactions per second, rubisco performs only 10. Rubisco also struggles to distinguish CO