Show HN: LLM CAS tools (math verification)(auteng.ai)4 points·by llabs·vor 7 Monaten·1 commentsauteng.aiShow HN: LLM CAS tools (math verification)https://auteng.ai/#cas-demo1 commentsPost comment[–]llabs·vor 7 MonatenreplyUsing an LLM with CAS math validation tools to validate it's work and then to generate a markdown document with CAS blocks: :::cas mode=chain engine=sympy assumptions="x \neq 1" $$ \frac{x^2 - 1}{x - 1} $$ $$ = \frac{(x-1)(x+1)}{x-1} $$ $$ = x + 1 $$ ::: Which you can run to check it.
Which you can run to check it.