请启用 JavaScript 并关闭广告拦截器
每日HackerNews RSS
本文探讨了如何通过寻求形式化概念背后的“直觉结构”，从而超越数学学习中的死记硬背。作者以奇异值分解（SVD）为主要案例，展示了复杂的线性变换如何被简化。
传统教材往往将数学呈现为成品，掩盖了通向发现的实验性和试错路径。作者从识别复杂运算中简单模式的目标出发，将 SVD 解释为一个几何过程，而非抽象公式。他们展示了任何线性变换都可以分解为三个逻辑步骤：输入正交基、一组缩放因子（奇异值）以及输出正交基。
这种分解揭示了 SVD 的本质是识别空间中“活跃”与“静止”的方向，从而实现高效的数据压缩和降维（PCA）。最终，作者将这些概念与信息论和熵联系起来，将数学结构视为识别冗余的工具。文章在统计压缩与算法复杂度之间架起桥梁，为探讨为何某些模式天生比其他模式更易于描述奠定了基础。
抱歉。
很高兴看到访问权限恢复，但我仍好奇到底发生了什么改变。这些模型当初因为担忧而受到限制，显然是因为问题很严重。结果不到三周后，它们又被恢复了。那么，最初的风险是被夸大了，还是增加了新的防护措施，又或者是 Anthropic 向政府证明了这些问题是可以管控的？我不是在找茬，只是想要一个直接的回答。如果某样东西严重到需要对用户下架，随后又突然变得安全可以恢复使用，请解释一下这中间发生了什么。
抱歉。
发布
登录
注册
发布
leo 🐾@synthwavedd
🚨 突发：商务部长霍华德·卢特尼克（Howard Lutnick）已正式解除对 Anthropic 公司 Fable 5 的出口管制令。
下午 11:40 · 2026年6月30日
12.16万次浏览
63 转发
138 引用
1200 点赞
129 书签
阅读 63 条回复
刚接触 X？
立即注册，获取专属个性化时间线！
使用 Google 账号注册
使用 Apple 账号注册
创建账号
注册即表示您同意《服务条款》和《隐私政策》，包括 Cookie 使用。
相关人物
leo 🐾@synthwavedd
关注
当前趋势
条款 · 隐私 · Cookie · 无障碍 · 广告信息 · 更多
© 2026 X Corp.
不错过正在发生的事
X 的用户总是第一时间了解动态。
登录
注册
抱歉。
Loko Scheme 0.13.0 现已发布，可从以下地址获取：适用于 64 位 PC 的可启动磁盘镜像可从以下地址获取：签名使用 GnuPG 密钥 0xDD839B748F10AD4D 生成。Loko Scheme 0.13.0 修复了错误、提升了性能并增加了功能。更多变更摘要请参阅发行包中的 NEWS.md 文件。Loko Scheme 是一款优化型 Scheme 编译器，可为裸机、Linux 和 NetBSD/amd64 构建静态链接的二进制文件。它支持 R6RS Scheme 和 R7RS Scheme 标准。Loko Scheme 的网站是 https://scheme.fail，您可以在该网站找到发布版本压缩包和手册。此外，还有一个邮件列表：https://lists.scheme.fail。Loko Scheme 采用 EUPL v. 1.2 或更高版本授权。
抱歉。
我们已收到通知，美国商务部已解除对 Claude Fable 5 和 Mythos 5 的出口管制。我们将于明日开始恢复相关访问权限，并会尽快发布后续更新。感谢广大用户在此期间的耐心等待，同时也感谢所有协助我们重新部署模型的工作人员。
巨石阵寻觅者 Hengefinder
23 天前
您好，请提供您需要翻译的具体内容。
抱歉。
Hatari - Atari ST/STE/TT/Falcon 模拟器 正在下载... 调整画布大小 锁定/隐藏鼠标指针
抱歉。
表格数据是企业级机器学习的基础，然而 XGBoost 和随机森林等传统方法仍然非常耗费人力。这些模型需要大量的手动工作，包括繁琐的超参数调整和特定领域的特征工程，才能获得可靠的性能。 为了解决这些瓶颈，我们推出了 **TabFM**，这是一种专为表格分类和回归设计的新型基础模型。受大型语言模型上下文学习（ICL）能力的启发，TabFM 将表格预测重新构建为零样本任务。这种方法消除了手动模型训练和复杂预处理的需要；用户只需通过单次前向传播，即可对未知数据生成高质量的预测。 TabFM 通过消除结构化数据通常带来的技术壁垒，简化了机器学习的生命周期。目前，该模型已通过 Hugging Face 和 GitHub 对公众开放。
Mistral AI 推出了 **Leanstral 1.5**，这是一款专为形式化证明工程设计的专用模型。该模型针对自动定理证明和自动形式化进行了优化，拥有 1190 亿总参数（其中 65 亿为激活参数）以及 256k 的上下文窗口。
作为 Mistral 更广泛生态系统的一部分，Leanstral 1.5 集成了该平台的全套开发者工具，包括聊天补全、函数调用、智能体工作流、结构化输出和 OCR 功能。它支持多种模态和功能，例如文档问答、嵌入、多模态转录及语音服务。此次发布旨在为技术和形式化语境提供精确支持，进一步强化了 Mistral AI 为研究人员和开发者提供专业高性能模型的承诺。
近期关于 Mistral 发布“Leanstral 1.5”的 Hacker News 讨论，凸显了用户的不满以及对欧洲科技格局的广泛担忧。
许多用户反馈入门体验不佳，指出了技术错误、令人困惑的“实验室（Labs）”设置以及难以联系的客户支持。这引发了关于欧洲软件公司现状的广泛讨论。批评者认为，欧洲科技行业常因服务文化欠缺、风险投资匮乏以及官僚主义壁垒而受阻，这些因素使得美国巨头占据优势。一些评论者认为，欧洲公司之所以难以竞争，是因为缺乏美国同行那种“拼劲”或规模，导致对美国技术的过度依赖。
相反，支持者则为 Mistral 辩护，指出其模型通常具有极高的成本效益、更快的速度，并且在 OCR 或结构化数据提取等特定利基任务中表现出色。尽管承认 Mistral 可能在“前沿”基准测试中并非领先，但支持者强调了支持欧洲替代方案以避免完全依赖美国和中国供应商的重要性。归根结底，该讨论反映了一种两极分化的观点：一些人认为欧洲生态系统正在衰落并陷于平庸，而另一些人则认为这是一个正在崛起、能够提供实用、主权且价格具有竞争力的工具的行业。