論文の概要: Making AI-Assisted Claims Independently Challengeable: Publication Authority and a Protocol for Falsifiable Publication Records

• arxiv url: http://arxiv.org/abs/2609.17631v1
• Date: Tue, 15 Sep 2026 10:10:50 GMT
• ステータス: 翻訳完了
• システム内更新日: 2026-09-20 08:55:53.465231
• Title: Making AI-Assisted Claims Independently Challengeable: Publication Authority and a Protocol for Falsifiable Publication Records
• Title（参考訳）: AI支援の主張を独立して実行可能にする - 出版機関と偽造可能な公開記録のためのプロトコル
• Abstract要約: 我々は,出版機関を,正確な状態,非伝達性,単一用途の出版能力として開発する。 我々は,その4番目の境界付きセマンティックフリーズ(SF-4)を評価する。 10機のモデルが110,764個の安全な到達可能な状態を探索し、76個の安全でない構成が予想される違反や観測者対応モデルを生み出した。
• 参考スコア（独自算出の注目度）: 18.205994573842876
• License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
• Abstract: AI-assisted claims can appear authoritative when evidence, analysis, human authorization, presentation, and correction history refer to different states. Provenance, attestation, and transparency expose history but alone do not specify the publication transition examined here. We develop Publication Authority as an exact-state, non-transferable, single-use publication capability and instantiate it in PAC-2026 (Publication-Accountability Calculus), a machine-readable AIJIM Protocol candidate. We evaluate its fourth bounded semantic freeze (SF-4), a fixed-profile specification designed for replaceable bindings. Six obligations govern evidence, runs and artifacts, measurement disclosure, authorization, surface correspondence, and lifecycle continuity. Each yields a target-bound witness, localized counterexample, or localized unverifiability; none can compensate for another. Only a fresh, complete all-pass record derives the permit consumed by one atomic publication transition. We use identity vectors, adversarial cases, finite models, and historical implementations. Ten models explored 110,764 safe reachable states; 76 unsafe configurations produced the expected violation or observer countermodel. A reader surface passing its correspondence check cannot authorize publication unless the accepted record admits that surface. SF-4 separates evidence horizon from verification time and rejects an authentic but causally invalid authorization. A historical predecessor path reproduced 17 frozen authorization-successor outcomes. A later in-house, instance-blind test of known case classes matched all 183 scored expectations; same-host package execution reproduced its 240 archived observations. Results support internal coherence, bounded safety, fault sensitivity, and limited constructibility, but not factual truth, general refinement, blind interoperability, field efficacy, or standards status.
• Abstract（参考訳）: AIの支援されたクレームは、証拠、分析、人間の承認、プレゼンテーション、修正履歴が異なる状態を参照する場合、権威あるように見える。 証明、証明、透明性は歴史を暴露するが、ここで調査された出版の遷移は明らかにしていない。 我々は,機械可読AIJIMプロトコル候補であるPAC-2026(Publication-Accountability Calculus)において,正確な状態,非伝達性,シングルユースパブリッシング機能としてパブリケーションオーソリティを開発し,そのインスタンス化を行う。 我々は,その4番目の境界付きセマンティックフリーズ(SF-4)を評価する。 6つの義務はエビデンス、実行とアーティファクト、測定開示、認可、表面対応、ライフサイクル連続性である。 それぞれが、ターゲットバウンドの証人、ローカライズされた反例、あるいはローカライズされた不信任性を得る。 新鮮で完全な全パス記録は1つのアトミックパブリッシュ・トランジションによって消費される許可を導出する。 我々は、恒等ベクトル、逆の場合、有限モデル、そして歴史的実装を使用する。 10機のモデルが110,764個の安全な到達可能な状態を探索し、76個の安全でない構成が予想される違反や観測者対応モデルを生み出した。 対応チェックを通過する読影面は、受理された記録がその面を認めない限り、出版を許可することはできない。 SF-4は証拠の地平線を検証時間から切り離し、本物だが因果的に無効な認可を拒絶する。 歴史的に先駆的な経路は17回の凍結された認可・証明の結果を再現した。 その後の、既知のケースクラスのインスタンス盲検テストは183の期待値すべてと一致し、同ホストパッケージの実行は240のアーカイブされた観測値を再現した。 結果は、内部コヒーレンス、バウンドセーフ、障害感度、限定的な構成性をサポートするが、事実的真実、一般的な洗練、視覚的相互運用性、フィールド有効性、標準状態などではない。

関連論文リスト

• Watermarks Without Verification: AI Text Watermarking After the EU AI Act [49.51124343181601]
  EU AI法第50条では、生成可能なAIプロバイダに対して、システムが生成したコンテンツをマークし、AI生成として検出することを要求している。 Anthropicは、その日後にリリースされたすべてのClaudeモデルが、すべての生成されたテキストにSynthID-Textに基づく透かしを埋め込んでいることを公表した。 我々は、現在、異議や保証は確認できないし、この不信は、それ自体を透かしではなく、実質的なガバナンスの失敗であると論じている。
  論文  参考訳（メタデータ） (2026-09-09T01:56:17Z)
• VeriPhy: Agentic Physical Reasoning for World Model Evaluation and Refinement [57.86962208273888]
  テキストのみのプランナが入力された物理義務にプロンプトをコンパイルする監査可能な物理検証システムを提案する。 それぞれのアクションは、ペイロードがタイプされた測定か、明示的にタグ付けされた学習状態である証明付きエビデンスレコードを返す。 我々は, 実発生障害を即時参照, 空間, 時間でローカライズする, 1500クリックの欠陥記録のコーパスにおいて, 評価をアンロックする。
  論文  参考訳（メタデータ） (2026-09-02T20:36:45Z)
• Stored Is Not Supported: Typed Provenance and Assertion Guardrails for Persistent AI Agents [2.124730017640531]
  永続AIエージェントは、リフレクション、検索、統合を通じて自伝的状態を構築する。 自伝的アサーション境界性に対する型付き前置詞とアサーションガードレールを指定する。
  論文  参考訳（メタデータ） (2026-09-02T05:35:33Z)
• Mechanizing Typed Regulatory Actions for Security Tokens: Semantics, Falsification, and Bounded EVM Evidence [9.32030540168344]
  セキュリティ標準は、実行された法的効果や、それが持つ証拠やリバース義務を特定せずに、特権的なコントロールを公開します。 我々はIsabelle/HOLで、FREEZE、SEIZE、CONFISCATE、LIQUIDATE、RESTRICT、RECOVERの6つのERC-8319の参照実行セマンティクスを定式化する。
  論文  参考訳（メタデータ） (2026-08-29T08:23:27Z)
• From Trajectories to Evidence: Auditable Experimental Records for Industrial Research Agents [47.678562263387214]
  研究エージェントは、産業レコメンデーション設定において、多段階の機械学習実験をますます実施している。 生成されたアーティファクトは、サポートされないか、不完全かもしれないし、実行されたラウンドは無効かもしれないし、あるいは廃止されるかもしれないし、後の修正は、以前の発見を曖昧にするかもしれない。 本稿では,連続的アーティファクトのバウンダリ検証と実行後のクレーム資格を結合するエビデンス・グラウンド・フレームワークを提案する。
  論文  参考訳（メタデータ） (2026-08-05T13:37:38Z)
• When Verification Fails: How Compositionally Infeasible Claims Escape Rejection [30.404615085122046]
  既存の検証ベンチマークでは,厳密なクレーム検証と簡易な塩分制約依存を区別できないことを示す。 有意な制約が支持されるが、非有意な制約が矛盾する場合に、構成的に不可能なクレームを構築する。 モデル間の差は,基礎的推論能力よりも検証しきい値の差を反映していることを示す。
  論文  参考訳（メタデータ） (2026-04-13T04:48:20Z)
• FactReview: Evidence-Grounded Reviews with Literature Positioning and Execution-Based Claim Verification [57.196748998757954]
  本稿では,クレーム抽出,文献位置決定,実行に基づくクレーム検証を組み合わせたエビデンスベースレビューシステムであるFactReviewを紹介する。 FactReviewは論文を提出すると、主要なクレームを特定し、その結果を報告し、論文の技術的な位置を明らかにするために近くの作業を取り出し、コードが利用可能であれば、リリースされたリポジトリを実行する。 その後、簡潔なレビューと、主要な請求を5つのラベルのうち1つに割り当てるエビデンスレポートを生成する。
  論文  参考訳（メタデータ） (2026-04-05T11:45:22Z)
• Upholding Epistemic Agency: A Brouwerian Assertibility Constraint for Responsible AI [0.0]
  責任を負うAIに対して,Brouwerにインスパイアされたアサービビリティ制約を提案する。 ハイテイクドメインでは、公に検査可能でコンテスト可能な権利証明書を提供する場合に限り、システムはクレームを主張または否定することができる。
  論文  参考訳（メタデータ） (2026-03-04T12:14:21Z)

関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。

指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。