document.getElementById("med-ftitle").innerHTML=`利用HR、Otter和Maple在数论中进行自动化猜想生成
`;