カテゴリー: math - ページ 3

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

2026年9月21日 by 774

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

2026年9月21日2026年9月19日 by 774

2026 年 9 月 15 日、TypeSafe AI は最初の System One Model として Jev を公開した。同社は Jev を、文章を逐次生成する従来の LLM とは異なり、ソフトウェアから直接利用で … 続きを読む

2026年9月21日2026年9月18日 by 774

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

2026年9月17日 by 774

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

2026年9月16日2026年9月16日 by 774

原子核の「魔法数」は、2、8、20、28、50、82、126 のような整数の一覧として説明されることが多い。この表だけを見ると、魔法数とは原子核にあらかじめ備わった特別な数字であり、研究の進展によって 32 や 34 の … 続きを読む

2026年9月9日 by 774

モダナイゼーションでは、旧システムと新システムのコードが一致していること自体を正しさの基準にはできない。言語、フレームワーク、アーキテクチャ、データ構造、実行環境を変えるなら、同じ業務を実現していても実装構造は変わる。一 … 続きを読む

2026年9月21日2026年9月7日 by 774

AI が正しい文章やコードを生成できることと、その成果物が正しいと確定できることは別の問題である。生成結果がもっともらしく見えること、過去より正答率が高いこと、別の AI が正しいと評価したことは、いずれも成果物そのもの … 続きを読む

2026年9月15日2026年9月5日 by 774

AI の出力を評価するとき、「評価が上がった」と「性能が上がった」は同じ意味に見えやすい。強化学習では、望ましい出力へ高い報酬を与え、その報酬が大きくなる方向へモデルを更新する。評価が正しさを十分に表しているなら、この方 … 続きを読む

2026年9月16日2026年9月4日 by 774

AI が生成したものを人間が評価し、問題がなければ使う。生成 AI の利用を考えるとき、この役割分担は分かりやすい。文章やコードでは、少なくとも多くの場合、外部へ作用させる前に内容を確認できるためである。ところが、AI … 続きを読む

2026年8月30日 by 774

情報という言葉は、しばしば「何が記録されているか」という内容と結び付けて考えられる。文章なら文字列、計算機ならビット列、DNA なら A、T、G、C の塩基配列である。この見方では、情報を保存するとは内容を失わずに保持す … 続きを読む