GitHubがAIエージェント前提の新機能群発表、タスクごとにAIモデルを ...

15000ページ 数学の史上最大の巨大定理を、AIエージェントが24日間で形式証明化 ...