私は数学者ではないが、ChatGPTをはじめAIが私を数学者に近づけてくれる。まず、どこかのウェブで見かけた主張から始めたい。ある企業が、ミレニアム懸賞問題（後述）の問題群に含まれる「リーマン予想」と呼ばれるものを、AIを何らかの形で使って ...

AIコーディングツール「Claude Code」が開発者の間で急速に広まっている。AIエージェントがいかにソフトウェア開発の現場やAnthropicの働き方を変えているのかについて、Claude Code責任者のボリス・チェルニーに話を訊いた。