AI

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.

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.

Anthropic reinstated Claude Fable 5 on July 1 following a temporary suspension triggered by a jailbreak technique reported by Amazon.

Comeau, a prominent web development educator, reported on July 3, 2026, that sales for his newly launched course, Whimsical Animations, are tracking at roughly one-third of a typical launch.

For instance, 'artificial general intelligence' (AGI) remains a nebulous concept, with leaders like Sam Altman of OpenAI and Google DeepMind offering subtly different interpretations.