SwiftBar：免费开源Mac插件+AI编程教程
昨天折腾了一下，让 AI 帮我写了个 SwiftBar 插件，实现了简单的代理切换和服务状态监控的功能。SwiftBar 介绍SwiftBar 是一款 macOS 平台上的菜单栏插件工具，我们可以用简单的脚本语言创建自定义菜单栏项目。
656行代码5小时搞定，Axiom AI自主完成两项Erdős猜想形式化证明
近日，AI 初创公司 Axiom 宣布其模型在没有人类干预的情况下，自动完成了两个数学猜想的证明——埃尔德什问题（Erdős Problem）中的 481 号和 124 号。据称，481 号问题仅用时 5 小时，代码量为 656 行；124 号问题则耗时超 24 小时。
大模型的第一性原理：（三）信息论篇
1948 年，Shannon 发表了题为 A Mathematical Theory of Communication 的划时代论文，奠定了现代数字通信的理论基础，推动了人类迈向信息时代²。
英译汉短篇小说(31—4)
The Gioconda Smile(4)蒙娜·丽莎式的微笑BY ALDOUS HUXLEY奥尔德斯·赫胥黎 著肖湘武 译In practice he saw himself spending his mornings in agricultural pursuit, ridin
环球深观察丨“病毒扩散国”的真面目：全世界最该被溯源的实验室在这里
近日，美国国会众院外委会共和党首席成员麦考尔发布报告散布新冠病毒溯源虚假信息，无视中国—世卫组织联合溯源专家组今年2月实地走访武汉病毒研究所后得出“实验室泄漏极不可能”的结论，妄称有充分证据表明新冠病毒于2019年9月前从武汉病毒研究所泄漏。
ASI决赛圈如今只剩三巨头，加速逃逸已启动，Meta与xAI命悬一线
刚刚，AI三巨头已经启动加速逃逸!X上一位大V Andrew Curran表示，如今全球的三大科技巨头，将会以越来越快的速度宣布突破性进展。
美国阻拦墨西哥购买中国这种产品，但墨西哥还是买了
近日，多家美国媒体宣称，在得知墨西哥政府准备花数百万从中国购买扫描设备用于入境口岸之后，美国政府曾于今年5月专门给墨西哥政府写信要求墨西哥不要从中国买这些设备。
艺术家、科学家与工程师未来合作的新模式
活动现场2025年11月27日晚，作为 “2025清华大学艺术博物馆艺术与科技周” 的重要学术单元之一，“从理性的技术脚本，到感性的叙事脚本——艺术家、科学家与工程师未来合作的新模式” 学术论坛在清华大学艺术博物馆顺利举行。
不止于采矿：贵州磷矿的智造出海 Beyond Mining:Smart Manufacturing Takes Guizhou's Phosphate Industry Global
瓮福江山智慧调度中心，一面巨型环形屏幕铺满整面墙。3000亩园区的数字孪生影像缓缓转动，15339台设备、7套核心装置、17个重点项目的温度、压力、能耗数据动态刷新。三千亩厂区，一屏总览。