ページを読み込み中…
ページを読み込み中…
13件の記事
MathCode は、自然言語の数学問題を Lean 4 の定理に変換し、永続的な REPL や知識グラフを活用して自動証明を試みるターミナル型 AI コーディングアシスタントである。
マイクロソフトは生成トークンとモデル深さの両軸を計算する「フルバンド幅トランスフォーマー」を導入し、垂直フィードバック経路を拡張した。
Anthropic が未公開モデルを用いて、150 年以上未解決とされる数学の難問「リーマン予想」について従来の AI よりも大きな進歩を示した。
Hugging Face は、デコーディングステップ間の垂直フィードチャネルを潜在フィードバックで広げる Full-bandwidth Transformer を導入した。
OpenAI が未公開のモデル「Astra」を用いて、検証可能な主要な数学的オープン問題 10 問をすべて解決したと報告し、AI の高度な数学能力を示した。