3 ms·
Interesting. I had in mind a symbolic algebra solver. More like Maxima's `solve` and similar. But maybe a numeric solver could serve a similar purpose? Probably
by pc2g4d 4y ago
Interesting. I had in mind a symbolic algebra solver. More like Maxima's `solve` and similar. But maybe a numeric solver could serve a similar purpose? Probably not, since the existence of a numerical solution does not imply that the equation is solvable analytically.
The actual domain is an elementary algebra course---can we use a neural network to generate algebra problems that have solutions? Using GPT-3 will produce algebra-esque math/text, but not guarantee that the problems are solvable.
Another possibility I'm considering is using a neural network to generate transformations of a solved equation. Start with `x = 5`, then apply operations to both sides until getting to the problem form e.g. `x + 2 = 7`
Gets tricky when the solution has more than one element, like when squaring / taking roots.