Because being a geek is a good thing

Chinese open models like Kimi K2.6, Kimi K3, and Qwen3.8 are advancing on OpenAI and Anthropic’s closed models. An a16z analysis cited by The Economist estimates that 80% of startups already use at least one Chinese model in production, as Washington tightens GPU export controls.

CuspAI presented AI Materials Foundry, a global artificial intelligence network that aims to connect the generation of candidate materials with their validation in a real lab. The proposal builds on previous advances like GNoME, MatterGen, and the open OMat24 dataset, but aims to solve the bottleneck that none of those models solve on their own: physical synthesis.

New York Mayor Zohran Mamdani presented a report requiring landlords and real estate agencies to disclose when a rental photo was generated or altered with artificial intelligence. The measure aims to curb listings that don’t match the actual property.

A thread on r/math reports that GPT-5.6 used a prompt inspired by OpenAI’s proof of the CDC problem to tackle a convex optimization problem that had been open for 30 years. The resulting proof was formalized and verified line by line in Lean, with no markers for unproven steps.