Maple DNA · Undergraduate Route

From DNA to AGI

A 12-week path from bases and molecular computation to genomic foundation models, canonical DOGMA, and evidence-gated recursive research. The course teaches students how to build and how to doubt.

Core Text

Second-edition research preview

The 507-page book includes 19 chapters, three formal appendices, worked examples, exercises, laboratories, an evidence checklist, and a measured account of what DOGMA has and has not achieved.

Prerequisites

A careful beginning

  • One undergraduate programming course, preferably Python
  • High-school algebra and comfort reading simple probability notation
  • No prior molecular biology, deep-learning, or wet-lab experience required

Learning Outcomes

What a student should be able to do

  • Explain the biological central dogma without confusing it with the DOGMA architecture.
  • Compare transformer, recurrent, convolutional, Hyena, and state-space sequence models.
  • Trace the canonical non-transformer DOGMA computation path and identify prohibited components.
  • Design leakage-aware datasets, matched-compute baselines, ablations, and frozen evaluation probes.
  • Read a recursive-training record and decide whether a candidate should be archived, promoted, or rejected.

Syllabus

Twelve weeks from molecules to research contracts

01

DNA as information

How do bases, complementarity, replication, and the central dogma encode constraints?

Represent a short sequence and verify its reverse complement.
02

Molecular computation

How did Adleman, strand displacement, and chemical circuits turn molecules into algorithms?

Simulate a symbolic strand-displacement gate.
03

Machine-learning foundations

What do loss, gradient descent, generalization, and held-out evaluation actually measure?

Fit and audit a nucleotide bigram baseline.
04

Transformers and alternatives

What does self-attention buy, and what do recurrent, convolutional, Hyena, and SSM paths trade?

Compare sequence-complexity and memory budgets.
05

Genomic language models

How do k-mers, BPE, masked modeling, and reverse-complement policy change a DNA encoder?

Build two tokenizations and define a leakage-safe split.
06

Canonical DOGMA

Which mechanisms are implemented, historical, optional, or explicitly prohibited?

Audit a model configuration against the non-transformer contract.
07

Local structure and memory

Can overlapping tetra cells, recurrence, and regulation transmit useful long-range state?

Trace one sequence through local cells and a bounded state update.
08

Expression and objectives

How do genomic state, transcription-like mixing, bottlenecks, and output heads interact?

Design one ablation that isolates the expression bottleneck.
09

Recursive evaluation

How can a system propose descendants without writing its own passing grade?

Run the lineage, provenance, and frozen-probe preflight.
10

Quality-diversity search

Why retain diverse stepping stones instead of one endless chain of descendants?

Place candidates in a small MAP-Elites-style behavior archive.
11

Measured DOGMA

Why did lower held-out perplexity fail to predict readable generation?

Analyze cycles 6, 11, 13, and 14 under the revised three-probe gate.
12

Research proposal

What matched-compute experiment could falsify one DOGMA hypothesis?

Write a preregistered protocol with baselines, seeds, stopping rules, and claim labels.

Evidence Language

Four labels prevent one large category error

A compelling design is not automatically a measured result, and a measured result is not automatically reproduced.

Implemented

The mechanism exists in the named code revision; implementation alone is not evidence of advantage.

Measured

A result identifies its data, split, checkpoint, metric, evaluator version, and seeds.

Reproduced

An independent run or worker recovered the result within a declared tolerance.

Hypothesis

A falsifiable claim with a proposed experiment, not an established capability.

Continue

Move from the course into the research record

Read the architecture contract, inspect measured cycles, then propose an experiment that could prove an idea wrong.