在全球最后一场数学竞赛 the last math competition 激烈的竞争下，全球参赛选手提交了300多次pull request，贡献了4万多行的lean4进行了完备、完整、清晰的数学猜想的证明后，
党哥终于跌落到全球第6名的好成绩。
https://github.com/The-Last-Math-Competition/The-Last-Math-Competition
每日吃瓜｜优质资源｜优质信息
Post #27380
68
- Oct 4, 2026以前的男生追女生VS现在的男生追女生，现代女人吃着自由主义的红利，把责任和契约精神扔的一干二净，封建保底也不放过，还试图单方面规训男人继续履行本就不该履行的义务。 每日吃瓜｜优质资…
- Oct 4, 2026我实在不理解，只是跟外国人聊天吃饭合影怎么就能让她如此兴奋？ 每日吃瓜｜优质资源｜优质信息
- Oct 4, 2026国内女性主义的尽头：有舔狗供养的时候大喊“独立女性”，捞不到钱了就化身弱女子继续找宿主寄生，女性主义的最大特点就是自适应价值观，在不同的阶段不同的场景对男人也有着不同策略。 每日吃…
- Oct 4, 2026班主任让全班女生投票选出最讨厌最淘气的七个男生，把这七个男生全部放在靠窗的座位，然后七个人组成联盟，到了冬天直接把窗户全部打开，自己抱着暖气。其他同学都苦不堪言。 最后班主任找家长…
- Oct 4, 2026每日吃瓜｜优质资源｜优质信息
- Oct 4, 2026#频道互推 你不知道的内幕消息🅥 星辰观察站 互联网研习社（破解软件/游戏 | 实测） 草台班子世界 优秀設計分享 优质「资源」收藏夹 烫手热知识 🍉 每日吃瓜【人间观察实录】…