今日は Meta、推論モデル Muse Spark を用いた数学の未解決問題解決に関する論文 6 本を公開──5 件の未解決問題を解決

今日の主役は推論と数学の境界突破だ。Meta の Muse Spark が未解決問題を一気に 5 件解き明かした。