What is the general design of these new math solving systems? [D]

Discussion on architecture of new AI math-solving systems.

AI生成の要約です。詳細は元ソースで確認してください。