Latest threads

• 所有二元多项式 mod $x^2, y^3$ 最高幂零指数
• Obsidian里数学笔记的类型链接
• 代数整数 $\sqrt{m}$ 和 $\sqrt{n}$ 的最大公约数
• 代数整数的最大公约数
• 幂塔函数 $f_n$ 与 $f_{n+1}$ 在 $x=1$ 处的前$n$阶导数相同
• “推广平行”传递性的失效
• 一个关于“环环相扣”的谜题
• 不对称三角几何不等式
• 导数难题求助
• Seed Prover 在多个形式化数学基准测试中的表现领先