Few direct matches — filled in with the latest updates.
Tag: #nn-safety1 results
TorchLean is a Lean 4 framework treating neural networks as first-class mathematical objects for unified execution and verification. It offers a verified PyTorch-style API, explicit Float32 semantics, and IBP/CROWN-style bound propagation. Validated on certified robustness, PINNs, and neural controllers with mechanized theorems.
The article argues that Anthropic is no longer viewed as an unquestioned authority or source of confidence within the AI industry. It presents a broader analysis of changing industry sentiment toward the company.
Astro 7 reportedly rewrites its compiler and Markdown processing pipeline in Rust. The change targets the framework’s core build and content-processing infrastructure.
The article examines how domestic computing infrastructure can meet the rising demands of AI4S, particularly in marine computing scenarios. It highlights that AI significantly increases the complexity beyond existing requirements for stability and real-time performance.
China continues to lead global patent applications, with AI and other core technology areas highlighted as key strengths. Global patent filings reached 3.72 million in 2024, more than double the 1.7 million recorded in 2005, while Japan’s share declined from 25% to 8%.
FAW Hongqi has launched the refreshed HS5 SUV at a promotional price starting at 134,800 yuan. The vehicle adds Lingxi Smart Cabin 5.0, Hongqi Sinuo intelligent driving, upgraded displays, and a 2.0T powertrain.
Jingxin Microelectronics has successfully powered on its domestically developed RapidIO 3.2 switch chip SR1820 and RapidIO 3.2-to-PCIe 4.0 bridge chip ST0420. The chips completed all primary functional use cases in under one hour after returning from fabrication.
China’s prefabricated computing infrastructure reportedly achieves over 90% factory prefabrication and can enter operation within 24 hours. The approach is said to improve delivery efficiency by 70%.
UBTECH’s Walker embodied intelligence foundation model has completed China’s generative AI service filing. The milestone places the model among the first services to complete this regulatory process.
Anthropic has launched Claude Academy, a free official learning site covering AI fundamentals and Claude-related products. The site provides service-specific guidance for tools such as Claude Code and Cowork.