OpenFrontiers

科学の未解決問題のコーパスと数学分野の回顧的ベンチマークを組み合わせたクロスディシプリナリーなリソース「OpenFrontiers」が発表されました。