MJJ出征
黎曼猜想安排😁 做成skill玩玩💅 重磅！刚刚OpenAI宣布通用模型解决困扰人类80年的单位距离问题，彻底震惊整个数学界 | 原文
Please open Telegram to view this post
VIEW IN TELEGRAM
Telegraph
《纽约时报》万字长文：两年与五天，一份被AI截胡的数学证明
2024年，年轻的数学家Sidharth Hariharan在洛桑见到了菲尔兹奖得主Maryna Viazovska。两人随后启动了一个极具野心的项目：将Viazovska在2016年证明的“8维球体填充定理”，用Lean定理证明器完整地形式化。 所谓“形式化”，简而言之，就是把数学论文中的每一个推理步骤，翻译成计算机可以逐行验证的逻辑代码。这是一项极其耗费心血的工程——论文中看似简短的一行推理，往往需要后台写出几百行代码来填补逻辑跳跃。 Hariharan的团队花了整整两年时间搭建框架、撰写蓝图、定义…
👾2
MJJ出征
Paypal钱多多可以上车 真的像MJJ说的敞开卖了 奥特曼敞开卖 15欧乐，15欧乐 温馨提示：Paypal渠道的兑换费用非常离谱请确保你有足够余额欧元/或自己改银行货币兑订阅 https://www.nodeseek.com/post-725799-1
上个月GPT Team 续费成功11英镑
可改卡绑U卡金融卡消费满减卡，算下均价低于50元2个席位。还算不错了
您在OpenAI - ChatGPT Subscription消费了 11 GBP。
可改卡绑U卡金融卡消费满减卡，算下均价低于50元2个席位。还算不错了
🧵 讨论串 • FxTwitter
小互 (@xiaohu)
今天被很多人忽略的大新闻
Google 发布实时翻译模型 ：Gemini 3.5 Live Translate
- 能在70多种语言之间做到边听边译
- 同时保留说话人的语调、节奏和音高
- 不用等说完才翻，全程只比说话人慢几秒
- 自动滤除噪音，嘈杂环境也能用
- Google Translate App 新增「听筒模式」贴耳即听翻译
- 开发者可通过 Gemini Live API 和 Google AI Studio 直接调用
自动语言检测：
不需要提前告诉模型「我说的是中文，帮我翻成英文…
Google 发布实时翻译模型 ：Gemini 3.5 Live Translate
- 能在70多种语言之间做到边听边译
- 同时保留说话人的语调、节奏和音高
- 不用等说完才翻，全程只比说话人慢几秒
- 自动滤除噪音，嘈杂环境也能用
- Google Translate App 新增「听筒模式」贴耳即听翻译
- 开发者可通过 Gemini Live API 和 Google AI Studio 直接调用
自动语言检测：
不需要提前告诉模型「我说的是中文，帮我翻成英文…
Please open Telegram to view this post
VIEW IN TELEGRAM
❤2
MJJ出征
老黄，快来捞人。还记得我请你吃过饭吗😅 ..... https://fxtwitter.com/globalmoney/status/2034821020142772327?s=46
超微电脑(SMCI.O)跌超 25%，此前公司宣布拟通过股权融资筹集 70 亿美元。
⚡5👻4🎉3🥰1💅1
Please open Telegram to view this post
VIEW IN TELEGRAM
NodeSeek
小心！家里的摄像头可能在偷跑pcdn
真是防不胜防，年初买的拼多多百亿补贴上的海尔的99元家用摄像头400万像素+32G存储卡，近日查看路由器统计数据发现仅仅7天就跑了58.73T真tm无敌了家人们，还好家里这边电信公司应该还没弄这些什么检测排名之类的，我去，真是不知道买个这个摄像头还能偷跑pcdn的
🌚3😍1
龟壳还得献祭一批😇
甲骨文美股 盘前延续跌势，现跌超10%。公司资本开支超预期，新财年计划融资翻倍至400亿美元 。
Please open Telegram to view this post
VIEW IN TELEGRAM
😇4
MJJ出征
Zellij 一个功能齐全的终端工作区管理工具，专为开发者和运维人员设计。它提供类似于终端多路复用器的功能，包括窗口管理、面板切换、插件系统以及浮动和堆叠窗格。Zellij 支持多用户协作，并允许通过 WebAssembly 创建插件。它易于安装，可以通过预构建二进制文件或使用 cargo 编译安装 https://github.com/zellij-org/zellij
Yazelix
鸭子名字不太好听，但还好用诶😅 基本可以淘汰老掉牙的FinalShell
https://github.com/luccahuguet/yazelix
是一个用 Rust 开发的终端 IDE 环境，专注于将 Yazi（文件管理器）、Zellij（终端多路复用器）和 Helix（或 Neovim）深度集成，提供类似图形 IDE 的高效工作空间体验。
鸭子名字不太好听，但还好用诶😅 基本可以淘汰老掉牙的FinalShell
https://github.com/luccahuguet/yazelix
GitHub
GitHub - luccahuguet/yazelix: Yazi and Zellij with smart defaults & awesome plugins give helix/nvim a powerful yazi sidebar, git…
Yazi and Zellij with smart defaults & awesome plugins give helix/nvim a powerful yazi sidebar, git integrations, a configurable popup system (lazygit, a config ui, etc), zoxide integrations...