カテゴリ: 数学
| 名前 | 説明 | カテゴリ | 作者 |
|---|---|---|---|
| math-olympiad | 競技数学(IMO・Putnam・USAMOなど)の証明を、自己検証では見逃す欠陥を専用検証者が別視点から厳しく検証しつつ解き、根拠が不十分な場合は無理に答えず判断を保留するツールです。 | 数学 | Anthropic |
| 名前 | 説明 | カテゴリ | 作者 |
|---|---|---|---|
| math-olympiad | 競技数学(IMO・Putnam・USAMOなど)の証明を、自己検証では見逃す欠陥を専用検証者が別視点から厳しく検証しつつ解き、根拠が不十分な場合は無理に答えず判断を保留するツールです。 | 数学 | Anthropic |