我的 X 阅读

转发：如果你把算法（用数学术语）正确地写在论文里，人工智能就能正确地实现它，这真是太棒了。这让我有更多时间祈祷

Ghostty 1.4 版本的主要障碍是翻译审核。如果我们无法尽快找到审核人员/翻译人员来协助处理以下语言：加泰罗尼亚语、印尼语、爱尔兰语和日语，我们将计划发布翻译存在缺陷的版本。PR 链接：https://t.co/PsYnIx837s

转帖：我们带着愿景创造了 Jev：https://t.co/kOqtEMabsc

每当我走进社区的杂货店时，我都会拿走他们最新进的咖啡饮料。 我想，也许人们新推出的东西可能不错。 它从来都不好。 世界上所有的实验性高蛋白咖啡饮料加起来，都不如一罐健怡可乐值钱。

刚刚获得冰立方诺贝尔奖的那位科学家告诉我真相：从每一个客观标准来看，物理学是一份悲惨的职业。 做它的唯一理由就是痴迷。弗朗西斯·哈尔岑谈了他几十年来背负的不安全感，为什么想象力能胜过智力，以及那本让巴里·巴里什在爱因斯坦身边感到像冒牌货的诺贝尔日志。全集与@nobelprize 获奖者弗朗西斯·哈尔岑：https://t.co/DHGQ0lb9Zr

来源：https://t.co/vlRVfMvbeR

特朗普总统将名称从“AI”改为“SI”，现在斯洛文尼亚的“.si”域名变得极其受欢迎。

我们让设置 Codex Cloud 环境变得更加简单。使用我们开源的 Codex 仓库的示例在此处。 Codex 会处理依赖关系和设置检查，询问任何缺失的内容，并为审查准备环境。

Opus 5.5 是第一次让我觉得可以放心地将推理旋钮从 Max 调到 High。减少推理带来的加速，同时还能信任输出结果，这种感觉很棒。 我希望 GLM-5.5 或 Kimi K3.1 也能带来类似的体验！

⠀ ⠀ 厚实的开源模型 引用：Meet Mistral Large 4，又名 Le Chonk。 • 1T 参数，原生多模态。49B 活跃。 它是美国或欧洲在聚合基准测试中最好的开源权重模型。 • 在关键工作负载上达到最先进水平，包括网络防御、制造和金融，并且在视觉 grounding 上超越了封闭的前沿模型。 • 从端到端在欧洲锻造，并可通过我们自己的 Mistral Cloud 基础设施从欧洲部署。 • 今天通过 API 向所有人开放。私下与网络安全合作伙伴合作。 开源权重发布将于十月底进行。

Mistral Large 4 刚发布，但它完全没通过 BridgeBench 的熔岩灯测试。 没有灯，没有熔岩，只有个烧坏的灯泡。 不过它的确很便宜，整个测试只花了 0.02 美元。 GPT 6.1 Sol 用 0.09 美元就做出了一个能正常工作的熔岩灯。https://t.co/8bjIuuZfV4

由于本周大家都忙着去限定质，我觉得我还是反其道而行之，做点数学吧 1页简报，提出“意识”和“自由意志”在决定论法则下是被强迫的（不仅仅是被允许的） https://t.co/MehBaPlndd @mustafasuleyman @ch402 @Pontifex

如果你是一名研究人员，并想参与 ARC-AGI 基准测试（v4、v5、vN）的红队测试，请与我们联系 资助金、算力额度……只要在此过程中我们能帮上忙的都可以提供

Alexis 曾参与早期的 v3 红队合作 非常激动能邀请她在 ARC 峰会上分享她的工作

ML4 发布倒计时开始 在发布的瞬间收到通知：https://t.co/KXBZxRJpvV https://t.co/QXtmPVhmfs