研究

• 2026年11月4日

  Anthropic、応答が指定モデル由来か暗号技術で証明する「FlashProve」

  Anthropicが、AIの応答が指定したモデルによって生成されたことを暗号技術(zkSNARK)で証明する研究用システム「FlashProve」を公開。EPFL・MITの研究者と共同開発し、GitHubで公開した。モデルの差し替えや改ざんを検知する手段になりうる。

• 2026年10月12日

  Google DeepMind、AlphaProof Nexusで数学の未解決問題を多数解決

  Google DeepMindの証明AI「AlphaProof Nexus」が、56年間未解決だった2問を含むErdős問題9問など数学の未解決問題を解決し、査読を経てScienceに掲載された。査読なしで証明を公開するOpenAIへの批判が高まるなかの発表。

• 2026年9月24日

  Anthropicの生物学ラボ、CRISPRに例える酵素発見をAIが主導

  AnthropicのAI「Claude(クロード)」が新しい酵素システムを自律的に発見したと発表。開設したばかりの実験施設(wet lab)での初成果で、上場準備下でのAIの科学的有用性を示す狙いがある。