Nishi Family › Compare › Frontier Radar

Frontier Radar — Computational Mathematics

Where the 2025/26 research frontier is moving, and where Nishi should test, deepen, or research next.

How this works. The nishi researcher banked the current (2024-2026) frontier for this domain over sovereign TLS (keyless OpenAlex/arXiv). For each capability axis this radar measures frontier momentum = how often the frontier corpus mentions it, times our organ presence (probed on disk). Absent + hot = a research opportunity / where to test. Corpus measured: 1944844 bytes. Generated by nx_swcompare_gapmap over a data-only domain spec (computational.q + computational.axes) — zero domain-specific code.
Top research opportunities (the 2025/26 frontier is active here and Nishi has no organ yet):
Capability axisNishi organFrontier momentum (2025/26)Signal
Autoformalization (rungs 1-2: informal plus/times to kernel-checked Peano)present
33 mentions		COVERED
LLM mathematical reasoningabsent
30 mentions		OPPORTUNITY
Neurosymbolic reasoningabsent
24 mentions		OPPORTUNITY
Theorem proving (ATP)present
21 mentions		COVERED
Symbolic computation corepresent
14 mentions		COVERED
Symbolic integration (depth)present
8 mentions		COVERED
SAT / constraint solvingpresent
4 mentions		COVERED
Equation solvingpresent
3 mentions		COVERED
Automatic differentiationpresent
0 mentions		COVERED
Number theorypresent
0 mentions		COVERED
Verified / certified numericsabsent
0 mentions		dormant
Curated computable knowledgeabsent
0 mentions		dormant

Opportunities 2 · covered 8 · dormant 2

frontier momentum is a mechanical keyword count over real 2024-2026 works; our presence is probed on disk. A discovery signal, not a ranking of importance. Zero JS, zero trackers.