thenextweb
The EU’s €2T budget overlooks a key tech pillar: Open source

On July 16, the European Commission proposed a €2tn seven-year budget – the largest in the EU’s history – to boost autonomy, competitiveness, and resilience. The spending plan addresses cyber [...]

Match Score: 14.68

Destination
Moonshot AI’s Kimi K2 Thinking sets new agentic reasoning records in open-source LLMs

Chinese AI company Moonshot AI has unveiled Kimi K2 Thinking, a new open-source language model the company calls the "best open-source thinking model."<br /> The article Moonshot AI’ [...]

Match Score: 14.68

venturebeat
Qwen3-Coder-Next offers vibe coders a powerful open source, ultra-sparse model with 10x higher throughput for repo tasks

Chinese e-commerce giant Alibaba's Qwen team of AI researchers has emerged in the last year as one of the global leaders of open source AI development, releasing a host of powerful large language [...]

Match Score: 14.68

venturebeat
Endor Labs launches free tool AURI after study finds only 10% of AI-generated code is secure

Endor Labs, the application security startup backed by more than $208 million in venture funding, today launched AURI, a platform that embeds real-time security intelligence directly into the AI codin [...]

Match Score: 14.68

Destination
NVIDIA is reportedly working on its own open-source AI agent platform

NVIDIA is reportedly working on its own open-source AI agent platform, according to Wired. The chipmaker has been pitching the product to enterprise software companies. Reporting indicates it's g [...]

Match Score: 14.68

venturebeat
Mistral's Small 4 consolidates reasoning, vision and coding into one model — at a fraction of the inference cost

Enterprises that have been juggling separate models for reasoning, multimodal tasks, and agentic coding may be able to simplify their stack: Mistral’s new Small 4 brings all three into a single open [...]

Match Score: 14.68

Destination
Mistral's open-source Leanstral 1.5 aces formal math benchmarks and catches real bugs in code

Mistral AI released Leanstral 1.5, an open-source model for formal verification in Lean 4. Beyond math, the model found five previously unknown bugs while scanning 57 open-source repositories.<br / [...]

Match Score: 14.68

venturebeat
Google's 'Watch & Learn' framework cracks the data bottleneck for training computer-use agents

A new framework developed by researchers at Google Cloud and DeepMind aims to address one of the key challenges of developing computer use agents (CUAs): Gathering high-quality training examples at sc [...]

Match Score: 14.05

venturebeat
The missing data link in enterprise AI: Why agents need streaming context, not just better prompts

Enterprise AI agents today face a fundamental timing problem: They can't easily act on critical business events because they aren't always aware of them in real-time.The challenge is infrast [...]

Match Score: 14.05