Finance

Korea Investment & Securities、MTSアプリ刷新　年金資産の一括確認や配当再投資を拡充

Korea Investment & Securitiesは、モバイルトレーディングシステム（MTS）「韓国投資」アプリを刷新した。年金資産をまとめて確認できる機能や配当再投資の導線を強化したほか、お気に入り銘柄画面や子ども口座向け情報、ISA関連機能も拡充した。

Crypto

OpenAI、指数時間仮説に関する3-SAT新アルゴリズムを公表

OpenAIは、計算理論の指数時間仮説に関わる3-SAT向け決定論的アルゴリズムを論文で公表した。証明はLeanで形式化しGitHubでも公開したが、研究者らは独立した再現と追加検証が必要だとしている。