Terence Tao discusses AI and SAIR competitions in math research

A Hugging Face blog post reports that fine-tuning Qwen 3 4B Base on 100 zebra puzzles yielded a +31% gain on MATH-500. A reproduction notebook runs in 6.5 minutes on a single H100/H200.

Version 2.9.1 of Simon Willison's github-to-sqlite tool fixes compatibility with sqlite-utils 4.x (issue #85).

Version 1.4 sets force_https=true in fly.toml, fixes a "Volume could not be found" bug, and adds compatibility with app-scoped deploy tokens.

A Reddit r/ClaudeAI post reports GPT-6 Astra now ranks first on VerBench, a benchmark whose scores or margins are not given in the post.

Sequoia Capital is leading a new round valuing the human-motion-data startup at about $500 million, three months after its $60 million Series A led by Framework Ventures. Mecka pays people to record everyday tasks with body sensors and smartphones to train humanoid robots.

A ComfyUI user reports that an existing prompt enhancer for MiniMax H3 broke image-to-video continuity: the subject appeared in a completely different setting after roughly two seconds of a near-frozen start image.