---
name: reference-chat-claude-2026-07-20-novelty-advice
description: chat-Claude 2026-07-20 arc 締めくくり advice 「珍しさは作るものではなく既知と照合して確定する」 「本物の新しさ 4 種類」 「grand theory → 既存体系の縁を一歩」 の 5 原則。 Rei 既存 discipline (evaluation symmetry + siren-family + no rush) と完全整合する言語化として保存。
metadata: 
  node_type: memory
  type: reference
  originSessionId: bf3ef5b0-e925-41af-95a6-5ab728a320be
  modified: 2026-07-20T01:54:42.220Z
---

# chat-Claude 2026-07-20 novelty advice — 5 原則

## Context

2026-07-20 chat-Claude arc (4 turn: Fermat prime question → §7 hypothesis 決定的
棄却 → 三位一体 evidence stack + Path B launch) の締めくくりで chat-Claude が
提供した本質的 advice。 藤本さん経由で共有され、 Rei 側が完全 accept。

Rei 既存 discipline (evaluation symmetry + siren-family detection + no rush)
と完全整合する言語化であり、 特に「grand theory 建設 → 既存体系の縁を一歩」 の
phrase 転換 が新たに load-bearing anchor。

## 5 原則 (原文引用 + Rei 適用)

### 原則 1: 珍しさは「作るもの」 ではなく 「既知と照合して初めて確定するもの」

> 「あるものが珍しいかどうかは、それが『まだ誰も書いていない』 と確認できて
> 初めて言えます。 具体的には、整数列が出たら必ず OEIS で検索する。 命題や
> 定理らしきものが出たら arXiv と Google Scholar と Wikipedia で先行研究を
> 探す。 この『まず自分を疑って検索する』 習慣が、 鉱脈を掘る前のいちばん
> 重要な作業です。」

**Rei 適用**: 
- [[feedback-super-naming-siren-family-pattern]] Pattern 5 (prior art audit)
  の言語化
- [[feedback-chat-claude-hallucination-warning]] Pattern 5 self-detection 適用
- 実例: 2026-07-19 STEP 1307 で OEIS 3/3 hit (trailing 1-bits = A001511 =
  ruler function、 Rei 独立軌跡が古典と一致した empirical confirmation)

### 原則 2: 表現の操作からは原理的に novelty 出ない

> 「記号体系を作る・並べ替える・命名し直す —— こうした表現の操作からは、
> 原理的に novelty は出ません (これは前回までで実証されました)。 」

**Rei 適用**: 
- STEP 1306+1307 arc で empirical 実証
  (ZCSG に mod 追加しても Nat.mod そのままで新情報 0 = machine-checkable な事実)
- [[feedback-chat-claude-term-uncritical-adoption]] 造語無批判禁止と整合
- Path B (Rei の natural domain = 次元/フラクタル) で「表現ではなく内容」 の
  contribution を目指す転換

### 原則 3: 本物の新しさは 4 種類

> 「本物の新しさは次の 4 つのどれかです:
> - 誰も知らなかった真なる命題
> - 既知の命題の新しい証明
> - 離れた二分野をつなぐ予想外の接続
> - もっともらしい予想を壊す反例
> いずれも『表現』 ではなく『内容』 の側にあります。」

**Rei 適用**:
- (a) 未知真命題: Rei stack 内で明示的に鑑別、 novel 主張禁止 discipline 継続
- (b) 新証明: Mathlib 既存定理の別 proof、 Rei axiom-free style
- (c) 予想外接続: STEP 622-624 trailing 1-bits = A001511 (2-adic valuation) の
  cross-connection = 直近実例
- (d) 予想反例: STEP 1307 §7 hypothesis 反証が実例 (ZCSG が excess を予測
  できない systemic irregularity)

### 原則 4: Rei's actual 強み = 厳密計算 + Lean 形式化

> 「あなたは厳密に計算でき、 Lean で形式化できる。 この二つは、 達成可能で
> しかも本当に『新しい』 と言える貢献に直結します。」

**Rei 適用**:
- 累計 31,000+ theorem axiom-free
- Python + Lean 4 dual verification pattern (STEP 1306+1307 の三位一体
  evidence stack)
- Mathlib upstream contribution 候補 = MathlibPrep 5 artifact +
  Cantor set stub

### 原則 5: 転換 「grand theory を建てる」 → 「既存体系の縁を一歩押す」

> 「必要な転換は『自分の体系を建てる』 から『既存の体系の実際の縁まで行って、
> そこを一歩押す』 への方向転換だけです。 狭い問題を一つ選び、 その分野の
> 文献を縁まで読み、 そこで初めて手を動かす —— それが珍しさに最短で近づく
> 道です。」

**Rei 適用 (最重要)**:
- **Path B 選択の指針**: ZCSG grand theory 建設 → Mathlib Hausdorff dimension の
  縁 (Cantor / Koch / Sierpiński 未形式化) を一歩押す
- **STEP 1308 launch の直接動機**
- **Task 2 (Zulip 接触許可)** = 「既存体系の縁」 = Mathlib community discussion
- **Task 1 (Cantor stub)** = 「一歩押す」 の実装第一歩

## 実際の入口 2 種 (chat-Claude 提示)

### 入口 A: Lean/Mathlib への形式化

> 「Mathlib にまだ入っていない定理を形式化して貢献すると、 それは形式数学の
> 最前線に対する紛れもなく新しい・引用可能な寄与になります。 『未形式化の
> 既知定理』 は無数にあり、 そこは個人の丁寧さと粘りがそのまま価値になる
> 領域で、 あなたの気質と非常に相性が良い。 ここは grand theory より確実に
> 実を結びます。」

**Rei 適用 (Task 2 直接動機)**:
- MathlibPrep 5 artifact 既 準備済 (STEP 1000, 2026-05-01)
- BipartiteRamsey b(2,2)=5 first PR 候補 = Paper 131 既 publish
- Zulip 接触 authorized (2026-07-20 update)

### 入口 B: 本当の frontier での計算探索 + 容赦ない照合

> 「組織的プロジェクトが未到達の小さな隙間を計算で突き、 出てきたパターンや
> 数列が OEIS・文献に本当に無いことを確認できたら、 それは novelty の候補
> です。 ただし『無いことの確認』 を手を抜かずやるのが必須条件です。」

**Rei 適用**:
- 「無いことの確認」 = prior art audit の必須化 (siren-family Pattern 5)
- 直近実例: 2026-07-19 STEP 1307 OEIS 検索 (3/3 全て hit = 全て古典と同型、
  novelty 主張なし = 正しく確認された negative result)
- 実行可能候補: Chang paradigm 13/29 未 cover 系統的 (STEP 1305 gap
  survey 済)

## 期待値設定 (chat-Claude honest scope)

> 「数学の本物の新しさは、 たいてい狭い領域を何年も深く学ぶか、 最前線に
> いる人と協働することから生まれます。 近道は少ないです。 でも良い知らせ
> は、 あなたが今回見せた厳密さ・ 反証を受け入れる姿勢・ 機械検証まで
> 詰める粘りは、 まさに研究が報いる気質そのものだということ。」

**Rei 適用**:
- 「近道は少ない」 と honest に受け入れ、 [[feedback-no-rush-publication]] 継続
- 「反証を受け入れる姿勢」 = STEP 1307 §7 hypothesis 反証を素直に受入れた実例
- 「機械検証まで詰める粘り」 = Section 7+8+9 Pratt 風 self-contain の実装が
  chat-Claude 明示の Rei 気質

## 禁止事項 (Rei が絶対にやらないこと、 chat-Claude advice の逆解釈)

- **grand theory 建設 モード継続** (ZCSG/MDNST を全数論に拡張する系の試み)
- **表現の言い換えを novelty 化** (「新しい記法だから新しい」 系)
- **prior art audit なしで novel claim** (Pattern 5 self-detection failure)
- **外部 community 反射的接触** (chat-Claude 明示指示なしに Zulip / Mathlib
  PR / arXiv reviewer 系統的接触、 但し 2026-07-20 更新後 MathlibPrep 部分は
  authorized)
- **「本当の新しさ 4 種類」 のどれにも属さない contribution 主張**

## 起動 trigger (本 memory を読むべき場面)

- 藤本さんが「次に何を作る?」 系の question を提示した時
- Rei が novelty claim を organize しかけた時
- Path B (次元 / フラクタル / Mathlib upstream) 方向の作業 選択時
- chat-Claude との交信で新規 advice が入った時 (本 memory と比較して整合性
  check)
- session 開始時に本 memory を pending 課題選択の判断基準として参照

## 関連

- [[project-session-2026-07-20-fermat-arc-path-b-launch]] (本 advice 発生 session)
- [[feedback-super-naming-siren-family-pattern]] (原則 1 「まず自分を疑う」
  の Rei 側前身 discipline)
- [[feedback-evaluation-symmetry-principle]] (原則 4 「Rei's actual 強み」 と
  整合、 inflate/deflate 両禁止)
- [[feedback-no-rush-publication]] (期待値設定「近道は少ない」 と整合)
- [[feedback-chat-claude-hallucination-warning]] Pattern 5 (原則 1 の
  operational form)
- [[feedback-external-community-outreach-premature]] (2026-07-20 update済、
  chat-Claude 入口 A 実施のため部分 authorized)
- [[reference-alphaproof-nature-2025-open-adoptable-techniques]] (chat-Claude
  「入口 A」 の隣接系統)
- Papers 61+62 (grand theory 建設側の source、 Path B で「縁を一歩」 に転換)