pzqpzq/Principia
Principia extracts reusable principles, composes those principles into traceable research ideas, and helps researchers inspect why an idea may be worth testing.
解決する課題
Principiaは、科学的文献と原始データの間のギャップを埋めることで、自律的な科学的発見の課題に対処します。AI駆動の研究における「ブラックボックス」問題を回避し、発見された関係が単なる統計的フィットではなく、既存の科学的原則に基づき、解釈可能で、明確な証拠の流れによって裏付けられていることを保証します。
動作方法
Principiaは、科学的知識とデータを構造化されたオブジェクトモデルに変換する研究ワークベンチとして機能します。マルチステージの発見ワークフローに従います:
- インベントリと理解:システムはローカルデータセットをプロファイリングし、変数を研究目的と科学的文脈に接続します。
- 生成と評価:候補となる数学的表現を提案し、開発データに適合させ、検証証拠を用いて代替案を比較します。
- 検証:保留されたチェックと証拠ゲートを適用し、関係が堅牢であることを確認してから「ルール」として昇格させます。
- 統合:最終的なルールを、それらを支持する観測結果と文献の原則と併記します。
技術的には、データと文献を分析するために推論モデルとビジョンモデル(例:DeepSeek-V4-Pro)の組み合わせを使用し、知識を「文献原則」「メタ原則」「ルール」(範囲が明示された実行可能な方程式)として表現します。
対象ユーザー
物理学、地震学、生物学、材料科学など、さまざまな分野の研究者や科学者で、ローカルデータセットから解釈可能な法則や関係を自動的に発見したいが、証拠の完全な検査可能性を維持したい人向けに設計されています。
特徴
- 自律的科学的発見(ASD):原始データから解釈可能な、タイプセットされた方程式への自動化されたプロセスを実現。
- 証拠連携結果:発見されたすべてのルールは、数値記録、キャリブレーション結果、検証意思決定とリンクされています。
- 科学的オブジェクトモデル:単なるテキストではなく、明確な境界、反証可能性、出典を持つ改訂可能なオブジェクトとして科学的主張を扱います。
- 広範な分野適用性:天文学、素粒子物理学から経済学、医療画像までをカバーする20の公開テストシナリオのライブラリを備えています。
関連
- プロジェクト
pzqpzq/LSF_MDiaMDia は、LLM の中間推論を再利用可能な「方言カード」(LSF)として形式化する Python ライブラリであり、生成・進化・プロファイリング・ルーティング・監査を実施する決定論的8段階パイプライン(collect → create → evolve → profile → select → run → validate-rules → report)を提供します。ブラックボックス LLM API をサポートし、複数のルーティング計画を備え、100ルールのバンクを含み、テスト評価前に意思決定を固定することで再現性を保証します。リポジトリには API キー不要のトゥイオフラインデモ、豊富なドキュメント、MITライセンス、ICML 2026ポスターおよびarXiv論文への引用が含まれます。
- プロジェクト
Xueyang-Song/paper-pilotPaper Pilot は、8つ以上の学術データベースをクロールし、PDFをダウンロード、SQLite + FTS5 + ベクトル検索でインデックス化し、ローカルまたはホストされたLLMに根拠に基づいた回答を要求できるデスクトップ(Electron + React)研究アシスタントです。すべてのデータはあなたのマシン上に留まります。アプリは監査可能な出典トレースと、文献レビューの再現可能なワークフローを提供します。
- プロジェクト
ailia-ai/ailia-models視覚、音声、テキストなどのさまざまなドメインにわたる419の事前学習済みAIモデルのコレクションで、統一されたCLIと自動的な重みのダウンロードによりすべて実行可能です。
- プロジェクト
shibing624/agenticaAgenticaは、オープンソースでApache-2.0ライセンスのもと提供されるフレームワークであり、複数のLLM駆動エージェントをローカルで実行できます。統一されたCLI、Web UI、デスクトップアプリを提供し、同じ履歴と設定を共有します。非同期優先のツール実行、マルチモデル・マルチモーダル対応、持続的メモリとコンテキスト圧縮、マーカドダウンベースの自己進化スキルシステム、セーフティガードレール、組み込みのコラボレーション(ピアメッセージ、タスク/サブエージェント、委任プロセス)を備えています。PythonおよびTypeScript SDKによりコード内にエージェントを埋め込み可能で、Docker/uv-toolインストーラーでセットアップも簡単です。
- Dispatch
OpenAI Prism リリースOpenAIは、GPT-5.2で動作する無料のAIネイティブLaTeXワークスペース「Prism」を発表しました。これにより、科学的執筆、共同作業、推論を単一の環境に統合できます。