Latest threads

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