Few direct matches — filled in with the latest updates.
Tag: #reasoning-benchmark2 results
OpenAI has released their AI model's proof attempts for the First Proof math challenge. This initiative tests research-grade reasoning capabilities on expert-level mathematical problems. The submissions are publicly shared for evaluation.
User benchmarks small models on a 1M-number guessing game needing binary search and digit entropy. Qwen3.5-9B q4_k_m performs best, missing by one digit on round 10. Surpasses Cogito 14B and gpt-oss 20B which fail earlier.
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.