Mathematicians urge boycott of OpenAI over 700-file math release
Read original source →ahmath.org
The Association for Human Mathematics called OpenAI's October 6 repository of manuscripts claiming solutions to high-profile math problems "a demonstration of power," urging mathematicians to stop working with the lab. Terence Tao reposted the statement; Yann LeCun countered that formal proof is entering an era of broad automation.
People · Terence Tao
How this story unfolded
8 days · 0 reports · 4 community posts · 4 of 6 shown
More stories today
Amazon memo tells engineers to be pickier about AI use
An internal Amazon memo pushes back on "tokenmaxxing," urging engineers to be more selective about when they use AI coding tools. The guidance lands as Amazon has rapidly spread AI across its business under CEO Andy Jassy.
CNBC Technology·1 hour ago
Latent Space podcast: how Anthropic ships Claude with Claude
Katelyn Lesse and Angela Jiang, Anthropic's heads of Engineering and Product, explain the Claude Platform: launching Opus 5.5, decoupling the model's "brain" from the agent's "hands," and rebuilding the Messages API in Rust. Anthropic credits a -126% loss to 19% GAAP profit turnaround to its improvement and investment loops.
Latent Space·1 hour ago
Mollick: thinner thinking traces push AI users toward automation
Ethan Mollick·1 hour agoVercel Agent sessions now cost 67% less
Vercel rebuilt how Agent manages context, cutting tokens per session and improving prompt-cache reuse across dashboard and Slack sessions. Billing rates are unchanged: paid sessions cost the model provider's inference rates plus a $0.25 per million token Vercel Agent fee.
Vercel Blog·2 hours ago
NYT reports software engineer's death tied to ChatGPT-4o use
Kashmir Hill·2 hours agoComfyUI text generator update adds context memory and prompt guides
The community-built ComfyUI text generator adds context memory so prompts can be refined across runs without re-pasting everything, plus new prompt guides and a cleaner UI.
r/ComfyUI·2 hours ago
Vercel's HarnessAgent adds image inputs across all harness adapters
The AI SDK HarnessAgent layer now accepts images alongside text in standard AI SDK message format, mixing text and file parts. Supported across all adapters: Claude Code, Cline, Codex, Cursor, Deep Agents, fx, GitHub Copilot, Grok Build, OpenCode, and Pi.
Nathan Lambert: org chart and team structure are underrated in LLM building
Nathan Lambert·2 hours ago
