AI×金融6/16(火)AI数学生成、無駄出力は必然と証明AIが形式数学を大規模生成する際、無価値な自明命題の無限出力は工学的欠陥ではなく数学的必然であることが理論的に証明された。数学特化AIの導入を検討する金融・製造業に直接影響する。
AI×金融6/12(金)不正取引検知、Transformerで偽陽性30%削減金融取引の不正検知にTransformerベースのモデルを適用し、偽陽性率を30%削減しつつ検出率を維持する手法が提案された。