AI news

Also that day

1. Model

   Anthropic adds Claude Sheets, Whiteboards and Data, so Claude can build spreadsheets and boards with you (opens the original source in a new tab)

   Sheets and Whiteboards are in beta on all paid plans. Claude Data, which grew out of Claude Dashboards, turns data from a connected source such as a company database into shareable stories.

   Anthropic · Original source ↗ (opens in a new tab)

2. Research

   Google DeepMind's AlphaProof Code uses AI agents to check, by proof, the code behind Signal's encryption (opens the original source in a new tab)

   Experts chose what to prove and agents wrote over six million lines of Lean, a language for checking proofs by computer. Google says it took four weeks, where such work usually takes years.

   Google DeepMind · Original source ↗ (opens in a new tab)

3. Open source

   NVIDIA donates OpenShell, its open-source agent security tool, to the Cloud Native Computing Foundation (opens the original source in a new tab)

   The foundation is a nonprofit in the Linux Foundation. As one of its Sandbox projects, OpenShell will be run by the groups building it into their products.

   NVIDIA · Original source ↗ (opens in a new tab)

4. Trending

   Notion says a security incident at Fireworks AI, which ran AI models for it, may affect under 1% of workspaces (opens the original source in a new tab)

   Fireworks told Notion on November 6 that attackers may have reached customer data. Notion cut its links to Fireworks and turned off its Insights feature while it investigates.

   159 points on Hacker News

   Notion · Original source ↗ (opens in a new tab)