Mistral AI has released Leanstral 1.5, a specialized AI model for formal verification and mathematical proofs. Licensed under ...
Zhipu's GLM 5.2 shows the AI fight is shifting to who delivers the most intelligence per dollar, making open source suddenly ...
Public opinion shifts rapidly and benchmarks are not reliable.
It allows engineering teams to host frontier-level AI on their own sovereign infrastructure, entirely eliminating vendor lock ...
Ornith 1.0 by DeepReinforce is meant for developers who want AI that finishes the job, not just autocompletes the next line.
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 ...
Banco Santander (NYSE: SAN) has released more than a dozen of its internal AI initiatives on GitHub under a permissive ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results