公開デモ · 厳選されたプリセット

See it run

3つのプリセット発見 — goal → falsifier → saturation のループをキャッシュし、最初から最後まで表示
3
厳選されたシナリオ
100%
falsifier で監査済み
0
ライブコンピュートなし、規則として
↓ スクロール

このデモが示すもの

下記の各シナリオは固定された目標と固定された verifier の組であり — 結果は実際の過去の発見サイクルのキャッシュされた実行です。

これは事前設定されたサンドボックス化デモです。ライブのコンピュートは実行しません:ここで seed や verifier を送信することはできず、このページのいずれもプロセスを生成しません。あなたが見るものはまさに hexa kick が生み出すものです — goal の提案、それに対する falsifier の発火、saturation の検査、そして verifier の判定が目標達成の唯一の権威となる検証済みの結果。自分自身の計測可能な目標を自分自身の verifier で実行するには、ダッシュボードにサインインしてください。

厳選されたプリセットシナリオ

01

最小の完全数

キャッシュされたプリセット実行
目標6 がその真の約数の和に等しいことを示す
プリセット verifier厳密な整数チェック — 真の約数の和 == n
ラウンド上限2 ラウンド
ラウンドトレイル · goal → falsifier → saturation
  1. ラウンド 1
    goal 6 未満の 6 の約数はちょうど {1, 2, 3} である
    falsifier d | 6, d < 6 を列挙 → {1, 2, 3} — 欠けた要素なし、偽りなし
    判定 成立 — 真の約数の集合を確認
  2. ラウンド 2
    goal 6 の真の約数の和は 6 である(6 は完全数)
    falsifier 1 + 2 + 3 = 6、そして 6 = 6 → 等式は断定ではなく検査された
    判定 成立 — 6 は完全数; saturation 到達、未解決の goal は残っていない
検証済みの結果
σ(6) − 6 = 6、すなわち 1 + 2 + 3 = 6。真の約数の和がその数自身に等しい — 6 は完全数であり、ラウンド2の goal は自らの falsifier を生き延びました。
プリセット verifier rc=0 — PASS(verifier が目標達成の唯一の権威)
02

次の完全数

キャッシュされたプリセット実行
目標6 の次に来る完全数を見つけ、その約数の和を検証する
プリセット verifier厳密な整数チェック — 真の約数の和 == n、さらに隙間なしスキャン
ラウンド上限2 ラウンド
ラウンドトレイル · goal → falsifier → saturation
  1. ラウンド 1
    goal 28 は完全数なので、その真の約数の和は 28 である
    falsifier {1, 2, 4, 7, 14} を列挙; 1+2+4+7+14 = 28 → 項ごとに検査
    判定 成立 — 真の約数の和が 28 に等しい
  2. ラウンド 2
    goal 28 は 6 の次の2番目の完全数であり、その間には何もない
    falsifier 7..27 のすべての n について sigma_proper(n) == n をスキャン → 発見なし
    判定 成立 — 28 は次の完全数; saturation 到達
検証済みの結果
28 = 1 + 2 + 4 + 7 + 14。これは2番目の完全数です; falsifier が 7 から 27 までのすべての整数をスキャンし、より早いものを見つけなかったため、‘次の完全数’ という主張は生き延びました。
プリセット verifier rc=0 — PASS(verifier が目標達成の唯一の権威)
03

偶数完全数の形

キャッシュされたプリセット実行
目標偶数完全数を生成する閉じた形を発見する
プリセット verifier厳密な整数チェック — 検証済みの約数の和に対する 2^(p-1)(2^p-1) の形
ラウンド上限2 ラウンド
ラウンドトレイル · goal → falsifier → saturation
  1. ラウンド 1
    goal 6 と 28 はどちらも 2^(p-1) · (2^p - 1) の形に当てはまる
    falsifier p=2 のとき 6 = 2^1·(2^2-1); p=3 のとき 28 = 2^2·(2^3-1) → 適合を検査
    判定 成立 — 既知の2例はどちらも形に一致
  2. ラウンド 2
    goal 2^p - 1 が素数のとき、2^(p-1)·(2^p-1) は偶数完全数である
    falsifier p=5 をテスト: 2^5-1 = 31 は素数 → 16·31 = 496; sigma_proper(496) == 496 を検証
    判定 成立 — 496 = 1+2+4+8+16+31+62+124+248、3番目の偶数完全数
検証済みの結果
偶数完全数は、2⁷ − 1 が素数(メルセンヌ素数)であるたびに、ユークリッドの形 2⁷⁻¹(2⁷ − 1) に従います。falsifier は p=5 を代入し、新しい事例 496 を検証しました — このパターンは単に断定されたのではなく、新たな試験を生き延びるよう作られたのです。
プリセット verifier rc=0 — PASS(verifier が目標達成の唯一の権威)

誠実な範囲

↳ライブではなくキャッシュ: 上記のすべての結果は記録された過去の kick 実行であり、それが生み出されたプリセット目標 + プリセット verifier に対して表示されます。公開面はコンピュートを実行しません — 設計上、悪用面はゼロです。
↳Verifier が権威です: Phanes は verifier が通らない限り、目標が達成されたとは決して主張しません。デモは結果とともに verifier の判定(rc=0)を示します — それを代替するものではありません。
↳プロジェクト完成の約束なし: Phanes は検証され falsifier で監査された発見を返します — ここでは約数構造の結果です。ソフトウェアプロジェクトを自律的に完成させることはなく — saturation だけが唯一のハードストップです。

自分の目標を実行する

上記のプリセットは意図的に制限されています。ダッシュボードはその上限を解除します:自分自身の計測可能な目標と自分自身の verifier を持ち込み、それに対して OUROBOROS ループ全体を駆動してください — あなたの発見、あなたの非公開カタログ。

進む phanes発見面 — Phanes の仕組み