Opinion: AI-generated proofs unsettle mathematicians

A r/Singularity thread asks why Nvidia's Vera Rubin NVL72 racks are getting little attention as they begin shipping, citing claims of 4x efficiency, at least 2x speed, and double NVLink bandwidth. The poster asks whether any production deployments exist and whether Claude or GPT run on them.

IBM's Granite Switch 4.1 routes chat, decision-making, and speech tasks through a single endpoint, per the Hugging Face blog post announcing it.

Bloomberg's Shirin Ghaffary reports the competition to build more advanced AI remains as fierce as ever, roughly a month after public calls for a slowdown.

Anthropic posted $16B+ revenue in a single quarter with 46% QoQ growth and ~$74B run-rate revenue, per FT-reported figures from a private investor meeting. Growth slowed from 145% the prior quarter, prompting investor concern.

A web developer/designer on r/ChatGPT says his best-paying client built a full website and webshop with ChatGPT in "a couple of hours" and emailed to end the maintenance contract.

Cat Jam is a low-latency reasoning model for coding and agentic tasks, free during its stealth period on AI Gateway under the model name stealth/cat-jam. It supports function calling, JSON-schema structured outputs, and five reasoning effort levels from low to max; text input only, with no Zero Data Retention.

Cohere argues utilities must weigh where a model runs, what data it can access, and what actions it can take, not just capability. It cites OpenAI's September Daybreak gathering of utility leaders covering 40 states and D.C., serving over half the US population.