Four Biological Conjectures: Strange and Marvelous Challenges for Biological AI
The article proposes four biological conjectures designed to challenge AI systems with complex, non-standard problems similar to Fermat's Last Theorem. It argues that biology needs such intellectual benchmarks to attract the attention and resources of major AI labs, moving beyond typical medical applications. The first conjecture suggests that Matrigel, a variable biological reagent, can be reconstructed from first principles using a fully defined synthetic alternative.
- ▪The authors argue that biology requires unique, challenging conjectures to engage AI technical staff similarly to how Fermat's Last Theorem engaged mathematicians.
- ▪The article distinguishes these conjectures from standard AI goals like curing diseases or building virtual cells, emphasizing their role in pushing the frontier of knowledge.
- ▪Matrigel is identified as a problematic lab reagent because its lot-to-lot variation limits experimental reproducibility and contributes to the replication crisis.
- ▪The first conjecture posits that Matrigel can be replaced by a fully defined synthetic mixture of its complex biological components.
- ▪The text references a recent event where mathematician Levent Alpöge used AI to disprove the Jacobian conjecture, highlighting the current trend of AI-guided conjecture hunting.
Hacker News (AI / LLM) files mainly under ai. We currently carry 5,031 of its stories.
Story provenance
Source · retrieval · rights · ranking — open for full record
inspect →
Story provenance
Attribution is not the same as permission. This drawer separates discovery metadata, excerpts, WeSearch-generated summaries, reuse status, and whether the publisher receives the visit. Nothing here claims a legal grant the publisher has not made.
Record
| Original publisher | Hacker News (AI / LLM) |
| Canonical URL | https://americanwetware.substack.com/p/four-biological-conjectures |
| Publication time | Tue, 15 Sep 2026 16:08:48 +0000 |
| Retrieval time | 2026-09-15T16:21:53.797Z |
| Last seen | 2026-09-15T16:21:53.797Z |
| Headline source | Publisher (no WeSearch rewrite) |
| Excerpt source | publisher body |
| Excerpt method | First ~120 words (~800 chars) of extracted publisher body, fair-use limited. |
| Summary | WeSearch · cerebras-chat (WeSearch summarizer) |
| Summary source text | contentText |
| Citation coverage | Summary is a WeSearch-generated derivative; primary citation is the original publisher URL. |
| Cluster | bIAWP-OEKkQv · 1 stories |
| Cluster logic | Grouped by semantic title/content similarity across sources within a rolling window. Same-publisher template collisions are excluded from coverage comparison. |
| Ranking reason | Story pages are not engagement-ranked. Hub feeds use recency, with optional source-diversified chronological ordering (cap consecutive stories per source). No personalized ranking. |
| Publisher visit | Yes — open original |
| Substitutes article? | No — link-out required for full text |
Rights status (four layers)
WeSearch handling by dimension
| Indexing | May the item be indexed (stored, ranked, made findable)? | Allowed |
| Snippet | May a short excerpt of the publisher's text be shown? | Allowed |
| AI summary | May WeSearch generate its own short summary of the article? | Limited |
| Retrieval / RAG | May the content be exposed for third-party retrieval-augmented generation? | Not asserted |
| Model training | May the content be used to train AI models? | Not asserted |
| Commercial reuse | May the content be reused commercially? | Not permitted |
Basis: Derived from the published RSS/Atom feed. Contact: [email protected]. Reviewed: 2026-07-24.
Opening excerpt (first ~120 words) tap to expand
Four Biological ConjecturesStrange and Marvelous Challenges for Biological AIAmerican Wetware and Jake WintermuteSep 06, 20264739ShareThe 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.
…
Excerpt limited to ~120 words for fair-use compliance. The full article is at Hacker News (AI / LLM).
Discussion
0 commentsMore from Hacker News (AI / LLM)
