カテゴリ: 数学
| 名前 | 説明 | カテゴリ | 作者 |
|---|---|---|---|
| math-olympiad | 自己検証では見落とされる欠陥を捉える敵対的検証を用いて、競技数学(IMO、Putnam、USAMO)を解きます。新しい文脈の検証者が、特有の失敗パターンを突いて証明を攻撃します。ごまかしではなく、適切に調整された保留判断を行います。 | 数学 | Anthropic |
| 名前 | 説明 | カテゴリ | 作者 |
|---|---|---|---|
| math-olympiad | 自己検証では見落とされる欠陥を捉える敵対的検証を用いて、競技数学(IMO、Putnam、USAMO)を解きます。新しい文脈の検証者が、特有の失敗パターンを突いて証明を攻撃します。ごまかしではなく、適切に調整された保留判断を行います。 | 数学 | Anthropic |