日志

分享 点评一下最近用到的AI工具

唐家山 2026-2-12 09:28

Gemini 3.0 Pro：是最为全面和稳健的，是我在定理证明时用到的主要工具。但是这个工具太有自己的主见了，经常把问题复杂化，而且会陷在某个特定细节中出不来。当然，可能其它工具也有类似的问题，只是我用的比较少，没有发现。 Kimi 2.5：这个工具的能力挺强的，对某些引理的证明可以直接输出完全正确的证明。但是有的时候 ...

88 次阅读|6 个评论 热度 14

分享 低村晚稻上位和女帝

五月 2026-2-10 10:35

低村晚稻本来是右翼抛出的一次性政治石头。特意让她来说最冒险的话，做最冒险的事。如果日本选民被跟中国开战的前景吓住了。那么随时可以将低村晚稻抛掉，不影响右翼大佬的嗨皮人生。挑衅中国的时候连右翼大佬们也不敢预测原来日本国民这么给力。结果一次性石头成功上位为女帝。 上一次获得这种大胜的首相是低村晚 ...

350 次阅读|6 个评论 热度 35

分享 永兴岛今夕

常挨揍 2026-2-9 20:43

光看南沙填岛了，没注意西沙也有，当然规模小多了跟南沙尤其渚碧岛美济礁这种环礁没法比。 右上绿色植被覆盖部分是石岛，跟永兴岛其实是两个岛，离得近而已。 照片日期是15年3月，跟南沙填岛同期，石岛和永兴岛之间白色部分是当时新填的部分。 这个是25年3月的样子。比原有面积增加了约0.5平方公里。 ...

375 次阅读|5 个评论 热度 22

分享 狗AI 起草的《文明安全与战略警示报告》

龙血树 2026-2-8 23:52

　　　　　　　 　　　　　　　　　　　 　　　　　　　　 　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　 　　　　　　　 　　　　　　　　　　　　　　　 　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　 ...

39 次阅读|3 个评论 热度 9

分享 美国国债的数据

testjhy 2026-2-8 10:20

从下列网站可以查到美国国债的数据 https://fiscaldata.treasury.gov/datasets/debt-to-the-penny/debt-to-the-penny 美国国债从37万亿到38万亿是2025.8.11~2025.10.23，但到2026.2.5最新数据才38.6万亿 是不是上次关门(2025年9月底到11月中旬)政府只能借钱过日子，所以国债快速窜升。国会批准预算后就有钱花了，借钱速 ...

287 次阅读|1 个评论 热度 17

分享 特朗普画的新世界地图

凡卡 2026-2-7 22:26

当时特朗普抓了委内瑞拉的总统，我就有个感觉：美国是想搞战略收缩了，他想把西半球保留给美国，让日韩欧洲独自去对抗中俄。后面特朗普开始对丹麦格陵兰和加拿大施压，也是这个战略。 据说这个图是特朗普画的，他不是刚刚才有的这个想法，他候任的时候就说过要拿下加拿大和格陵兰，大家都觉得他是说疯话，现在才明白特朗 ...

358 次阅读|12 个评论 热度 27

分享 无奖竞猜：哪个省的基督教/天主教教堂最多

五月 2026-2-7 11:14

友情提示：浙江排第二。

225 次阅读|8 个评论 热度 17

分享 （跟风）脑洞大开说小胡子

五月 2026-2-7 10:59

小胡子在发动红胡子打大胡子之前的决策一直是最优决策，包括强烈希望与带英媾和。如果跟带英和平，就是个德语版的欧盟。接下来慢慢消化德版欧盟的海外殖民地，可以嗨皮到永远。德三碰到无敌嘴炮邱胖确实运气不好。对带英来说接受德三版欧盟然后跟老美合伙去抢髮国荷兰比利时的海外殖民地是最佳策略。 到这时德三仍然处 ...

25 次阅读|0 个评论

分享 脑洞大开-德国

semtex 2026-2-7 00:11

我们知道德国是一次，二次世界大战的核动力。 德国主导了二次工业革命，国力大增，却没有相应的待遇。不平则鸣，折腾出这么多事。 德国命不好，国土是四战之地，腹背受敌。所以德国的核心策略是避免两面作战。当然也两次掉进同一个坑里。德国队主要思路是集中兵力，快速击败西线之敌，然后主力内线调动，击败东线之敌 ...

130 次阅读|10 个评论 热度 13

本页有 1 篇日志因作者的隐私设置或未通过审核而隐藏