SemaPLC: Small AI Models Pass Real PLC Engineering Checks
Verification-gated PLC coding: 72.6% strict pass on 117 tasks, 52.2% dynamic reliability where baselines fall to 20-30%.
深入探索AI人工智能领域的最新进展、核心技术及应用场景,涵盖机器学习、深度学习与自然语言处理,助您把握智能时代脉搏。
Verification-gated PLC coding: 72.6% strict pass on 117 tasks, 52.2% dynamic reliability where baselines fall to 20-30%.
Your agent made the right call — and your system still broke. The user clicked "confirm refund", the page refreshed, the approval banner vanished, and nobody knows whether the refund should run. Worse: the request reached the payment gateway, the backend restarted before writing local state, and recovery re-triggered the refund. Twice. That's the gap between "an agent can run one loop" and "an age
Ornith 1.5 open weights train on self-generated tasks: Terminal-Bench 2.1 rose from 77.5 to 86.1. Next battleground: the question bank.
China's model race took a fresh turn on Thursday: Zhipu AI confirmed that the viral "Niu Lai" (bull market) model is its own GLM-5.3 Flash — the lab's first natively multimodal model, trained on domestic chips. Meanwhile, video-generation apps are turning into real revenue lines, Alibaba quietly open-sourced another Qwen model, and MiniMax crossed the $800M annualized-revenue mark. Here's what mat
Veeda AI builds a multimodal world model where robots learn by trial and error in scalable simulations, avoiding costly real-world practice.
OpenAI shared first Jalapeño benchmark results. The custom inference chip outperformed Nvidia Blackwell on InferenceX throughput and latency.
Shopify CEO Tobi Lütke says he may ban Claude Code unless Anthropic supports AGENTS.md, turning a single Markdown file into the front line of the coding-agent standards war.
DeepSeek hiked V4-Pro peak output prices 350% and made weekends off-peak, ending the Chinese LLM price war as compute moves to token revenue.
Zhipu claims mystery model Ox Alpha as GLM-5.3 Flash: first natively multimodal in the 5-series, 320B/18B active, hybrid linear-sparse attention, and all 62T tokens served on domestic chips at NVIDIA-comparable cost.
New Nature study of 880,000 texts: AI writing tools are flattening language diversity and erasing the identity signals in human prose.
Caltech Kohn-Sham FNO replaces the cubic DFT core with one learned step: a single B300 GPU now matches what roughly 7,800 V100s did in 2019.
Bill Gates: the AI era will be the most turbulent time in human history. His fixes: reserve human jobs, tax tokens and robots, add oversight.