Terence Tao: AI proofs cause "proof indigestion"

A r/LocalLLaMA poster asks for ways to boost creative writing in local Qwen models, saying Qwen beats Gemma and Muse at research and writing HTML files but trails them on creative writing.

Nightly build v0.24.7-nightly.20261004.9915c7ff8f aligns Code Mode text with lazy tool discovery and honors approved cross-directory tool calls. It also stops the CLI from swallowing Enter while completion suggestions load.

CS395T AI Alignment Theory focuses on theoretical and mathematical foundations rather than empirical work, with student presentations, reports, and projects central to the course. Aaronson notes the field's theoretical foundations have not gelled into a canonical body of results.

Bloomberg Intelligence says American AI companies' performance lead over China shrank sharply in recent months to a record low, with labs such as DeepSeek gaining ground. BI frames the narrowing as a threat to US tech supremacy.

Sandhya Subramani, AWS senior developer advocate for GenAI, demos meta-tooling with the open-source Strands Agents SDK: an agent starts with zero tools, and when asked for something it can't do, writes the tool and uses it without restarting.