News for hackers. Stuff that matters.
Re:A neural network solves and generates mathematics problem... by lumost on Saturday January 08, 2022 @02:19PM (#29855125)
although, the correct answer is also likely on the web. With a suitable search query you would see the correct paper/textbook/wiki page with the right answer. A text highlighting model could also likely extract this answer from the text. The training probably achieves a good degree of memorization for these known results.

This begs the question, would we be impressed with a similar compression algorithm for storing past web documents?

Re:A neural network solves and generates mathematics problem... by amelius on Saturday January 08, 2022 @02:22PM (#29855167)
The main achievement is not the compression, but the search functionality (search==solve).
Re:A neural network solves and generates mathematics problem... by kortilla on Saturday January 08, 2022 @02:23PM (#29855173)
Well the trivial test to make sure it’s not memorized would be to change constants in the input that alter the correct answer but don’t make the problem any more difficult if it is actually doing the calculation.