A new AI coding challenge has revealed its first winner — and set a new bar for AI-powered software engineers.

Researchers unveil a new Python-based assertion verification framework for agile hardware design, enabling real-time error detection with minimal ...