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

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

カテゴリー tech

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

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

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

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

カテゴリー math

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

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