日: 2026年10月9日

数学では、証明が得られるまでに長い時間がかかることが珍しくない。そのため、問題を解き、正しい証明を書くことが研究の大きな制約として意識されてきた。しかし、証明候補を短時間で大量に生成できるようになると、その先にあった工程 … 続きを読む