venturebeat
Lean4: How the theorem prover works and why it's the new competitive edge in AI

Large language models (LLMs) have astounded the world with their capabilities, yet they remain plagued by unpredictability and hallucinations – confidently outputting incorrect information. In high- [...]

Match Score: 17.23

thenextweb
How NATO is turning to startups to outpace its rivals

War is being redefined by technology. Drones now swarm where soldiers once marched, AI can detect threats faster than spies, and cyberattacks are disrupting critical infrastructure without a single sh [...]

Match Score: 17.23

Destination
OpenAI's hunger for growth puts pressure on AI startups

As OpenAI transforms from a simple API provider into a full-service AI solutions company, many startups built on its technology might need to rethink their strategies.<br /> The article OpenAI&# [...]

Match Score: 17.23

thenextweb
UK forges new radiation-resistant steel in step forward for fusion energy startups

Scientists in the UK have forged 5.5 tonnes of a new kind of steel capable of withstanding the searing heat and intense neutron radiation of nuclear fusion, the same reaction that powers the Sun and s [...]

Match Score: 17.23

thenextweb
How can Dutch battery startups win big? Focus on supply chain ‘pinch points,’ says CEO

Dutch battery startups must innovate at “critical pinch points” in the supply chain to compete globally, says Kevin Brundish, CEO of Eindhoven-based battery company LionVolt. The comments come at [...]

Match Score: 17.23

thenextweb
EU-Startups Summit returns to Malta in May with 2,500 attendees, and 80+ speakers

The 12th edition of one of Europe’s longest-running startup events takes place on 7–8 May in Valletta. Alongside the usual pitch competition and investor matchmaking, this year’s programme inclu [...]

Match Score: 13.78

Destination
Two startups want to replace how AI learns: one just raised $180M, another is seeking up to $1B

Two new AI labs want to reinvent the foundations of AI development: Flapping Airplanes is raising 180 million dollars, Core Automation is looking for up to a billion. Both believe that AI development [...]

Match Score: 13.78

thenextweb
Europe has twice as many climate tech startups as the US — but there’s a catch

Europe is home to twice as many climate tech startups as the US (30,000 vs. 14,300). However, limited access to VC funding is forcing these early-stage companies to seek capital from outside the conti [...]

Match Score: 13.78

thenextweb
Opinion: Space startups are pivoting to defence. That’s great for innovation

A few months ago, at the SmallSat Symposium, a panel issued a sobering warning to space startups: do not chase defence dollars at the expense of long-term sustainability. Why? Because companies, parti [...]

Match Score: 13.78