Anthropic's FlashProve speeds zkSNARK proofs of LLM inference
Read original source →anthropic.com
FlashProve generates proofs for Llama 4 Maverick (400B-parameter MoE) at ~110 tokens/second on a single H100, with ~19 MB proof size per 1,024-token request in 4-bit weights. That is roughly 70-95x the GPU time of running the model itself on vLLM.
1 source
More stories today
DeepSeek adds Creator Mode to Harness for custom plugins
DeepSeek's Harness team showcased Creator Mode on November 2, letting users build reusable plugins from natural-language prompts. Demos included a design workspace, video editor, and 3D visualizations; seven demo prompts were published in Chinese and English.
TechNode·4 hours ago

Reddit user argues Claude 'Fable' model has best common sense
A r/ClaudeAI poster says Fable is "the only model with common sense" and directs other sessions effectively, despite burning through tokens quickly. They advise against letting Fable spawn agents and recommend setting usage limits.
r/ClaudeAI·5 hours agoStrata and PolyStrata silently cap thinking via answer_room behavior
With default settings, thinking on, max_tokens ≥ 1024 and no explicit reasoning_budget_tokens, Strata/PolyStrata caps thinking at 0.75 × max_tokens and injects a "wrap-up" line in the model's own voice.
r/LocalLLaMA·5 hours ago
GPT-6 Astra performance evaluated in software testing and verification
Dan Luu·5 hours agoGoogle invests over $6M in AI research grants at NUS and NTU
Google is putting more than $6 million into research grants and capacity-building at the National University of Singapore and Nanyang Technological University. Grants include $1.5M for Alzheimer's research at NUS and $340,000 for four AI safety and security studies at NTU.
Google Blog·5 hours ago

Trump's "Super Intelligence" rebrand becomes a loyalty test
A late-September executive order directs agencies to rename "artificial intelligence" as "Super Intelligence," a term that beat "Extreme Intelligence" and "Supreme Intelligence" in a Trump poll on X. Zuckerberg and Musk used the phrase on Q3 earnings calls; MIT Technology Review says one month in, the term is not catching on.
MIT Technology Review AI·5 hours ago

Morgan Stanley CEO projects up to $15T in AI investment
Ted Pick sees $10 trillion to $15 trillion of AI spending over the next decade, citing major productivity gains. Goldman's Solomon said capital markets see "very robust demand" to underwrite the AI infrastructure buildout.
Bloomberg Technology·5 hours ago

Study links AI companion 'synthetic mindfulness' to less loneliness
A Psychology & Marketing study of 356 US companion users found higher ratings of attention, acceptance and fit tracked with stronger belonging and self-esteem, which in turn correlated with less loneliness. Belonging carried more weight than self-esteem; authors call it association, not proof of change.
r/OpenAI·5 hours ago