American AI startup Zyphra has released 'ZAYA1-8B,' a compact inference language model trained on AMD's GPU infrastructure. The weights are publicly available, and commercial use is permitted.

Amazon Web Services is adding a feature to its Kiro AI coding tool that uses mathematical proofs to check whether software requirements contradict each other or leave gaps before AI agents start ...