AI news, research, models, robotics, chips, startups, and infrastructure coverage.
OKX is bringing together payments, identity and reputation into a marketplace for AI agents.
Mistral AI released Leanstral 1.5, an open-source model for formal verification in Lean 4. Beyond math, the model found five previously unknown…
Greg Brockman admits ChatGPT's plugins, heavily marketed in 2023, failed "because the models weren't ready." Instead of app extensions, he sees the…
Anthropic developer Thariq Shihipar argues that with Claude's new model, Fable 5, the bottleneck is no longer the model itself but the…
Mistral AI, which offers some open source AI models, has raised significant funding since its creation in 2023, with the ambition to…
Anthropic is launching its own drug development program for neglected diseases that the pharmaceutical industry considers unprofitable. Novartis CEO Vas Narasimhan thinks…
Taiwan's Keelung District Prosecutors' Office raided Supernicro Computer's Taiwan office on Monday, along with the homes of six individuals and three affiliated…
figure — artificial intelligence is transforming what is possible in agriculture, but industry leaders should be wary of investing in AI without…
figure — every day, GitHub engineers introduce new dependencies into the GitHub platform, internal applications, and open source projects. GitHub is not…
Startup Acti is betting the smartphone keyboard is the next home for AI assistants. Its new keyboard for iOS and Android works…