Levix

[Levix @levix_dev]

陶哲轩提醒：只盯着 AI 解出了多少数学题，可能伤害数学的长期发展。

开放问题像灯塔。一路探索积累的理解，往往比抵达终点更有价值。

《Math 2.0》提出的方向：用 AI 帮人读懂证明、发现新方法。

我顺带翻译了一下中文版本。

[Levix @levix_dev]

@karpathy

[Levix @levix_dev]

现在连假装开会都有专门的网站了 😂

Fleeting 打开网页就能进入一场假的视频会议，屏幕上有参会者，背景里有人讨论工作，连声音和人物都是合成的。

更离谱的是，它还能帮你往日历里添加假会议，甚至安排一场接一场的会议。

最有意思的细节：当你点击「我要先走了」，其他参会者还会一本正经地跟你道别。

体验地址：https://t.co/Qs0BjR5L06

[Levix @levix_dev]

Mac 上几百万个文件，想找一个文件名，只需要约 1 毫秒？

发现一个用 Rust 写的开源工具 FSearch，专门给 macOS 做全盘文件搜索。

作者在 M4 Max 上测试了 770 万个文件和文件夹，文件名搜索中位耗时仅 1.3ms，文件内容搜索约 9ms。

比较实用的是，它支持模糊匹配和拼写容错。比如把 https://t.co/EyqsLdounB 打成 https://t.co/USGkinbTFG，依然能找到目标文件。还可以按扩展名、大小、修改时间筛选，甚至直接搜索代码内容。

目前主要通过 CLI 使用，需要自行编译安装，还提供 Rust API。

GitHub：https://t.co/oZIWgCls4S

[Levix @levix_dev]

bigwords page 这个东西有一个场景可能可以用上，去机场接人，把 iPad 或者手机横过来就能当接机牌。比如这样：

https://t.co/7NModwhIhR

它会把你输入的话自动放大，适配屏幕，颜色也能改。不用装 App，不用注册。

巧的是，文字和样式都装在链接里。发给另一台设备，打开就是同一块牌子。

[Levix @levix_dev]

https://t.co/za5Uk3dTPI 这个网站做了 216 款可以直接嵌进网页的字符动画，连旋转甜甜圈和彩色雨夜街景都有。

普通 HTML 引入 ascii.js 后，写一个 <ascii-art piece="donut"></ascii-art> 就能放上动画，不需要安装包或配置构建工具。React、Next.js、Astro 也有对应的接入方式。

它还照顾到了系统里开启“减少动态效果”的用户，默认只显示第一帧。项目采用 MIT 协议，可以拿来修改。

做个人主页、技术博客，想保留等宽字体和终端风格，又想让页面有一点动静，可以从这里挑。

[Levix @levix_dev]

@Leooweb3 Understand the universe. @grok Do you think so?

[Levix @levix_dev]

@oran_ge 想问问还有坚守古法编程的人吗？

[Levix @levix_dev]

官方公告
https://t.co/5Kt4R4QpMg

研究手稿、Lean 证明及推理摘要
https://t.co/hqbZoqYlVc

[Levix @levix_dev]

OpenAI 公开了 722 份 AI 数学研究手稿，但论文数量不能直接当成已解决难题的数量。

这些手稿归为 372 个相关研究系列，验证进度各不相同。部分结果提供了 Lean 形式化证明，能交给计算机检查；未形式化的结果，官方明确承认可能有问题。产出它们的内部模型也尚未发布。

做 Agent 的人可以借鉴这里的交付方式，让模型把答案和可检查的产物一起交出来。

以后看 Agent 的成功案例，我会先问它交付了什么验证材料，以及别人能否独立检查。推理文本有多长，回答有多像专家，都不足以回答这两个问题。

[Levix @levix_dev]

@thedankoe https://t.co/CN2ElkM4Ra

[Levix @levix_dev]

如果我能把自己的兴趣变成一批足以吸引广泛人群的社交媒体内容，受众就几乎可以一直增长。接着，我可以把这些兴趣做成足够有吸引力、足够有价值、有人愿意购买的产品，收入也会随之提高。事情当然不止这么简单，但这正是这封长信要讲的内容。 https://t.co/o4L1Xnb0Uw

[Levix @levix_dev]

如果我能把自己的兴趣变成一批足以吸引广泛人群的社交媒体内容，受众就几乎可以一直增长。接着，我可以把这些兴趣做成足够有吸引力、足够有价值、有人愿意购买的产品，收入也会随之提高。事情当然不止这么简单，但这正是这封长信要讲的内容。 https://t.co/o4L1Xnb0Uw

[Levix @levix_dev]

许多人内心真正的动力，与其说是编写代码本身，不如说是享受创造东西、解决问题，以及看到别人使用我们作品的快乐。毕竟，很多人在学会编程以前，就已经因为想制作电子游戏或网站而立志成为开发者。那份创造的愿望，先于代码而存在。愿意放下“怎么做”，才能守住“为什么做”。 https://t.co/8vBmeUVGTF

[Levix @levix_dev]

@HiTw93 刚才试用了一下 Mole，简洁好用 👍。直接下单了，有个建议就是菜单栏的下拉框内容里面是不是可以把“网络”选项添加进去。

[Levix @levix_dev]

This design is really great. I also saw that he could modify the custom image. I generated the avatar I wanted, but I found that the state of my assistant at work was still static, so I asked Muse to help me create a state when the assistant was working, but in fact, this function did not exist. I hope to follow up Able to support. Now I cut back to the default image. It‘s so cute.

[Levix @levix_dev]

Meta 正式发布 Meta VR Glasses：仅约 100g，采用双 2.4K Micro-OLED、眼动/面部追踪和外置 Snapdragon Reality Elite 计算盒，兼容 Quest 内容。主打私人影院、多屏办公与游戏，售价 1300 美元，2027 年春季上市。

[Levix @levix_dev]

@HiTw93 山姆的苹果干算吗，哈哈

[Levix @levix_dev]

如果你把大模型接进过生产系统，很可能见过这种尴尬。人读模型的回复觉得挺明白，程序接过去却犯了难。模型多说一句客套话，JSON 解析可能失败；工具名称拼错一个字母，调用就会落空；让它顺手给个置信度，那个数字又未必和真实正确率有多大关系。 https://t.co/wAMYOXmdK0

[Levix @levix_dev]

Apple 官方尺寸图下载：

https://t.co/3MybcMjhpw

[Levix @levix_dev]

用 AI 生成配件的 3D 外形已经很快，但只看机身长宽高，做出来的东西很可能会挡住摄像头或传感器。

Apple Developer 有个很实用的冷门页面，目前集中放了 90 份设备尺寸图 PDF，覆盖 iPhone、iPad、Mac、Apple Watch、Vision Pro、AirPods、Apple TV、MagSafe 和 AirTag 等产品。

以 iPhone 17 Pro 为例，官方图纸会标出 Camera Control、前后摄像头与传感器的 keepout、闪光灯视场，以及金属、导电和磁性材料需要避开的区域。

做保护壳、支架、3D 打印配件或硬件原型，可以先让多模态模型从对应 PDF 提取约束，人工核对后再开始 CAD 建模。外形画得再像，避让区错了，成品还是可能返工。