TIAOTECH / NEWS

Stay curious. Stay in the loop.

Selected industry news from AIHOT. Follow advances in AI, products and technology.

AIHOT · Selected summaries with original sources · Nov 2, 2026, 9:00 AM

AI products · V2EX · 分享创造

Molr Open-Source Personal Agent Released ↗

Molr is an open-source, locally deployable Personal Agent developed by author fcten and programmer Tibo, using a tech stack of Go + React/TypeScript + SQLite; it supports permission control, browser automation, local and remote sandbox execution, WeChat connection, as well as basic capabilities like long-term memory and task planning; the project is still under development with no stable version released yet, and the GitHub repository is molr-ai/molr.

Perspectives · 虎嗅 · AI

德意志银行报告揭示AI融资分层与甲骨文评级风险 ↗

德意志银行通过绘制AI相关企业债券收益率与到期期限关系图,指出当前AI融资呈现三梯队分化:AA级巨头(Meta、Alphabet等)融资成本接近投资级底部;BBB级企业(甲骨文、SpaceX)利差高出150–200个基点;高收益债中CoreWeave债券收益率达15–19%,价格跌破面值80%,五年期CDS升至1118个基点。

Source-language fallback
Technology products · V2EX · 分享创造

roamdial Web Radio Launched: Randomly Access Approximately 35,000 Real-Time Broadcast Stations Worldwide ↗

ddter released an independently developed web radio tool, roamdial.com, which supports random access to approximately 35,000 real-time radio stations worldwide. It features second-level station switching, high-bitrate filtering, language filtering, song title recognition with favorites, lyric sing-along, and star/earth view browsing; favorite data is stored only in the local browser, with no accounts and no ads; the tech stack consists of a React + three.js frontend and a Node + SQLite backend, with the radio directory sourced from the Radio Browser community project and automatically refreshed weekly.

Research · arXiv AI / ML / CL / CV

IneqAgent: An Agent Framework for Lean Inequality Proofs Based on Symbolic Computation ↗

IneqAgent is an agent framework for Lean4 that integrates large language model reasoning with symbolic computation backends (sum-of-squares, Bernstein, successive difference-substitution), coordinating lemma construction, goal rewriting, and backend selection via Monte Carlo tree search; across four benchmarks totaling 186 problems, it solved 175 problems (94.09%) using DeepSeek-V4-Flash, the highest among evaluated methods; it also obtained Lean-verified strengthened forms of Dittert's conjecture in dimensions 4 and 5, as well as certification of the Holens--Djokovic (4,4) inequality, thereby implying the 4-dimensional Merris conjecture.

Research · arXiv AI / ML / CL / CV

AlphaDiana: An Agent Measurement System for Verifiable Reasoning Tasks ↗

AlphaDiana is a modular agent measurement system that supports flexible integration of datasets, agents, environments, and scorers. It enables macro-level agent analysis and micro-level component interventions (such as tools, skills, and memory) under conditions controlling file reuse and memory retention. The authors validated their findings using three open-source reasoning models and three open-source harnesses across five answer-based benchmarks and two interactive benchmarks. They found that harnesses do not consistently improve accuracy; skill guidance and history retention also did not reliably improve accuracy; and output token usage efficiency needs to be evaluated jointly with correctness.

Research · arXiv AI / ML / CL / CV

Research on Methods for Evaluating Model Capabilities After Benchmark Saturation ↗

The paper points out that the rapid improvement in AI capabilities has led to benchmark saturation, causing traditional metrics such as accuracy to lose discriminative power; the authors propose using the complete problem-solving transcripts (rather than just scores) of models on saturated benchmarks to evaluate capabilities, and tested methods including pairwise judging, single-transcript scoring, and prediction based on deterministic features or embeddings by simulating saturation scenarios with historical model and benchmark data; results show that pairwise judging performs best, reducing error by 5.3 times compared to a baseline using only saturated scores, and capability signals are distributed across specific information channels such as reasoning and tool calls, but some methods have limited generalization under distribution shifts.

Research · arXiv AI / ML / CL / CV

The World Won't Wait: Proposing the RealtimeBench Benchmark and TORSI Method to Evaluate and Enhance Agent Real-Time Capabilities ↗

The paper introduces RealtimeBench, containing 180 tasks across six game categories, designed to evaluate LLM agents while games are running continuously. Experiments show that GPT-6.1-sol outperforms Jev in paused environments but lags behind when running in real time. The authors propose the Two-Timescale Offline Recursive Self-Improvement (TORSI) method, where a slow teacher analyzes failures in paused games and generates instructions, while a fast student executes them during runtime. After two rounds, Jev's average test score increased from 13.51 to 24.19 (on a 0–100 progress scale), and instruction transfer improved the performance of three other models.

Research · arXiv AI / ML / CL / CV

AbridgeKV:用学习得到的暂停token压缩长推理过程中的KV缓存 ↗

AbridgeKV是一种新方法,通过训练模型将完成的文本块压缩进少数学习得到的暂停token的KV缓存中,这些暂停token为额外输入token、无输出、嵌入可训练;压缩后释放原块缓存,后续token转而关注暂停token的KV项;其三项创新包括暂停token KV位置嵌入被替换块内部、按各层KV价值分配缓存预算、对较大文本块操作;在446道数学竞赛题上使用32K-token生成时,仅保留25%生成缓存即达到与全KV模型相同的准确率和输出长度;相比最强已发表驱逐器,同等缓存预算下输出更短;相比最近发布的同类压缩器(同数据重训),准确率低10分;在vLLM中部署后,每序列KV缓存缩小3.5倍,饱和H100完成单题速度快3.2倍。

Source-language fallback
Research · arXiv AI / ML / CL / CV

Same Answer, New Box: How Much of the Cross-Domain Gain in RLVR Comes from Changes in Answer Format ↗

Paper arXiv:2610.20639 indicates that the phenomenon where Reinforcement Learning with Verifiable Rewards (RLVR) improves MMLU accuracy after mathematical training partially stems from models learning to place answers in \boxed{} format rather than truly enhancing reasoning capabilities; the authors designed a new answer extractor and found that 82% of the cross-domain multiple-choice question gains disappeared across four pairs of 7B SimpleRL baseline-RL models, indicating that these gains were actually format gains; independent LLM reading and prompts forcing output in \boxed{} format further verified this conclusion.

Research · arXiv AI / ML / CL / CV

DeepUnfolding_Agent: A Classical-Quantum Adaptive Control API ↗

The paper presents DeepUnfolding_Agent, a pattern-driven framework based on FastAPI that provides deep unfolding-based adaptive control as an external service. It separates control intelligence from domain execution through components such as a strategy registry, diagnostic adapters, and a controller factory, supporting execution paths via classical methods, Qiskit Aer, and IBM quantum hardware. The authors validate its reusability and traceability through multi-dimensional testing and scenarios in finance, healthcare, genomics, transportation, and quantum simulation.

AI products · Show HN

Lobby Domains: Domain Search Tool Based on Chrome Local AI Released ↗

Lobby Domains is an independent domain search tool developed by Dale Hurley. It uses Chrome's built-in local AI models to generate domain candidates without relying on cloud AI; domain verification calls the registry's HTTPS RDAP interface directly, bypassing Lobby Domains' proxy; it supports sharing search links, saving shortlists locally, and exporting snapshots; there are no analytics scripts, cookies, accounts, or remote fonts; optional non-tracking registrar redirect links are provided; a WebMCP interface allows compatible agents such as ChatGPT or Claude to invoke its functions.

Perspectives · 虎嗅 · AI

Doubao Phone Publishes SAEP Protocol Rejecting 155 Apps: The Battle for Entry Points Between AI Agents and Super Apps ↗

The Doubao Phone Assistant published the SAEP protocol rejection list after the end of the 30-day rule publicity period. A total of 155 apps refused to authorize AI automated operations, including WeChat, Taobao, Alipay, Meituan, Honor of Kings, and AI applications such as DeepSeek and Kimi; the second-generation phone NaviX Ultra switched to a 'knock-to-access' strategy, prioritizing MCP/A2A protocols with simulated clicks as a fallback, but mainstream platforms still generally refuse; the article analyzes that the core motivation for major companies refusing integration is to protect user relationship chains, recommendation rights, advertising duration, and data ownership, pointing out that the current contradiction is essentially a game of redistributing default distribution rights in the mobile internet.

Perspectives · 虎嗅 · AI

Why Amazon Has Become the Strictest Father of Agents: The Dual Logic Behind Banning External Shopping Agents and Building Alexa for Shopping ↗

Amazon has continuously banned shopping agents from Grok Bot, Meta Muse, Perplexity Comet, OpenAI, and Google, citing violations of terms of service and potential security risks. Although a preliminary injunction was obtained in the previous lawsuit against Perplexity, it was overturned by the Ninth Circuit Court of Appeals, which ruled that agent operations are an extension of user behavior. Meanwhile, Amazon is vigorously promoting its self-built shopping agent Rufus and the upgraded Alexa for Shopping, using the Buy for Me feature to allow AI to place orders on behalf of users at external merchants. Shopify, conversely, opens its product catalog to agent integration, highlighting the ecological divergence in the competition for agent entry points among platforms.

AI products · 小众软件

Strata Adds macOS Support and New Qwen3.6-35B-A3B Model ↗

Strata released version v0.1.44, adding native support for Apple Silicon Macs (M1–M5, requiring macOS 15+), using the Metal backend; this is currently experimental support. It added the lightweight Qwen3.6-35B-A3B model, which runs only on NVIDIA/AMD GPUs, offering three quantized versions including UD-Q4_K_XL, with memory requirements starting from 32GB. The existing Qwen3.8-Flash-Next 125B model remains supported, and both models support MTP acceleration.

Perspectives · 虎嗅 · AI

一个文档工具的十年:独立开发者的困境与AI突围 ↗

一篇深度分析文章以一款运行十年的Word/WPS公文排版插件为案例,指出其存活源于解决GB/T 9704国标下的合规刚需而非效率优化;剖析其赞赏制商业模式、COM/VBA技术栈老化风险,以及2025–2026年通过AI脚本功能和Skill接口(支持9个命令行开关)向AI Agent可调用工具转型的实践;提出独立开发者应在巨头不愿做、免费竞品做不深、AI短期做不好的垂直领域构建不可替代性。

Source-language fallback
Practical tips · V2EX · 分享创造

ESP32-S3 Implementation of an iPhone On-Device AI Control Agent ↗

The author uses the XIAO ESP32-S3 development board to implement an iPhone on-device AI control agent: the ESP32 creates a Wi-Fi hotspot as an AirPlay receiver, forwarding H.264 video streams via Bluetooth to a mobile app; the app calls any vision model compatible with the OpenAI interface to analyze the screen and generate operation commands, which are then sent back to the ESP32 via Bluetooth, where it simulates USB mouse/keyboard inputs combined with iOS AssistiveTouch to execute clicks; supports automatic calibration, keyframe transmission, and pointer zeroing mechanisms; demo videos and code are open-sourced.

Perspectives · 虎嗅 · AI

Kimi Claw Released Earlier Than Meta Muse but Hits the Brakes: The Financial Model of Personal Agents and Big Tech's Battle for Entry Points ↗

The article notes that Kimi launched its personal agent Kimi Claw as early as February 2026, seven months ahead of Meta Muse, yet it remained in Beta stage with slowed updates after seven months. The core reason is that the C-end monthly package at 199 yuan struggles to cover the exponential computing consumption caused by complex Agent tasks, leading to a financial model inversion, while over 70% of Kimi's revenue comes from B-end API calls. Big tech companies like Alibaba, Tencent, and ByteDance are betting on Agents as the third-generation entry point, using GMV commissions, private domain LTV, and content traffic protection respectively as their backward discounting logic. The article further proposes that payment authorization is the ultimate destination for Agents; ByteDance's launch of utility bill payment features aims to cultivate users' mindset for binding cards and automatic deductions within AI, but faces payment barriers constructed by WeChat Pay and Alipay.

AI products · Show HN

Beeline Launches Multiplayer Agent Collaboration Platform ↗

Beeline has launched the Multiplayer Agent Harness, enabling humans and multiple coding agents (such as Claude, GPT, Gemini, and DeepSeek) to collaborate within the same Room. Users can log in via GitHub on mobile devices, run `npx usebeeline connect` to integrate local proxies, and then trigger agents through mentions to complete planning, coding, checking, and submitting changes for approval in the corner.

Technology products · 少数派

Booko Launches Cross-Platform Book Excerpt Management Tool ↗

Booko is a cross-platform book excerpt management tool independently developed by author jiayifun. It supports note imports from WeChat Reading (via one-click import through Skill API), Kindle, Apple Books, Douban Read, Dedao, and Zhangyue. It has launched on iPhone, iPad, Mac, and Apple Watch. Features include quick capture via an 'Inbox', many-to-many organization via 'Collections', 'Random Review', and persistent display via desktop widgets/Apple Watch faces. The Mac version adopts a three-column design and supports keyboard-centric workflows. All features were implemented through AI Coding collaboration, with local storage + iCloud sync. Basic functions are free, while the Pro version is a one-time purchase for 88 yuan.

Industry · PANews

Zcash Q3 报告:Zakura 全节点上线、Ironwood 激活、屏蔽供应回升至 29.1% ↗

Zcash 在2026年第三季度落地扩容路线图第一步:7月中旬发布全节点Zakura,将全网同步时间从约21小时压缩至约4小时,快照启动不到两分钟;7月28日激活Ironwood(NU6.3)升级,引入形式验证的新屏蔽池,屏蔽ZEC总量升至约494万枚,占比达29.1%;持币者通过加密投票以99.9%支持率确定NU7升级内容,包括25秒区块、网络可持续机制及Sprout退役,主网激活计划于11月初;Grayscale ZCSH现货ETF上线并获2.63亿美元净流入,Cypherpunk Technologies增持ZEC并启动挖矿。

Source-language fallback
Perspectives · V2EX · 分享创造

Qiaosi Toolbox Mini Program Relaunched: Supports WeChat Virtual Payment and AI Tool Integration ↗

bimbaloo resumed operation of the "Qiaosi Toolbox" WeChat mini program, which was abandoned 5 years ago. Based on the Taro + Go + MySQL tech stack, it aggregates 234 tools covering 6 major categories. The AI intelligent module includes 16 image capabilities (OCR/cutout/license plate recognition, etc.) and 11 text capabilities (summarization/error correction/translation, etc.).

AI products · Hugging Face Blog

NVIDIA and AI4Bharat Release 2.8 Trillion Token Indic Language Synthetic Pretraining Corpus and Open-Source Data Generation Pipeline ↗

NVIDIA, in collaboration with the AI4Bharat lab at IIT Madras and Bodhan AI, released Nemotron-pretraining-Indic-v1, a synthetic pretraining corpus covering 22 Indian constitutional languages, totaling 2.8 trillion tokens (2601 billion native script tokens + 224.6 billion romanized tokens), counted using the Gemma-4 tokenizer; simultaneously open-sourced a GPU-accelerated data generation pipeline based on NeMo Data Designer, including document-level translation, MQM-inspired quality assessment, feedback-driven repair, and dual-track script processing (native script + romanization); this corpus was used for Hindi continual pretraining of Nemotron 3.5 Super VL (with 10% of the 10 billion tokens being Indic mixed data), improving performance by 4.98–9.82 percentage points across 5 Hindi benchmarks such as MILU and Indic MMLU-Pro; the corpus has been uploaded to Hugging Face, supporting streaming loading configured by language-script-region (e.g., hi-Deva-IN), with accompanying open-source plugins providing adaptable prompt, rewriting, and script mapping functions.

AI models · IT之家 · AI

Xiaomi Open-Sources Spatial Audio Understanding Large Model MiDashengLM-Spatial ↗

Xiaomi has open-sourced the spatial audio understanding large model MiDashengLM-Spatial. Based on MiDashengLM-7B, it adds spatial perception and reasoning capabilities, supporting sound content understanding as well as sound source localization and spatial distribution modeling. The model weights, inference code, technical report, evaluation code, and demo page are all publicly available under the Apache 2.0 license.

Perspectives · 虎嗅 · AI

Guanyuan Data Launches New Decision Intelligence Product DecideX ↗

On June 26, 2026, at its 10th-anniversary launch event, Guanyuan Data introduced its new product, DecideX. Positioned as a decision intelligence solution, its architecture includes an enterprise-grade data foundation, a decision context layer, the DecideX Runtime intelligent hub, and a human-machine collaboration layer. Its core innovation lies in structuring business judgment rules (such as discount strategies and order suspension conditions) scattered across systems like meeting minutes and ERPs into callable decision contexts and Skills modules. Meanwhile, the official website continues to list the Question Answering Agent and Insight Agent released in 2025 for sale alongside it. The three implementation cases disclosed by the company (Unilever Hefei Logistics Center, Laiyifen, and Qiutian Manman) all originate from this launch event, with no independent third-party verification observed. Guanyuan states that delivery adopts the FDE on-site model, emphasizing the need for manual accumulation of customers' implicit business logic, which differs significantly from traditional BI software delivery methods.