IMO-AG-30 native再実行
同一DDAR・外部LLMなし。証明JSON 31/31を保存・照合。
MORTRA1LIVEMORTRA / OPEN RESEARCH SYSTEM
証明が動くところまで、公開する。
保存済みの証明を再生し、型付きの射がどの推論器を渡り、図・解答・証明書へ変わるかを追えます。研究記録とGitHubの更新も同じ画面で同期します。
REPOSITORY SYNC / 60sCERTIFIED TRACE / REPLAYBRANCH / release/mortra-1-beta
CERTIFIED TRACE / REPLAY2024VietnamTSTp5
FIGURE / CONSTRUCTION STATE A,B,C ───────┐
I ──foot── E,F├── polar(A)=EF ── M
O,Γ ─────────┘ │
tangents ── S,T ── TI∩OA ── J
│
eqangle(ASJ,IST) ◄── factor ◄─┘- 01
CONSTRUCTION内心 I を辺 CA, AB へ射影し、接点 E, F を構成
foot(I, CA), foot(I, AB) - 02
DEDUCTION垂直条件から E, F が A の接触弦、すなわち極線上にあると証明
IE ⟂ CA ∧ IF ⟂ AB → polar(A) = EF - 03
COORDINATE外接円を単位円へ正規化し、M の条件を極線の式へ変換
O = (0,0), R = 1, M ∈ EF ∩ Γ - 04
LINEAR4本の接線から S, T を、直線 TI と OA から J を厳密構成
X · Y = 1 → S,T; J = TI ∩ OA - 05
TYPED IR目標角 ASJ = IST を有向角の外積・内積式へ変換
eqangle → cross-dot polynomial - 06
SYMPY目標式の分子を極線への incidence 因子で因数分解
goal numerator = polar(M, A) × quotient - 07
CERTIFICATE26本の恒等式を再生し、未消去条件0で証明書を確定
26 / 26 residuals = 0; obligations = 0
LIVE REPOSITORY60秒同期
公開ブランチ
release/mortra-1-beta- design: refine MORTRA interface and rerun IMO benchmark
15193f92時間前 · MORTRA - Wire theorem kernels through public solve pipeline
d4d423920時間前 · MORTRA - Certify remaining HAGeo geometry cohort
6dff7572日前 · MORTRA
保存済み証明書を再生中。架空のライブ推論ではありません。
01 / EXECUTABLE SYSTEM MAP
数学構造は、推論器の間を移動する。
ノードは実装済みの表現または検証器、線は受け渡せる型付き関係です。触れると、その射が何を保存するかを確認できます。
REPRESENTATIONPROOF DAG
型付き中間命題を交換
02 / GEOMETRY AS A GENERATIVE BASIS
証明用の幾何が、表現の基底になる。
点・線・円・交点・回転・中点・鏡映・平行・垂直だけを合成し、図案専用の命令を追加せず100種類を生成しました。同じ意味図形を製図、手稿、建築、プロダクト、生成アートへ描き分けます。
ONE STRUCTURE / FOUR RENDERS構成と質感を分ける。
線・円・交点の意味は変えず、technical、ink、blueprint、washへ描画方針だけを切り替えています。
9既存操作0新規幾何射4合成深さ中央値
製図
Line / circle / intersection建築
Parallel / perpendicular / subdivision手稿
Proof step / focus / annotationノート
Derivation / state / branchプロダクト
Symmetry / constraint / variant生成アート
Orbit / reflection / composition03 / REPRODUCIBLE EVIDENCE
数字は、再生できる成果物と一緒に置く。
異なる評価単位を一つの点数に混ぜず、それぞれの再現条件と成果物へ直接つなぎます。
監査済み幾何ポートフォリオ
問題文、図、証明過程、証明書を再生可能な成果物として保存。
既存射だけで生成した意味図形
新規幾何射0。640候補から異なる100図を固定。
回路とソフトの一致入力数
候補検査回路のRTLシミュレーションと論理合成を通過。
04 / RESEARCH RECORDS
研究記録
結論だけでなく、目的、方法、結果、考察、再現手順を日付つきで残しています。