我們發表的論文，每篇都是完整數學證明 + 互動視覺化網頁 + GitHub 開源。涵蓋圍棋理論、機器學習，以及經典數學問題。
圍棋理論的數學證明與計算複雜度分析。
證明「第二好的次一手公式」在圍棋中不存在的完整數學論證。
PSPACE 困難下界 + BW 標準形狀上界 + F1/F2/F3 排序定理的完整證明。
深度學習與最佳化的第一性原理推導。
隨機梯度下降為何收斂到好解？互動式理論視覺化。
從第一性原理到完整證明，互動解說深度網路的泛化能力。
AI 對齊、可解釋性與安全保證的數學基礎研究。
用計算理論、資訊理論、密碼學證明驗證、訓練、內層三層對齊的不可能性，無單一技術能同時解決。
經典數學問題的研究報告與互動視覺化。
Euler 1769 年提出、250 年未解：將幾何問題化約為橢圓曲線上的有理點，以六篇可電腦驗證的部分結果逐一封閉特定子家族（不宣稱完全解決）。
94 輪 LLM sub-agent 群攻擊 Erdős–Sidon 猜想：未撼動 1969 年 Lindström 上界，卻意外發現 49 年前 Bloom–Golomb 例子的新性質、命名兩個 LLM-數學失敗模式，產出三篇可發表 paper。
Tutte 對偶 + Grötzsch 化約，將四色定理化約為更簡單子問題，配置數縮減 80 倍，避免機器窮舉。
Collatz 猜想（3n+1 問題）互動研究報告，含 20 個 D3.js 互動視覺化。