Mistral AI has released Leanstral 1.5, a specialized AI model for formal verification and mathematical proofs. Licensed under ...
Public opinion shifts rapidly and benchmarks are not reliable.
Zhipu's GLM 5.2 shows the AI fight is shifting to who delivers the most intelligence per dollar, making open source suddenly ...
Z.ai’s GLM-5.2 shows promise in cybersecurity benchmarks, but open-weight deployment raises enterprise security and ...
Ornith 1.0 by DeepReinforce is meant for developers who want AI that finishes the job, not just autocompletes the next line.
It allows engineering teams to host frontier-level AI on their own sovereign infrastructure, entirely eliminating vendor lock ...
China's GLM-5.2 rivals Claude and GPT-5.5 and was released a day after the US export ban on Anthropic models. View on ...
Qwen 3.6-27B is driving interest in local AI by offering strong coding performance on consumer hardware without cloud ...
Arcee, a tiny 26-person U.S. startup that built a massive, 400B-parameter open source LLM on a $20 million shoestring budget, has released its new reasoning model. Arcee calls the model Trinity Large ...
CyberGym benchmark scores over time, showing the rapid improvement in AI vulnerability discovery capabilities. Microsoft’s multi-model MDASH system (top right) tops the leaderboard at 88.4%. (CyberGym ...
AI API Gateway that connects developers to more than 200 AI models through a single OpenAI-compatible endpoint. The platform removes the integration overhead traditionally associated with working ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results