Re:How Math Academy pulled me out of the Valley of Despair
by zozbot234 on Thursday March 06, 2025 @03:35PM
(#43284837)
> Its also much harder to test for in standardized tests.
You could test it using interactive proof verifiers. This would also make it a lot easier to teach, since proof verifiers can handle even very complex mathematical proof via the repeated application of a mere handful of rules. (The rules are also surprisingly similar to the familiar "plug and chug" workflow of school-level math, only with different underlying objects - lemmas and theorems as opposed to variables and expressions.)
You could test it using interactive proof verifiers. This would also make it a lot easier to teach, since proof verifiers can handle even very complex mathematical proof via the repeated application of a mere handful of rules. (The rules are also surprisingly similar to the familiar "plug and chug" workflow of school-level math, only with different underlying objects - lemmas and theorems as opposed to variables and expressions.)