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
❤1
MJJ出征
老黄，快来捞人。还记得我请你吃过饭吗😅 ..... https://fxtwitter.com/globalmoney/status/2034821020142772327?s=46
超微电脑(SMCI.O)跌超 25%，此前公司宣布拟通过股权融资筹集 70 亿美元。
⚡3👻3🎉2🥰1💅1