Latest threads

• 幂塔函数 $f_n$ 与 $f_{n+1}$ 在 $x=1$ 处的前$n$阶导数相同
• “推广平行”传递性的失效
• 一个关于“环环相扣”的谜题
• 不对称三角几何不等式
• 导数难题求助
• Seed Prover 在多个形式化数学基准测试中的表现领先
• 数学家眼中“无聊”的 Bruck loop
• Gemini“学习教练”角色
• 圆锥曲线上距离给定点 $P$ 最近的点 $M$ 尺规作图
• 今天在线列表多了好多“人”