日志

分享 AI辅助做定理证明的几点心得

唐家山 2025-11-20 16:40

1. 提前写出非形式的证明。这一点最关键。后面需要反复用这些非形式证明与AI进行交互，给出提示。 2. 相信AI的建模和构造能力，但是不要指望它们的自我纠错能力。如果AI提供的证明代码有问题，不要浪费时间在同一抽象层级反复询问AI。 3. 尽可能细化和分解自己的证明，降低证明的复杂度。 4. 如果已经证明到单句，可以 ...

103 次阅读|5 个评论 热度 10

分享 手欠一则：从Ventoy到开不了机到最终恢复

伯威 2025-11-20 14:25

手欠开场：决定试试Ventoy。U盘装了Ventoy后塞了两个ISO进去，准备重启U盘启动试试。 Dell台式机该U盘无法启动，问了AI建议关掉secure boot。关掉后U盘重启成功，Ventoy可以从两个ISO任选并启动。 接下来问题来了：在BIOS设置里顺手调整了某些boot sequence item，实际上鼠标乱点也不知道发生了什么。后来又restore了defa ...

94 次阅读|2 个评论 热度 9

分享 土共这次的目标

下山虎 2025-11-19 08:50

抛砖引玉一下，猜测土共这次的目标短期钓鱼岛实控，远景目标宫古海峡无害化 2024年2月3日，日本共同社报道称，中国海警船自2024年1月开始，多次通过无线电通信设备向在钓鱼岛及其附属岛屿附近航行的日本自卫队飞机发出警告，以侵犯中国领空为由，要求其撤离该区域。 2024年1月27日,日“鹤丸”号渔船和数艘巡视船非 ...

461 次阅读|11 个评论 热度 24

分享 减速，再减速

雷达 2025-11-18 08:55

上一份工作是我在加拿大这么多年最忙的一家，当然是8小时之内，加班是偶尔的，养成了一些勤劳高效的习惯。 刚过来还是有惯性，干得贼快，领导称赞了两回以后，我就觉得要减速了。上周他又大大的称赞一番，看来减得不够, 要加大减速力度。 吃力不讨好还招同事恨的事儿咱可不能干，做人一定要厚道 。 ...

312 次阅读|7 个评论 热度 42

分享 AI心理咨询一小例，有点意思。

伯威 2025-11-17 10:21

刚才俺找5个AI做了一样的心理咨询，如下。AI的反应都不错，有点意思。个人感觉GPT和Gemini质量更高些。AI回复俺就不贴了。 心理咨询：早上上班我出了地铁，看到一辆共享单车就走过去准备扫码骑车。这时我身后有一个男生在扫码另一辆单车没扫出来，他朋友和他说前面还有一辆，也就是我目标的那一辆。这时我在他前面，所 ...

218 次阅读|8 个评论 热度 14

分享 2025回国散记-4

马鹿 2025-11-16 07:17

*********************************************************************************************************************************************************************************************************************************************************************************************************** ...

104 次阅读|21 个评论 热度 30

分享 狸猫换太子？

孟词宗 2025-11-16 06:30

中国人历史长，也似乎特别热衷于宫闱秘事。一个自几千年前就不断流传的模板便是“狸猫换太子”。 “狸猫换太子”本来说的是宋朝的事。而且还是皇室内部的替换。但这种类型的八卦可不是宋朝开始的。 这类八卦的鼻祖大概要算春申君和楚幽王的故事： 楚考烈王无子，春申君患之，求妇人宜子者进之，甚众，卒无子 ...

195 次阅读|0 个评论 热度 15

分享 回乡偶感 2

semtex 2025-11-16 01:22

国内的物价，服务真是物美价廉。 好吃的太多了，水果很便宜，刚下来的红苹果两块一斤，大柿子四块，太大了，我只敢一天吃一个。玫瑰香葡萄七块。糖葫芦五块一串。各种梨。可惜我小时候最喜欢的香水梨市面上没有。 我妈住院期间，我小姨来看她，住了一段时间。小姨家经济条件不错，不过和国内的老人一样，舍不得花钱 ...

84 次阅读|4 个评论 热度 16

分享 高影响因子期刊发表的科研工作的一些感想

西行的风 2025-11-15 23:49

一是要有颠覆性，推翻了原来的一些大家默认的观念，例如拉伸材料不可能同时横截面膨胀。或者结晶性好，性能才好。 二是要提出一些新概念，新的切入点，新的解释，之前别人没有想到或是发现的。而且对这个领域很重要。 如果为了炫技而炫技，用新方法研究旧体系，但没有突出新发现，就会死的很惨。 我还有个感觉，就是创 ...

16 次阅读|3 个评论 热度 8

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