Terence Tao on prematurely solving math problems with AI
Terence Tao discusses the risks of using purely AI-powered methods to prematurely solve math problems, drawing parallels to programming. He recommends reading the full thread for context.
Featured · Terence Tao
1 source
More stories today
Bill Gurley: Hold AI companies accountable for product behavior
Bill Gurley·2 hours agoMinimax H3 users seek faster generation methods
Reddit users discuss optimizing Minimax H3 video generation speed, comparing turbo LoRAs, SLA attention, and step counts. One user reports 1920x1088 10-second clips in 5 minutes using a 4-step turbo LoRA with SLA attention on an RTX 5090.
r/StableDiffusion·3 hours agoPressure sensors improve robotic gripping accuracy
Robotic gripping fails due to lack of real-time contact feedback, not mechanical strength. Pressure sensors measure distributed stress at contact, enabling early detection of micro slips and load redistribution within milliseconds.
The Robot Report·3 hours ago
Science by email
Get an email when there's news on Science
No news that day, no email.
Hermes Agent adds per-model provider pinning for OpenRouter
Teknium·4 hours ago
Reddit compares Fable 5.1 and Astra joke-writing
A Reddit user asked Fable 5.1 and Astra to write their funniest original joke, sparking a 78-comment debate. The post includes jokes from both models, with users voting on which is funnier.
r/ClaudeAI·4 hours agoUsers report GPT-5.6 Sol quality shifts after updates
Reddit users report GPT-5.6 Sol in ChatGPT feels 'lobotomized' or 'nerfed' since the 08/06/2026 update and Astra's release, while others claim it was secretly upgraded. Complaints cite reduced reasoning depth and laziness on coding and research tasks.
r/ChatGPT·4 hours ago
Block KV cache streaming bounds VRAM at long context
A pull request to llama-cpp-turboquant introduces block KV cache streaming via a shared CUDA phase arena, bounding VRAM usage at long context. The author ported and extended Raymond's work to multiple models beyond Qwen, benchmarking to confirm value.
r/LocalLLaMA·4 hours ago
Boris Cherny discusses Claude writing its own code
Boris Cherny, Head of Claude Code at Anthropic, discusses how Claude writes its own code. He previously built one of the fastest-growing developer tools and was a senior engineer at Meta.
YouTube·4 hours ago