|
|
|
|
|
|
by azeirah
699 days ago
|
|
|
I don't think that's what they mean. They explicitly stated that to achieve the current results, they had to manually translate the problem statements into formal mathematical statements: > First, the problems were manually translated into formal mathematical language for our systems to understand. How I understand what they're saying is that they used gemini to translate the problem statement into formal mathematical language and let DeepMath do it's magic after that initial step. |
|
|