Sage、形式化の課題を解決へ 数学の厳密さと忠実性を両立
トーマス・ハーツ (Thomas Hirtz) 氏ら研究者グループは9月16日(現地時間)、自然言語から形式言語への変換における課題を解決する新たなフレームワーク「Sage (Semantic Agent-Guided Formalization Engine)」を発表した。Sageは、従来の単一的な変換手法ではなく、4段階のパイプラインとデュアルシグナル意味論的修正ループを導入。これにより、形式化プロセスにおける「厳密さの錯覚」を解消し、数学的な忠実性と構文的妥当性の両方を実現する。