Autonomous driving paper index
Anatomy of the 2026 Jacobian-conjecture counterexamples: three families, three charts, a counting theorem, and a monodromy dichotomy
One-line summary
An autonomous driving research paper: Anatomy of the 2026 Jacobian-conjecture counterexamples: three families, three charts, a counting theorem, and a monodromy dichotomy.
Engineering notes
Key topics: autonomous driving. See the paper for implementation details and experimental results.
Chinese explanation / 中文解读
中文解读待补充：本站会优先为端到端自动驾驶、BEV感知、3D目标检测、轨迹预测、路径规划、LiDAR感知等高价值论文补充中文说明。
Original abstract
Computational anatomy of the 2026 Jacobian-conjecture counterexamples: independent verification of the F_m (fibers 2m-1) and marked-root K_n (fibers n(n-2)) families; explicit identification of the original map as the common seed (F_2 = K_3); a counting theorem for the v-chart design neighborhood; measured monodromy dichotomy (F_3 generic monodromy = A_5, primitive; K_4 imprimitive block wreath); a D-general pin-system wall theorem for the Section-7 search grammar; and the C^3 even-fiber parity landscape. Core identities are kernel-checked in Lean 4 (artifact included). Machine-author disclosure: results produced with an autonomous research loop (KoreoLoop/HELM) driving Claude Fable 5 / Opus 5 / Sonnet 5; every registered claim passed an independent verifier and lead re-verification; Lean artifacts verify with axioms in {propext, Classical.choice, Quot.sound}.
Links and sources
Need this topic turned into a technical roadmap?
Full Self Driving can prepare a custom autonomous driving literature review, code map, dataset map, and B2B technology assessment.
Request B2B research
Comments