In our contribution we describe some on-going improvements concerning the Automated Reasoning Tools developed in GeoGebra Discovery, providing different examples of the performance of these new features. We describe the new ShowProof command, that outputs both the sequence of the different steps performed by GeoGebra Discovery to confirm a certain statement, as well as a number intending to grade the difficulty or interest of the assertion. The proposal of this assessment measure, involving the comparison of the expression of the thesis (or conclusion) as a combination of the hypotheses, will be developed.

翻译：本文介绍了GeoGebra Discovery中自动推理工具正在进行的若干改进，并通过不同示例展示了这些新功能的性能。我们阐述了新的ShowProof命令，该命令不仅输出GeoGebra Discovery为确认某一命题所执行的不同步骤序列，还输出一个旨在评估该断言难度或趣味性的数值。本文将进一步发展这一评估指标的提议，该指标涉及将结论（或命题）表达式作为假设组合的比较分析。