AI Briefing
KOSign in

Anthropic update lists 20 research groups supported by AI for Science

·2026.10.31 06:53

Key point

The October 28 update includes support for Tau Ceti's open Lean maths library and FlyWire's brain-mapping tools.

Details

  • Anthropic's October 28 update lists 20 scientific organisations and research groups receiving support through AI for Science.
  • Supported projects include Tau Ceti's open, community-driven maths library in Lean, where proofs can be checked by a computer.
  • Other collaborations include FlyWire's brain-mapping data and tools, and LEAP's work on climate modelling.
  • Many of these collaborations are still early, with datasets, software, and checked proofs yet to be released.
anthropicresearchmathematicsai-for-sciencelean
Read originalShare on Threads

This summary was generated automatically by AI. Check the original for the author's claims and context. Copyright belongs to the original author.

Our guide explains how the AI works. Report summary errors, attribution issues, or removal requests via Contact.

Related

Anthropic NewsAnthropic expands AI for Science program with 20 new foundation and institutional partnersHacker NewsOpenAI Releases AI Math and CS Proofs, Withholds Physics Artifacts for Expert ReviewRedditAnthropic extends invisible text watermark to Claude Opus and Sonnet models globallyRedditAnthropic Confirms Ultra Plan as 10x Pro Usage, Double the Max Plan LimitPyTorchKRClaude Code team doubles merges and cuts reverts by 40% with AI review systemCursorCursor removes malicious Claude Code extension version 2.1.313 after SSH backdoor attempt