数学オリンピックや競プロみたいなパズルゲーム的な数学がAIに攻略されつつあるのは確かな一方で研究の前線とはやってること違う印象あるけどどうなんだろ
使える道具が限られたパターンマッチ的な問題が中心でアウトプットを定量的に評価できるならLLMと強化学習が無類の強さを発揮するけど研究もその延長線でいけるのかな
俺文系だからわからねぇけど
数学オリンピックや競プロみたいなパズルゲーム的な数学がAIに攻略されつつあるのは確かな一方で研究の前線とはやってること違う印象あるけどどうなんだろ
使える道具が限られたパターンマッチ的な問題が中心でアウトプットを定量的に評価できるならLLMと強化学習が無類の強さを発揮するけど研究もその延長線でいけるのかな
俺文系だからわからねぇけど