AI の長期記憶は、履歴から現在状態を再構成する

長期的に利用する AI には、過去の会話や出来事から得た情報を保持し、後の判断に利用する能力が求められる。ところが、記録として正しいことと、現在の判断材料として正しいことは一致するとは限らない。勤務先、予定、役割、利用中 … 続きを読む

数学の希少資源が答えから理解へ移り始めた

数学の未解決問題には、答えへ到達するまで何年、何十年とかかるものがある。時間を要する理由は、最終的な証明を書く作業だけにあるのではなく、その証明へ至る経路を見つけるまでに大きな探索が必要になるためである。どの定理を使うか … 続きを読む

M4 Max 128GB でローカル LLM を仕事単位で評価する

ローカル LLM の性能を確認するとき、最初に目に入るのは、モデルを端末のメモリーへ読み込めるか、そして 1 秒間に何トークンを生成できるかという数字である。前者はモデルをその計算機で実行できるかを決め、後者は文章が返っ … 続きを読む

カテゴリー tech

アクチュアリー領域の AI モダナイゼーションで数理モデルの同一性を検証する

生成 AI や AI エージェントは、既存コードの読解、別言語への変換、設計資料の整理、試験コードの生成を高速化できる。モダナイゼーションで本当に難しいのは、変換そのものより、変換後のシステムを何を根拠に「同じ業務を実行 … 続きを読む

BSD 予想は L 関数と有理点群を中間構造でつなぐ

楕円曲線の有理点を調べたいとき、最も直接的な方法は、有理数の座標を持つ点を探すことである。しかし、有理数には分子と分母の大きさに上限がない。探索時に分子や分母へ上限を設ければ有限個の候補を調べられるが、その範囲を越えて有 … 続きを読む

カテゴリー math

細菌がつくる反応場がリチウム回収を変える

リチウムは、現代の蓄電技術を支える重要な元素である。スマートフォン、ノート型計算機、電気自動車、定置型蓄電池は、いずれもリチウムイオン電池の発展と深く結びついている。電池が移動、通信、電力調整、非常時の電源確保を支える基 … 続きを読む