MathCode: AI coding agent that proves math theorems in Lean 4

The Arizona Court of Appeals ruled Gabriel Horcasitas, 55, must be resentenced for the 2021 killing of Christopher Pelkey after an AI-generated video of the victim was shown at his 2025 sentencing. The court said the clip presented the victim's thoughts "created from the imaginings of the victim's sister."

A Reddit user prompted Claude Opus 5.5 to generate a Mario 64-style game, producing a playable result in roughly 30 minutes. The demo was posted as a YouTube video to r/artificial.

AMD CEO Dr. Lisa Su argues the tech industry must better communicate both what AI can accomplish and where it still falls short. She frames safety safeguards as compatible with fast-paced AI development.

A critique of memory plugins that generate ~1,000 isolated snippets into a vector database and inject the top 5 on every prompt. The author argues similarity search can't tell which snippet is correct, current, or missing, so agents should read project documentation instead.

Open-source MIT-licensed skillset for Claude Code converts a single image into a 3D environment in under 5 minutes, outputting .glb/.obj models of dynamic objects and a .spz Gaussian splat of the static scene.

Microsoft AI CEO Mustafa Suleyman joins the Young and Profiting podcast with host Hala to discuss how Copilot, emotional AI and AGI could reshape work and life. The episode covers AI companions and AI moving beyond productivity tools.