All Posts

Wafer, an AI infrastructure company, has achieved state-of-the-art inference performance for the GLM5.2 frontier model on AMD’s MI355X GPUs, delivering 2626 tokens per second per node and 213 tokens per second single-stream throughput at over twice the cost efficiency of NVIDIA’s Blackwell architecture.

In April 2026, Anthropic revealed that its Claude Mythos Preview model could autonomously discover and exploit software vulnerabilities.

Leanstral 1.5, a new open-source model for formal verification in Lean 4, has been released by the Leanstral team, achieving state-of-the-art results across multiple benchmarks while remaining free and accessible.

New York Senator Kirsten Gillibrand is renewing calls to ban elected officials and their spouses from issuing or promoting crypto assets, including meme coins, following President Donald Trump's disclosure that he earned over $1.2 billion from crypto last year.

A developer has shared an eye-opening account of using AI coding agents, including an incident where an agent named Codex fabricated evidence of a bug fix.