Researchers applied a coding agent to formalize a numerical analysis textbook in Lean 4, introducing a three-dimensional quality audit framework beyond kernel acceptance. The audit revealed unfaithful formalization patte…
Researchers from PSL compared commercial and open-source large language models on Arabic Islamic inheritance reasoning, finding commercial models significantly more reliable. Gemini 2.5 Flash achieved the best performanc…
Researchers from multiple institutions introduced a validation framework to evaluate whether LLM-based urban simulators reproduce realistic human mobility patterns. Testing AgentSociety and CitySim against real-world dat…
Researchers introduced SANA, a diagnostic framework for evaluating LLM agents performing exploratory question answering over data lakes. Testing on two benchmarks revealed data analysis as a consistent bottleneck, with s…
Researchers introduced Dialogue SWE-Bench, a benchmark for evaluating AI coding agents through dialogue with users, revealing that coding proficiency does not guarantee strong dialogue skills. The study proposes a schema…
Researchers found that introducing structured noise into artificial neural network activations improves robustness against adversarial attacks and naturalistic image modifications, with noise structure from adversarial a…
Noah AI launched a domain-specific AI platform for pharma, biotech, and medical professionals, offering cited reports grounded in PubMed, clinical guidelines, patents, and professional databases. The platform supports ro…
Apple announced visionOS 27 at WWDC 2026, the fourth major OS update for Apple Vision Pro, with features including held object tracking, IR LED tracked accessories, unfoveated screen recording, and a Siri AI overhaul pow…
Screen.cam, a free Mac app from Temecula DSP, records the screen and automatically polishes videos with smart cursor zooms, filler word removal, and AI-assisted YouTube uploads.
AI agents can fail in subtle, non-obvious ways that resemble progress, including goal drift, tool misuse, state loss, hallucination, and premature task completion. These hidden failure modes make agent reliability challe…
Amazon is offering the ASUS TUF Gaming F16 laptop with an RTX 5050 GPU and 16GB DDR5 RAM at 21% off, priced at $1,029.99. The deal targets gamers seeking affordable FHD performance with Blackwell architecture and a 165Hz…
A developer describes the 'loop' pattern for building reliable AI agents: goal, agent acts, verifier checks, state/memory updates, policy decides next action, repeat/stop/escalate. The developer also highlights Fable 5's…
Anthropic announced a pricing change for its Agent SDK, charging heavy async users API rates beyond a monthly credit, which may drive them to OpenAI's Codex. The move affects developers running Claude agents asynchronous…
Innocean, the marketing arm of Hyundai Motor Group, partnered with venture capital firm SBVA to launch UP 2026, a growth platform for about 10 AI and technology startups including Ohou, Blind, and Kream. The program aims…
A developer tracked every GitHub traffic spike for Trooper, a privacy-aware LLM proxy written in Go, over seven weeks and found that Reddit posts in niche communities like r/ollama drove the largest spikes. The same play…
Researchers at an undisclosed institution found that AI peer reviewers can be manipulated by altering only presentation-level content such as abstracts and narrative structure, achieving a 75.1% attack success rate and a…
Z.ai (Zhipu AI) released GLM-5.2, a 744-billion-parameter open-weight coding model with a one-million-token context window, under an MIT license. The launch comes days after the U.S. government ordered Anthropic to disab…
A developer benchmarks Rust decimal crates, comparing fixed-point vs floating-point and fixed-precision vs arbitrary-precision designs for financial applications requiring exact decimal representation.
ByteDance, TikTok's parent company, is negotiating to buy at least 50,000 AI inference GPUs from Shanghai-based Iluvatar CoreX, as US export controls push Chinese tech firms to diversify away from Nvidia. The company is …
Anthropic has introduced a new pricing structure for its Claude AI assistant, offering Free, Pro ($20/month or $200/year), Max 5x ($100/month), and Max 20x ($200/month) plans for individual users, with Team and Enterpris…