K.Ishi@生成AIの産業応用さんによるXでのポスト

	K.Ishi@生成AIの産業応用 ⁦‪@K_Ishi_AI‬⁩ またしても数学の未解決問題がGPT-5.2-Proによって解かれた。これが手元のChatGPTで出来たという事実がとんでもない。例えば、ChatGPTで「問題を検証器で書ける形に落とし込む→反例や構成を大量生成させる→検証器でふるいにかける」で解決案を作り、専門家に見てもらえば、素人でも未解決問題を解け   2026/01/12 11:17