| RSS |
| 有没有 token 用不完的佬一起做几何定理证明器 bombless • 7 天前 • 最后回复来自 XuHuan1025 | 6 |
| 孙割搞了个 JustinSunPrize, 这是把数学证明干成 POW 挖矿了 Hconk • 10 天前 • 最后回复来自 xndeye | 1 |
| 从想到问题到让 AI 证明,只需要 3 天:霍普夫猜想(Hopf Problem) jacketma • 23 天前 • 最后回复来自 Alex222222222222 | 1 |
| 如何使用数学击败体彩 haima100 • 25 天前 • 最后回复来自 haima100 | 8 |
| 我把 702 个数学知识点画成了一片可漫游的「星系」 wizarot • 8 月 15 日 |
| 居然梦见了自然数之和也是自然数的证明 good1uck • 4 月 20 日 • 最后回复来自 Eleutherios | 4 |
| 猜不重复 4 位数,只能回答同位命中多少个,有无最快必胜办法? est • 2025 年 11 月 5 日 • 最后回复来自 openstackceph | 7 |
| 闭集 E 与一点 p(p 不属于 E)的距离是否有可能不大于 0? huzhikuizainali • 2025 年 9 月 7 日 • 最后回复来自 cbz1998 | 4 |
| 如果 X 是紧度量空间,那么连续映射 f 映入 Y 空间的 f(X)也是紧的,证明过程的一个问题! huzhikuizainali • 2025 年 7 月 15 日 • 最后回复来自 Alex222222222222 | 4 |
| [求助] 大数量的方程组求解( Python sympy),递归超过深度怎么解决 patrickpu • 2025 年 6 月 7 日 • 最后回复来自 necomancer | 16 |
| 闭集的无穷并证明过程有逻辑断链吧? huzhikuizainali • 2025 年 3 月 2 日 • 最后回复来自 necomancer | 4 |
| 闭区间连续函数有界的证明过程中已经找到了矛盾的区间 U(c,η),为什么后续还要找闭区间[am,bm]? huzhikuizainali • 2025 年 2 月 21 日 • 最后回复来自 yxd19 | 11 |
| 有没有 latex 的在线版本转换工具? huzhikuizainali • 2025 年 1 月 22 日 • 最后回复来自 guyeu | 1 |
| 闭区间连续函数有界的证明为什么都要用到数列? huzhikuizainali • 2 月 2 日 • 最后回复来自 flint7788 | 7 |
| 连通性推出区间的证明过程中,全称量词和存在量词是不是用错了? huzhikuizainali • 2025 年 1 月 4 日 • 最后回复来自 halfdb | 3 |
| 无穷大量与无界量、无界函数三者之间究竟有什么区别? huzhikuizainali • 2024 年 12 月 12 日 • 最后回复来自 Alex222222222222 | 20 |
| 题解分享: A 有 1 块钱, B 有 10 块钱,一次赌一块钱,每次双方赢的概率都是 50%。问 A 能把 B 赢光的概率是多少? huangyezhufeng • 2024 年 11 月 9 日 • 最后回复来自 huangyezhufeng | 2 |
| 看《概率导论》的一个例子卡住了,这个是怎么算出来的 xing393939 • 2024 年 8 月 22 日 • 最后回复来自 Sawyerhou | 3 |