{"id":6382,"date":"2025-05-01T10:29:02","date_gmt":"2025-05-01T10:29:02","guid":{"rendered":"https:\/\/www.myshirtai.com\/archives\/6382"},"modified":"2025-05-01T10:29:02","modified_gmt":"2025-05-01T10:29:02","slug":"deepseek%e5%8f%91%e5%b8%83prover-v2%e6%a8%a1%e5%9e%8b%ef%bc%9a671b%e5%8f%82%e6%95%b0%e5%8a%a9%e5%8a%9b%e6%95%b0%e5%ad%a6%e5%ae%9a%e7%90%86%e8%af%81%e6%98%8e","status":"publish","type":"post","link":"https:\/\/www.myshirtai.com\/ja\/archives\/6382","title":{"rendered":"\u30c7\u30a3\u30fc\u30d7\u30b7\u30fc\u30af\u3001Prover-V2\u30e2\u30c7\u30eb\u3092\u30ea\u30ea\u30fc\u30b9\uff1a671B\u30d1\u30e9\u30e1\u30fc\u30bf\u304c\u6570\u5b66\u7684\u5b9a\u7406\u8a3c\u660e\u3092\u5f37\u5316"},"content":{"rendered":"<p>\u30e1\u30fc\u30c7\u30fc\u306e\u9593\u3001DeepSeek\u306f\u518d\u3073AI\u5206\u91ce\u306b\u91cd\u5927\u306a\u30cb\u30e5\u30fc\u30b9\u3092\u3082\u305f\u3089\u3057\u307e\u3057\u305f - \u65b0\u3057\u3044DeepSeek-Prover-V2\u30e2\u30c7\u30eb\u306e\u30aa\u30fc\u30d7\u30f3\u30bd\u30fc\u30b9\u5316\u3067\u3059\u3002DeepSeek-R2\u306e\u30ea\u30ea\u30fc\u30b9\u304c\u9593\u8fd1\u306b\u8feb\u3063\u3066\u3044\u308b\u3068\u3044\u3046\u5642\u304c\u6700\u8fd1\u30a6\u30a7\u30d6\u4e0a\u3067\u6d41\u308c\u305f\u306b\u3082\u304b\u304b\u308f\u3089\u305a\u3001DeepSeek\u306f\u5148\u884c\u3057\u3066\u6570\u5b66\u7684\u5b9a\u7406\u8a3c\u660e\u306b\u7126\u70b9\u3092\u5f53\u3066\u305f\u3053\u306e\u5f37\u529b\u306a\u30e2\u30c7\u30eb\u3092\u30ea\u30ea\u30fc\u30b9\u3057\u3001\u901a\u5e38\u306e\u30aa\u30fc\u30d7\u30f3\u30bd\u30fc\u30b9\u7cbe\u795e\u3092\u7dad\u6301\u3057\u7d9a\u3051\u3066\u3044\u307e\u3059\u3002<\/p>\n\n\n\n<h2 class=\"wp-block-heading\" id=\"h-\u4e24\u6b3e\u5f3a\u5927\u6a21\u578b\u540c\u6b65\u5f00\u6e90\">\u30aa\u30fc\u30d7\u30f3\u30bd\u30fc\u30b9\u3068\u540c\u671f\u3057\u305f2\u3064\u306e\u5f37\u529b\u306a\u30e2\u30c7\u30eb<\/h2>\n\n\n\n<p>\u4eca\u56de\u30c7\u30a3\u30fc\u30d7\u30b7\u30fc\u30af\u306f\u3001DeepSeek-Prover-V2\u30e2\u30c7\u30eb\u306e2\u3064\u306e\u30d0\u30fc\u30b8\u30e7\u30f3\u3092\u30aa\u30fc\u30d7\u30f3\u30bd\u30fc\u30b9\u5316\u3057\u305f\u3002<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li><strong>DeepSeek-Prover-V2-671B<\/strong>DeepSeek-V3-Base\u4e0a\u306b\u69cb\u7bc9\u3055\u308c\u30016710\u5104\u306e\u30d1\u30e9\u30e1\u30fc\u30bf\u3092\u6301\u3061\u3001\u73fe\u5728\u3001\u5b9a\u7406\u8a3c\u660e\u306b\u304a\u3051\u308b\u6027\u80fd\u306e\u738b\u69d8\u3067\u3042\u308b\u3002<\/li>\n\n\n\n<li><strong>DeepSeek-Prover-V2-7B<\/strong>DeepSeek-Prover-V1.5-Base\u3092\u30d9\u30fc\u30b9\u306b\u69cb\u7bc9\u3055\u308c\u300170\u5104\u306e\u30d1\u30e9\u30e1\u30fc\u30bf\u3092\u6301\u3061\u3001\u6700\u592732K\u30c8\u30fc\u30af\u30f3\u306e\u30b3\u30f3\u30c6\u30ad\u30b9\u30c8\u9577\u3092\u30b5\u30dd\u30fc\u30c8\u3057\u307e\u3059\u3002<\/li>\n<\/ul>\n\n\n\n<figure class=\"wp-block-image size-full\"><img decoding=\"async\" src=\"https:\/\/school.myshirtai.com\/wp-content\/uploads\/2025\/05\/image-1.png\" alt=\"\" class=\"wp-image-423\"\/><\/figure>\n\n\n\n<p>\u4e21\u30e2\u30c7\u30eb\u3068\u3082\u30cf\u30ae\u30f3\u30b0\u30fb\u30d5\u30a7\u30a4\u30b9\u3067\u6b63\u5f0f\u306b\u30ea\u30ea\u30fc\u30b9\u3055\u308c\u305f\uff1a<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li><strong>DeepSeek-Prover-V2-7B\u3002 <\/strong><a href=\"https:\/\/huggingface.co\/deepseek-ai\/DeepSeek-Prover-V2-7B\">https:\/\/huggingface.co\/deepseek-ai\/DeepSeek-Prover-V2-7B<\/a><\/li>\n\n\n\n<li><strong>DeepSeek-Prover-V2-671B. <\/strong><a href=\"https:\/\/huggingface.co\/deepseek-ai\/DeepSeek-Prover-V2-671B\">https:\/\/huggingface.co\/deepseek-ai\/DeepSeek-Prover-V2-671B<\/a><\/li>\n<\/ul>\n\n\n\n<h2 class=\"wp-block-heading\" id=\"h-\u4ec0\u4e48\u662fdeepseek-prover-v2\">DeepSeek-Prover-V2\u3068\u306f\u4f55\u3067\u3059\u304b\uff1f<\/h2>\n\n\n\n<p>DeepSeek-Prover-V2\u306f\u3001\u300c\u6570\u5b66\u7684AI\u30d7\u30ed\u30b0\u30e9\u30df\u30f3\u30b0\u8a00\u8a9e\u300dLean 4\u306e\u30aa\u30fc\u30d7\u30f3\u30bd\u30fc\u30b9\u5927\u898f\u6a21\u8a00\u8a9e\u30e2\u30c7\u30eb\u3067\u3042\u308a\u3001\u5f62\u5f0f\u7684\u5b9a\u7406\u8a3c\u660e\u306b\u7126\u70b9\u3092\u5f53\u3066\u3066\u3044\u308b\u3002\u7c21\u5358\u306b\u8a00\u3048\u3070\u3001\u62bd\u8c61\u7684\u306a\u6570\u5b66\u5b9a\u7406\u3092\u53b3\u5bc6\u306a\u30b3\u30f3\u30d4\u30e5\u30fc\u30bf\u691c\u8a3c\u53ef\u80fd\u306a\u8a3c\u660e\u306b\u5909\u63db\u3059\u308b\u3053\u3068\u304c\u3067\u304d\u3001\u6570\u5b66\u7814\u7a76\u306b\u9769\u547d\u7684\u306a\u30c4\u30fc\u30eb\u3092\u3082\u305f\u3089\u3057\u307e\u3059\u3002<\/p>\n\n\n\n<p>\u305d\u306e\u6700\u5927\u306e\u7279\u5fb4\u306f\u3001\u975e\u5f62\u5f0f\u7684\u306a\u6570\u5b66\u7684\u63a8\u8ad6\uff08\u3064\u307e\u308a\u3001\u4eba\u9593\u304c\u4e00\u822c\u7684\u306b\u4f7f\u7528\u3059\u308b\u3082\u306e\uff09\u3068\u53b3\u5bc6\u306a\u5f62\u5f0f\u7684\u8a3c\u660e\u3092\u30b7\u30fc\u30e0\u30ec\u30b9\u306b\u7d44\u307f\u5408\u308f\u305b\u308b\u3053\u3068\u304c\u3067\u304d\u308b\u3053\u3068\u3067\u3001\u3053\u306e\u30e2\u30c7\u30eb\u306f\u4eba\u9593\u306e\u3088\u3046\u306b\u67d4\u8edf\u306b\u601d\u8003\u3057\u3001\u30b3\u30f3\u30d4\u30e5\u30fc\u30bf\u306e\u3088\u3046\u306b\u53b3\u5bc6\u306b\u8b70\u8ad6\u3059\u308b\u3053\u3068\u304c\u3067\u304d\u3001\u6570\u5b66\u7684\u63a8\u8ad6\u306e\u7d71\u5408\u3055\u308c\u305f\u878d\u5408\u3092\u5b9f\u73fe\u3059\u308b\u3002<\/p>\n\n\n\n<figure class=\"wp-block-image size-full\"><img decoding=\"async\" src=\"https:\/\/school.myshirtai.com\/wp-content\/uploads\/2025\/05\/image.png\" alt=\"\" class=\"wp-image-422\"\/><\/figure>\n\n\n\n<h2 class=\"wp-block-heading\" id=\"h-\u60ca\u4eba\u6027\u80fd-\u5237\u65b0\u591a\u9879\u8bb0\u5f55\">\u9a5a\u7570\u7684\u306a\u30d1\u30d5\u30a9\u30fc\u30de\u30f3\u30b9\uff1a\u6570\u3005\u306e\u8a18\u9332\u3092\u6a39\u7acb<\/h2>\n\n\n\n<p>DeepSeek-Prover-V2-671B\u306f\u3001\u5b9a\u7406\u8a3c\u660e\u306e\u3055\u307e\u3056\u307e\u306a\u30d9\u30f3\u30c1\u30de\u30fc\u30af\u306b\u304a\u3044\u3066\u3001\u3053\u308c\u307e\u3067\u306b\u306a\u3044\u5f37\u3055\u3092\u793a\u3057\u3066\u3044\u308b\uff1a<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>MiniF2F\u30c6\u30b9\u30c8\u30bb\u30c3\u30c8\u306788.9%\u3068\u3044\u3046\u904e\u53bb\u6700\u9ad8\u306e\u5408\u683c\u7387\u3092\u9054\u6210<\/li>\n\n\n\n<li>PutnamBench\u30c7\u30fc\u30bf\u30bb\u30c3\u30c8\u306e658\u554f\u4e2d49\u554f\u3092\u89e3\u304f\u3053\u3068\u306b\u6210\u529f<\/li>\n\n\n\n<li>\u307e\u305f\u3001AIME24\u308425\u306e\u3088\u3046\u306a\u96e3\u3057\u3044\u6570\u5b66\u7af6\u6280\u306e\u554f\u984c\u3067\u3082\u597d\u6210\u7e3e\u3092\u53ce\u3081\u3066\u3044\u308b\u3002<\/li>\n<\/ul>\n\n\n\n<p>\u591a\u304f\u306e\u30cd\u30c3\u30c8\u30e6\u30fc\u30b6\u30fc\u304c\u3053\u306e\u30e2\u30c7\u30eb\u3092\u30c6\u30b9\u30c8\u3057\u3001OpenAI\u306eo4-mini\u3084XAI\u306eGrok-3\u3068\u3044\u3063\u305f\u30c8\u30c3\u30d7\u30e2\u30c7\u30eb\u3088\u308a\u3082\u8907\u96d1\u306a\u6570\u5b66\u306e\u554f\u984c\u3092\u89e3\u304f\u80fd\u529b\u304c\u9ad8\u3044\u3068\u8ff0\u3079\u305f\u3002\u6570\u5b66\u30aa\u30ea\u30f3\u30d4\u30c3\u30af\u3092\u6398\u308a\u4e0b\u3052\u305f\u5b66\u751f\u306e\u4e2d\u306b\u306f\u3001\"\u30aa\u30ea\u30f3\u30d4\u30c3\u30af\u304c\u3053\u3093\u306a\u306b\u7c21\u5358\u3060\u3063\u305f\u3053\u3068\u306f\u306a\u3044\uff01\"\u3068\u53eb\u3093\u3060\u8005\u3082\u3044\u305f\u3002<\/p>\n\n\n\n<figure class=\"wp-block-image size-full\"><img decoding=\"async\" src=\"https:\/\/school.myshirtai.com\/wp-content\/uploads\/2025\/05\/image-4.png\" alt=\"\" class=\"wp-image-427\"\/><\/figure>\n\n\n\n<h2 class=\"wp-block-heading\" id=\"h-\u6280\u672f\u521b\u65b0-\u9012\u5f52\u4e0e\u5f3a\u5316\u5b66\u4e60\u7ed3\u5408\">\u6280\u8853\u9769\u65b0\uff1a\u518d\u5e30\u5b66\u7fd2\u3068\u5f37\u5316\u5b66\u7fd2\u306e\u7d44\u307f\u5408\u308f\u305b<\/h2>\n\n\n\n<p>\u30c6\u30af\u30cb\u30ab\u30eb\u30ec\u30dd\u30fc\u30c8\u306e\u4e2d\u3067\u3001DeepSeek\u30c1\u30fc\u30e0\u306f\u3001\u518d\u5e30\u5b66\u7fd2\u3068\u5f37\u5316\u5b66\u7fd2\u306e\u9769\u65b0\u7684\u306a\u7d44\u307f\u5408\u308f\u305b\u306b\u57fa\u3065\u304fProver-V2\u306e\u4e2d\u6838\u7684\u306a\u30c8\u30ec\u30fc\u30cb\u30f3\u30b0\u624b\u6cd5\u3092\u660e\u3089\u304b\u306b\u3057\u3066\u3044\u308b\u3002\u30e2\u30c7\u30eb\u306e\u5b66\u7fd2\u30d7\u30ed\u30bb\u30b9\u306f\u3001\u3044\u304f\u3064\u304b\u306e\u91cd\u8981\u306a\u30b9\u30c6\u30c3\u30d7\u306b\u5206\u304b\u308c\u3066\u3044\u307e\u3059\uff1a<\/p>\n\n\n\n<h3 class=\"wp-block-heading\" id=\"h-1-\u901a\u8fc7\u5b50\u76ee\u6807\u5206\u89e3\u5b9e\u73b0\u9012\u5f52\u5f0f\u8bc1\u660e\u641c\u7d22\">1.\u30b5\u30d6\u30b4\u30fc\u30eb\u306e\u5206\u89e3\u306b\u3088\u308b\u518d\u5e30\u7684\u8a3c\u660e\u63a2\u7d22<\/h3>\n\n\n\n<p>DeepSeek-Prover-V2 \u306f\u3001\u8907\u96d1\u306a\u5b9a\u7406\u3092\u4e00\u9023\u306e\u5c0f\u3055\u306a\u30ec\u30f3\u30de\u306b\u5206\u89e3\u3057\u3066\u8a3c\u660e\u3059\u308b\u3068\u3044\u3046\u3001\u4eba\u9593\u306e\u6570\u5b66\u8005\u3068\u540c\u69d8\u306e\u601d\u8003\u65b9\u6cd5\u3092\u4f7f\u7528\u3057\u307e\u3059\u3002\u5177\u4f53\u7684\u306a\u5b9f\u88c5\u30d7\u30ed\u30bb\u30b9\u306f\u4ee5\u4e0b\u306e\u901a\u308a\uff1a<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>DeepSeek-V3\u306f\u3001\u307e\u305a\u81ea\u7136\u8a00\u8a9e\u5f62\u5f0f\u306e\u8a3c\u660e\u30b9\u30b1\u30c3\u30c1\u3092\u751f\u6210\u3057\u3001\u305d\u308c\u3092\u30ea\u30fc\u30f3\u8a00\u8a9e\u306e\u5b9a\u7406\u6587\u3068\u3057\u3066\u5f62\u5f0f\u5316\u3059\u308b\u3088\u3046\u4fc3\u3055\u308c\u308b\u3002<\/li>\n\n\n\n<li>\u5206\u89e3\u3055\u308c\u305f\u30b5\u30d6\u30b4\u30fc\u30eb\u306f\u30017B\u8a3c\u660e\u30e2\u30c7\u30eb\u3092\u7528\u3044\u3066\u518d\u5e30\u7684\u306b\u89e3\u304b\u308c\u308b\u3002<\/li>\n\n\n\n<li>\u6700\u5f8c\u306b\u3001\u3053\u308c\u3089\u306e\u30b5\u30d6\u30b4\u30fc\u30eb\u306e\u8a3c\u660e\u3092\u7d44\u307f\u5408\u308f\u305b\u3066\u3001\u5143\u306e\u8907\u96d1\u306a\u554f\u984c\u306e\u5b8c\u5168\u306a\u5f62\u5f0f\u7684\u8a3c\u660e\u3092\u69cb\u7bc9\u3059\u308b\u3002<\/li>\n<\/ul>\n\n\n\n<p>\u3053\u306e\u30a2\u30d7\u30ed\u30fc\u30c1\u306f\u8a3c\u660e\u306e\u52b9\u7387\u3092\u5411\u4e0a\u3055\u305b\u308b\u3060\u3051\u3067\u306a\u304f\u3001\u30e2\u30c7\u30eb\u304c\u6271\u3048\u308b\u5b9a\u7406\u306e\u7bc4\u56f2\u3092\u5e83\u3052\u308b\u3002<\/p>\n\n\n\n<figure class=\"wp-block-image size-full\"><img decoding=\"async\" src=\"https:\/\/school.myshirtai.com\/wp-content\/uploads\/2025\/05\/image-2.png\" alt=\"\" class=\"wp-image-424\"\/><\/figure>\n\n\n\n<h3 class=\"wp-block-heading\" id=\"h-2-\u7edf\u4e00\u975e\u5f62\u5f0f\u5316\u63a8\u7406\u4e0e\u5f62\u5f0f\u5316\u8bc1\u660e\">2.\u975e\u5f62\u5f0f\u7684\u63a8\u8ad6\u3068\u5f62\u5f0f\u7684\u8a3c\u660e\u306e\u8abf\u548c<\/h3>\n\n\n\n<p>DeepSeek\u30c1\u30fc\u30e0\u306f\u3001\u9ad8\u30ec\u30d9\u30eb\u306e\u81ea\u7136\u8a00\u8a9e\u63a8\u8ad6\u3068\u4f4e\u30ec\u30d9\u30eb\u306e\u53b3\u5bc6\u306a\u8a3c\u660e\u30d7\u30ed\u30bb\u30b9\u3092\u5de7\u307f\u306b\u878d\u5408\u3055\u305b\u3066\u3044\u308b\uff1a<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>\u89e3\u6c7a\u3059\u308b\u306e\u304c\u7279\u306b\u96e3\u3057\u3044\u554f\u984c\u3092\u9078\u3073\u3001\u305d\u308c\u3092\u5c0f\u3055\u306a\u76ee\u6a19\u306b\u5206\u89e3\u3059\u308b\u3002<\/li>\n\n\n\n<li>\u30df\u30cb\u30b4\u30fc\u30eb\u304c\u305d\u308c\u305e\u308c\u8a3c\u660e\u3055\u308c\u308b\u3068\u3001\u305d\u308c\u3089\u304c\u7d44\u307f\u5408\u308f\u3055\u308c\u3066\u5b8c\u5168\u306a\u53b3\u5bc6\u8a3c\u660e\u3068\u306a\u308b<\/li>\n\n\n\n<li>\u3053\u306e\u5b8c\u5168\u306a\u8a3c\u660e\u3092DeepSeek-V3\u304c\u751f\u6210\u3059\u308b\u300c\u601d\u8003\u9023\u9396\u300d\u306b\u52a0\u3048\u3001\u4eba\u9593\u306e\u601d\u8003\u3068\u6a5f\u68b0\u306e\u691c\u8a3c\u3092\u7d44\u307f\u5408\u308f\u305b\u305f\u30c8\u30ec\u30fc\u30cb\u30f3\u30b0\u30c7\u30fc\u30bf\u3092\u4f5c\u6210\u3059\u308b\u3002<\/li>\n<\/ul>\n\n\n\n<p>\u3053\u306e\u3088\u3046\u306b\u3057\u3066\u3001\u30c1\u30fc\u30e0\u306f\u4f55\u767e\u3082\u306e\u8cea\u306e\u9ad8\u3044\u30c8\u30ec\u30fc\u30cb\u30f3\u30b0\u30c7\u30fc\u30bf\u3092\u53ce\u96c6\u3057\u3001\u30e2\u30c7\u30eb\u306e\u305f\u3081\u306e\u5f37\u56fa\u306a\u5b66\u7fd2\u57fa\u76e4\u3092\u63d0\u4f9b\u3057\u305f\u3002<\/p>\n\n\n\n<figure class=\"wp-block-image size-full\"><img decoding=\"async\" src=\"https:\/\/school.myshirtai.com\/wp-content\/uploads\/2025\/05\/image-5.png\" alt=\"\" class=\"wp-image-428\"\/><\/figure>\n\n\n\n<h3 class=\"wp-block-heading\" id=\"h-3-\u5f3a\u5316\u5b66\u4e60\u63d0\u5347\u63a8\u7406\u80fd\u529b\">3.\u63a8\u7406\u529b\u3092\u9ad8\u3081\u308b\u305f\u3081\u306e\u5b66\u7fd2\u5f37\u5316<\/h3>\n\n\n\n<p>\u6700\u521d\u306e\u5fae\u8abf\u6574\u306e\u5f8c\u3001\u30c1\u30fc\u30e0\u306f\u30b0\u30eb\u30fc\u30d7\u76f8\u5bfe\u653f\u7b56\u6700\u9069\u5316\uff08GRPO\uff09\u5f37\u5316\u5b66\u7fd2\u30a2\u30eb\u30b4\u30ea\u30ba\u30e0\u3092\u5c0e\u5165\u3057\u305f\uff1a<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>\u5404\u554f\u984c\u306b\u5bfe\u3057\u3066\u8907\u6570\u306e\u8a3c\u660e\u5019\u88dc\u3092\u30b5\u30f3\u30d7\u30ea\u30f3\u30b0\u3057\u3001\u76f8\u5bfe\u7684\u306a\u5831\u916c\u306b\u3088\u3063\u3066\u6226\u7565\u3092\u6700\u9069\u5316\u3059\u308b\u3002<\/li>\n\n\n\n<li>\u4e8c\u9032\u6cd5\u306e\u5831\u916c\u30e1\u30ab\u30cb\u30ba\u30e0\u3092\u4f7f\u7528\uff1a\u30ea\u30fc\u30f3\u306f\u3001\u691c\u8a3c\u306b\u6210\u529f\u3057\u305f\u5834\u5408\u306f\u300c1\u300d\u3001\u5931\u6557\u3057\u305f\u5834\u5408\u306f\u300c0\u300d\u3092\u7372\u5f97\u3059\u308b\u3002<\/li>\n\n\n\n<li>\u69cb\u9020\u7684\u6574\u5408\u6027\u30dc\u30fc\u30ca\u30b9\u306f\u3001\u30e2\u30c7\u30eb\u306b\u3088\u3063\u3066\u751f\u6210\u3055\u308c\u305f\u8a3c\u660e\u304c\u601d\u8003\u9023\u9396\u5206\u89e3\u306e\u30a2\u30a4\u30c7\u30a2\u3068\u6574\u5408\u3057\u3066\u3044\u308b\u3053\u3068\u3092\u4fdd\u8a3c\u3059\u308b\u305f\u3081\u306b\u7279\u5225\u306b\u8a2d\u8a08\u3055\u308c\u3066\u3044\u308b\u3002<\/li>\n<\/ul>\n\n\n\n<p>\u3053\u306e\u5b66\u7fd2\u65b9\u6cd5\u306f\u3001\u8907\u96d1\u306a\u5b9a\u7406\u8a3c\u660e\u306b\u304a\u3051\u308b\u30e2\u30c7\u30eb\u306e\u7cbe\u5ea6\u3092\u5927\u5e45\u306b\u5411\u4e0a\u3055\u305b\u308b\u3002<\/p>\n\n\n\n<figure class=\"wp-block-image size-full\"><img decoding=\"async\" src=\"https:\/\/school.myshirtai.com\/wp-content\/uploads\/2025\/05\/image-3.png\" alt=\"\" class=\"wp-image-425\"\/><\/figure>\n\n\n\n<h2 class=\"wp-block-heading\" id=\"h-proverbench-\u5168\u65b0\u7684\u6570\u5b66\u57fa\u51c6\u6d4b\u8bd5\u96c6\">ProverBench: \u6570\u5b66\u30d9\u30f3\u30c1\u30de\u30fc\u30af\u306e\u65b0\u3057\u3044\u30bb\u30c3\u30c8<\/h2>\n\n\n\n<p>\u30c7\u30a3\u30fc\u30d7\u30b7\u30fc\u30af\u306f\u3001\u30e2\u30c7\u30eb\u81ea\u4f53\u306b\u52a0\u3048\u3066\u3001325\u306e\u8cea\u554f\u304b\u3089\u306a\u308b\u30d9\u30f3\u30c1\u30de\u30fc\u30af\u30fb\u30c7\u30fc\u30bf\u30bb\u30c3\u30c8\u3067\u3042\u308bProverBench\u3092\u30ea\u30ea\u30fc\u30b9\u3057\u305f\uff1a<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li>AIME 24\u308425\u3068\u3044\u3063\u305f\u6700\u65b0\u306e\u6570\u5b66\u30b3\u30f3\u30c6\u30b9\u30c8\u304b\u3089\u6570\u8ad6\u3068\u4ee3\u6570\u306b\u95a2\u3059\u308b15\u554f\u3092\u51fa\u984c\u3002<\/li>\n\n\n\n<li>\u6559\u79d1\u66f8\u306e\u4f8b\u984c\u3084\u30c1\u30e5\u30fc\u30c8\u30ea\u30a2\u30eb\u304b\u3089310\u554f\u3092\u53b3\u9078\u3057\u3001\u5e45\u5e83\u3044\u96e3\u6613\u5ea6\u3068\u5206\u91ce\u3092\u30ab\u30d0\u30fc\u3002<\/li>\n<\/ul>\n\n\n\n<p>\u3053\u306e\u30c7\u30fc\u30bf\u30bb\u30c3\u30c8\u306f\u3001\u9ad8\u6821\u751f\u306e\u7af6\u6280\u30ec\u30d9\u30eb\u3068\u5b66\u90e8\u751f\u306e\u6570\u5b66\u30ec\u30d9\u30eb\u306e\u4e21\u65b9\u306e\u30e2\u30c7\u30eb\u306e\u5305\u62ec\u7684\u306a\u8a55\u4fa1\u3092\u63d0\u4f9b\u3057\u3001\u6570\u5b66AI\u7814\u7a76\u306e\u3088\u308a\u4f53\u7cfb\u7684\u306a\u30c6\u30b9\u30c8\u30d7\u30e9\u30c3\u30c8\u30d5\u30a9\u30fc\u30e0\u3092\u63d0\u4f9b\u3059\u308b\u3053\u3068\u3092\u76ee\u7684\u3068\u3057\u3066\u3044\u308b\u3002<\/p>\n\n\n\n<p>ProverBench Link\uff1a<a href=\"https:\/\/huggingface.co\/datasets\/deepseek-ai\/DeepSeek-ProverBench\">https:\/\/huggingface.co\/datasets\/deepseek-ai\/DeepSeek-ProverBench<\/a><\/p>\n\n\n\n<h2 class=\"wp-block-heading\" id=\"h-\u5b9e\u9a8c\u7ed3\u679c\u4e0e\u4eae\u70b9\u53d1\u73b0\">\u5b9f\u9a13\u7d50\u679c\u3068\u5f37\u8abf\u4e8b\u9805<\/h2>\n\n\n\n<p>\u7814\u7a76\u306e\u904e\u7a0b\u3067\u3001\u7814\u7a76\u30c1\u30fc\u30e0\u306f\u3044\u304f\u3064\u304b\u306e\u8208\u5473\u6df1\u3044\u73fe\u8c61\u3092\u767a\u898b\u3057\u305f\uff1a<\/p>\n\n\n\n<h3 class=\"wp-block-heading\" id=\"h-cot-vs-non-cot\u6a21\u5f0f\">CoT\u30e2\u30c7\u30eb\u3068\u975eCoT\u30e2\u30c7\u30eb<\/h3>\n\n\n\n<p>DeepSeek-Prover-V2 \u306f\u30012 \u3064\u306e\u76f8\u88dc\u7684\u306a\u8a3c\u660e\u751f\u6210\u30e2\u30fc\u30c9\u3092\u30b5\u30dd\u30fc\u30c8\u3057\u3066\u3044\u307e\u3059\uff1a<\/p>\n\n\n\n<ul class=\"wp-block-list\">\n<li><strong>\u9ad8\u52b9\u7387\u306e\u975eCoT\uff08\u975eChain of Thought\uff09\u30e2\u30c7\u30eb<\/strong>\u4e2d\u9593\u63a8\u8ad6\u30b9\u30c6\u30c3\u30d7\u306e\u306a\u3044\u30ea\u30fc\u30f3\u30b3\u30fc\u30c9\u306e\u9ad8\u901f\u751f\u6210<\/li>\n\n\n\n<li><strong>\u9ad8\u7cbe\u5ea6\u601d\u8003\u9023\u9396\uff08CoT\uff09\u30e2\u30c7\u30eb<\/strong>\u63a8\u8ad6\u30d7\u30ed\u30bb\u30b9\u306e\u4f53\u7cfb\u7684\u8868\u73fe\u3068\u8ad6\u7406\u7684\u306b\u660e\u78ba\u306a\u8a3c\u660e\u306e\u6bb5\u968e\u7684\u69cb\u7bc9<\/li>\n<\/ul>\n\n\n\n<p>\u5b9f\u9a13\u3067\u306f\u3001CoT\u30e2\u30c7\u30eb\u304c\u975eCoT\u30e2\u30c7\u30eb\u3088\u308a\u3082\u6570\u5b66\u7684\u63a8\u8ad6\u306b\u304a\u3044\u3066\u6709\u610f\u306b\u512a\u308c\u3066\u3044\u308b\u3053\u3068\u304c\u793a\u3055\u308c\u3001\u5b9a\u7406\u8a3c\u660e\u306e\u9818\u57df\u306b\u304a\u3051\u308b\u9023\u9396\u7684\u601d\u8003\u306e\u624b\u304c\u304b\u308a\u306e\u6709\u52b9\u6027\u304c\u78ba\u8a8d\u3055\u308c\u305f\u3002<\/p>\n\n\n\n<h3 class=\"wp-block-heading\" id=\"h-\u5c0f\u6a21\u578b\u7684\u610f\u5916\u80fd\u529b\">\u5c0f\u578b\u30e2\u30c7\u30eb\u306e\u610f\u5916\u306a\u80fd\u529b<\/h3>\n\n\n\n<p>\u9a5a\u304f\u3079\u304d\u3053\u3068\u306b\u3001DeepSeek-Prover-V2-7B\u306f\u3001PutnamBench\u30c7\u30fc\u30bf\u30bb\u30c3\u30c8\u3067\u975eCoT\u30e2\u30c7\u30eb\u3092\u4f7f\u7528\u3057\u305f\u5834\u5408\u3001\u671f\u5f85\u4ee5\u4e0a\u306e\u6027\u80fd\u3092\u767a\u63ee\u3057\u307e\u3057\u305f\u3002671B\u30e2\u30c7\u30eb\u304c\u89e3\u3051\u306a\u304b\u3063\u305f13\u306e\u554f\u984c\u3055\u3048\u89e3\u3044\u305f\uff01<\/p>\n\n\n\n<p>\u89e3\u6790\u306e\u7d50\u679c\u30017B\u30e2\u30c7\u30eb\u306f\u3001671B\u30e2\u30c7\u30eb\u3067\u306f\u7a00\u306a\u3001\u6709\u9650\u5869\u57fa\u3092\u542b\u3080\u554f\u984c\u306b\u5bfe\u3059\u308bCardinal.toNat\u3068Cardinal.natCast_inj\u306e\u983b\u7e41\u306a\u4f7f\u7528\u3068\u3044\u3046\u3001\u30e6\u30cb\u30fc\u30af\u306a\u6280\u6cd5\u3092\u7372\u5f97\u3057\u3066\u3044\u308b\u3053\u3068\u304c\u660e\u3089\u304b\u306b\u306a\u3063\u305f\u3002\u3053\u306e\u767a\u898b\u306f\u3001\u5f37\u5316\u5b66\u7fd2\u304c\u5168\u4f53\u7684\u306a\u6027\u80fd\u3092\u5411\u4e0a\u3055\u305b\u308b\u3060\u3051\u3067\u306a\u304f\u3001\u30e2\u30c7\u30eb\u306b\u7279\u6b8a\u306a\u554f\u984c\u89e3\u6c7a\u6280\u8853\u3092\u8eab\u306b\u3064\u3051\u3055\u305b\u308b\u3053\u3068\u3092\u793a\u5506\u3057\u3066\u3044\u308b\u3002<\/p>\n\n\n\n<h2 class=\"wp-block-heading\" id=\"h-\u5feb\u901f\u4e0a\u624b\u6307\u5357\">\u30af\u30a4\u30c3\u30af\u30b9\u30bf\u30fc\u30c8\u30ac\u30a4\u30c9<\/h2>\n\n\n\n<p>DeepSeek-Prover-V2\u3092\u8a66\u3057\u3066\u307f\u305f\u3044\u3067\u3059\u304b\uff1fHugging Face\u306eTransformers\u30e9\u30a4\u30d6\u30e9\u30ea\u3092\u30e2\u30c7\u30eb\u63a8\u8ad6\u306b\u4f7f\u7528\u3059\u308b\u65b9\u6cd5\u3092\u793a\u3059\u7c21\u5358\u306a\u4f8b\u3067\u3059\uff1a<\/p>\n\n\n\n<div class=\"wp-block-code\"><div class=\"xhcode-toolbar\"><i class=\"xhcode-icon-codesvg\"><\/i><span>PHP<\/span><\/div><pre><code lang=\"php\" class=\"language-php\">from transformers import AutoModelForCausalLM, AutoTokenizer\n\u30a4\u30f3\u30dd\u30fc\u30c8\u30c8\u30fc\u30c1\n\ntorch.manual_seed(30)\nmodel_id = \"deepseek-ai\/DeepSeek-Prover-V2-7B\" # \u307e\u305f\u306f deepseek-ai\/DeepSeek-Prover-V2-671B\ntokenizer = AutoTokenizer.from_pretrained(model_id)\n\nformal_statement = \"\"\"\n\u30a4\u30f3\u30dd\u30fc\u30c8 Mathlib\n\u30a4\u30f3\u30dd\u30fc\u30c8 Aesop\nset_option maxHeartbeats 0\nopen BigOperators Real Nat Topology Rat\n\/-- $120%$ of 30\u3068$130%$ of 20\u306e\u6b63\u306e\u5dee\u306f\uff1f 10\u3067\u3042\u308b\u3053\u3068\u3092\u793a\u305b\u3002\n\u5b9a\u7406 mathd_algebra_10 : abs ((120 : \u21aaLu_211D) \/ 100 * 30 - 130 \/ 100 * 20) = 10 := by\n    \u3059\u307e\u3093\n\"\"\".strip()\n\nprompt = \"\"\"\n\u4ee5\u4e0b\u306eLean 4\u306e\u30b3\u30fc\u30c9\u3092\u5b8c\u6210\u3055\u305b\u306a\u3055\u3044\u3002\n \u30ea\u30fc\u30f34\n{}<\/code><\/pre><\/div>\n\n\n\n<h2 class=\"wp-block-heading\" id=\"h-\u672a\u6765\u5c55\u671b\">\u5c06\u6765\u5c55\u671b<\/h2>\n\n\n\n<p>DeepSeek\u30c1\u30fc\u30e0\u306f\u3001\u3053\u306e\u30d5\u30ec\u30fc\u30e0\u30ef\u30fc\u30af\u3092AlphaProof\u306e\u3088\u3046\u306a\u30b7\u30b9\u30c6\u30e0\u306b\u62e1\u5f35\u3059\u308b\u3053\u3068\u306b\u4eca\u5f8c\u306e\u7814\u7a76\u306e\u7126\u70b9\u3092\u7d5e\u308b\u3068\u3057\u3066\u3044\u308b\u3002\u6700\u7d42\u7684\u306a\u76ee\u6a19\u306f\u3001\u81ea\u52d5\u5b9a\u7406\u8a3c\u660e\u5206\u91ce\u306e\u6700\u5148\u7aef\u3092\u793a\u3059IMO\u30ec\u30d9\u30eb\u306e\u6570\u5b66\u30d1\u30ba\u30eb\u3092\u89e3\u304f\u3053\u3068\u3067\u3042\u308b\u3002DeepSeek-Prover-V2\u306e\u30ea\u30ea\u30fc\u30b9\u306b\u3088\u308a\u3001\u6211\u3005\u306f\u6570\u5b66\u306e\u7814\u7a76\u65b9\u6cd5\u306b\u5927\u304d\u306a\u5909\u5316\u3092\u76ee\u6483\u3059\u308b\u3053\u3068\u306b\u306a\u308b\u304b\u3082\u3057\u308c\u306a\u3044\u3002\u5358\u306a\u308b\u6280\u8853\u7684\u9032\u6b69\u306b\u3068\u3069\u307e\u3089\u305a\u3001\u3053\u306e\u30e2\u30c7\u30eb\u306f\u3001\u4eba\u9593\u304cAI\u3068\u5354\u529b\u3057\u3066\u8907\u96d1\u306a\u554f\u984c\u3092\u89e3\u304f\u305f\u3081\u306e\u65b0\u3057\u3044\u30d1\u30e9\u30c0\u30a4\u30e0\u3092\u8c61\u5fb4\u3057\u3066\u3044\u308b\u3002<br><br>\u4e00\u65b9\u3001DeepSeek-R2\u3078\u306e\u671f\u5f85\u306f\u307e\u3059\u307e\u3059\u9ad8\u307e\u3063\u3066\u3044\u308b\u3002\u3042\u308b\u30cd\u30c3\u30c8\u30e6\u30fc\u30b6\u30fc\u306f\u3001\"\u3053\u306e\u5c0f\u3055\u306a\u30b7\u30ed\u30ca\u30ac\u30b9\u30af\u30b8\u30e9\u3092\u30ce\u30c3\u30af\u3057\u3066\u304f\u308c\uff01R2\u306f\u4e00\u4f53\u3044\u3064\u9001\u308a\u51fa\u3055\u308c\u308b\u3093\u3060\uff01\"\u3068\u8a00\u3063\u305f\u3002<\/p>\n\n\n\n<p><strong>GPT Plus\u3001Claude Pro\u3001Grok Super\u306e\u516c\u5f0f\u6709\u6599\u72ec\u5360\u30a2\u30ab\u30a6\u30f3\u30c8\u3092\u4f7f\u7528\u3057\u305f\u3044\u5834\u5408\u3001\u30a2\u30ab\u30a6\u30f3\u30c8\u306e\u30c8\u30c3\u30d7\u30a2\u30c3\u30d7\u306e\u65b9\u6cd5\u304c\u308f\u304b\u3089\u306a\u3044\u5834\u5408\u306f\u3001\u5f53\u793e\u306e\u5c02\u9580\u30c1\u30fc\u30e0\uff08wx: abch891\uff09\u306b\u304a\u554f\u3044\u5408\u308f\u305b\u304f\u3060\u3055\u3044\u3002<\/strong><\/p>\n\n\n\n<table style=\"width: 100%;border-collapse: collapse;border: 1px solid #ddd\">\n<thead>\n<tr style=\"height: 48px;background-color: #f5f5f5\">\n<th style=\"width: 50%;height: 48px;border: 1px solid #ddd;padding: 8px\">\n<h4 style=\"margin: 0\">\u305d\u306e\u4ed6\u306e\u88fd\u54c1\u306b\u3064\u3044\u3066\u306f<\/h4>\n<\/th>\n<th style=\"width: 50%;height: 48px;border: 1px solid #ddd;padding: 8px\">\n<h4 style=\"margin: 0\">\u8a73\u7d30\u306f\u3053\u3061\u3089<\/h4>\n<\/th>\n<\/tr>\n<\/thead>\n<tbody>\n<tr style=\"height: 63px\">\n<td style=\"width: 50%;height: 63px;border: 1px solid #ddd;padding: 8px\"><a href=\"https:\/\/www.myshirtai.com\/ja\/\" data-linktype=\"2\">\u30b7\u30e3\u30c4AI - \u8cab\u901a\u3059\u308b\u77e5\u6027<\/a><\/td>\n<td style=\"width: 50%;height: 63px;border: 1px solid #ddd;padding: 8px\"><a href=\"https:\/\/www.myshirtai.com\/ja\/archives\/4425\/\" data-linktype=\"2\">AIGC\u30d3\u30c3\u30b0\u30e2\u30c7\u30eb\uff1a\u5de5\u5b66\u3068\u79d1\u5b66\u306e\u4e8c\u5927\u9769\u547d\u306e\u6642\u4ee3\u3092\u5207\u308a\u958b\u304f - Penetrating Intelligence<\/a><\/td>\n<\/tr>\n<tr style=\"height: 61px\">\n<td style=\"width: 50%;height: 61px;border: 1px solid #ddd;padding: 8px\"><a href=\"https:\/\/www.myshirtai.com\/ja\/\" data-linktype=\"2\">\u30af\u30ed\u30fc\u30c9\u3068GPT\u306e1:1\u5fa9\u5143 \u516c\u5f0f\u30b5\u30a4\u30c8 - AI Cloud Native<\/a><\/td>\n<td style=\"width: 50%;height: 61px;border: 1px solid #ddd;padding: 8px\"><a href=\"https:\/\/www.bluelsqkj.com\/archives\/2876\" data-linktype=\"2\">\u30e9\u30a4\u30d6\u30de\u30c3\u30c1\u30a2\u30d7\u30ea \u30b0\u30ed\u30fc\u30d0\u30ebHD\u30b9\u30dd\u30fc\u30c4\u89b3\u6226\u30d7\u30ec\u30fc\u30e4\u30fc\uff08\u63a8\u5968\uff09 - Blueshirt Technology<\/a><\/td>\n<\/tr>\n<tr style=\"height: 54px\">\n<td style=\"width: 50%;height: 54px;border: 1px solid #ddd;padding: 8px\"><a href=\"https:\/\/api.mygptmeta.com\/\" data-linktype=\"2\">\u516c\u5f0fAPI\u306b\u57fa\u3065\u304f\u30c8\u30e9\u30f3\u30b8\u30c3\u30c8\u30b5\u30fc\u30d3\u30b9 - GPTMeta API<\/a><\/td>\n<td style=\"width: 50%;height: 54px;border: 1px solid #ddd;padding: 8px\"><a href=\"https:\/\/www.zhihu.com\/question\/621055223\/answer\/3633615705\" data-linktype=\"2\">GPT\u3067\u306e\u8cea\u554f\u306e\u4ed5\u65b9\u3092\u6559\u3048\u3066\u304f\u3060\u3055\u3044\u3002- \u77e5\u8b58<\/a><\/td>\n<\/tr>\n<tr style=\"height: 70px\">\n<td style=\"width: 50%;height: 70px;border: 1px solid #ddd;padding: 8px\"><a href=\"https:\/\/shop.blueshirtmap.com\/\" data-linktype=\"2\">\u30b0\u30ed\u30fc\u30d0\u30eb\u30d0\u30fc\u30c1\u30e3\u30eb\u30b0\u30c3\u30ba\u30c7\u30b8\u30bf\u30eb\u30b9\u30c8\u30a2 - \u30b0\u30ed\u30fc\u30d0\u30eb\u30b9\u30de\u30fc\u30c8\u30fc\u30f3\uff08\u99ae\u73b2\u845b\uff09<\/a><\/td>\n<td style=\"width: 50%;height: 70px;border: 1px solid #ddd;padding: 8px\"><a href=\"https:\/\/www.bilibili.com\/video\/BV1efpneYE54\/?spm_id_from=333.1387.homepage.video_card.click\" data-linktype=\"2\">GPT\u304c\u77ac\u6642\u306b\u3044\u3044\u5302\u3044\u3092\u611f\u3058\u306a\u304f\u306a\u308b\u30af\u30ed\u30fc\u30c9\u30fb\u30a8\u30a2\u30c8\u30d5\u30a1\u30af\u30c8\u6a5f\u80fd\u306e\u5b9f\u529b\u306f\uff1f-\u30d4\u30fc\u30d4\u30fc\u30d4\u30fc<\/a><\/td>\n<\/tr>\n<\/tbody>\n<\/table>","protected":false},"excerpt":{"rendered":"<p>DeepSeek\u306f5\u67081\u65e5\u3001\u6570\u5b66\u8a3c\u660e\u7528\u306b\u8a2d\u8a08\u3055\u308c\u305fDeepSeek-Prover2\u30e2\u30c7\u30eb\u3092\u30aa\u30fc\u30d7\u30f3\u30bd\u30fc\u30b9\u5316\u3057\u305f\u3002\u3053\u306e\u30e2\u30c7\u30eb\u306b\u306f6710\u5104\u306e\u30d1\u30e9\u30e1\u30fc\u30bf\u306870\u5104\u306e\u30d1\u30e9\u30e1\u30fc\u30bf\u30fb\u30d0\u30fc\u30b8\u30e7\u30f3\u304c\u542b\u307e\u308c\u3066\u3044\u308b\u3002\u3053\u306e\u30e2\u30c7\u30eb\u306f\u3001\u518d\u5e30\u3068\u5f37\u5316\u5b66\u7fd2\u306e\u7d44\u307f\u5408\u308f\u305b\u3092\u4f7f\u7528\u3057\u3001\u5408\u683c\u738788.9%\u306eMiniFF\u30c6\u30b9\u30c8\u306a\u3069\u3001\u3044\u304f\u3064\u304b\u306e\u6570\u5b66\u30c6\u30b9\u30c8\u3067\u512a\u308c\u305f\u6210\u7e3e\u3092\u53ce\u3081\u3066\u3044\u308b\u3002 \u540c\u6642\u306b\u516c\u958b\u3055\u308c\u305fProBench\u30c7\u30fc\u30bf\u30bb\u30c3\u30c8\u306b\u306f\u3001\u30e2\u30c7\u30eb\u306e\u80fd\u529b\u3092\u8a55\u4fa1\u3059\u308b\u305f\u3081\u306e325\u554f\u304c\u542b\u307e\u308c\u3066\u3044\u308b\u3002\u5b9f\u9a13\u306e\u7d50\u679c\u3001Chain of Thought\u30e2\u30c7\u30eb\u306f\u7cbe\u5ea6\u3092\u5927\u5e45\u306b\u5411\u4e0a\u3055\u305b\u3001\u7279\u5b9a\u306e\u554f\u984c\u3067\u306f\u30df\u30cb\u30e2\u30c7\u30eb\u304c\u4e0a\u56de\u308b\u3053\u3068\u3055\u3048\u5224\u660e\u3057\u3066\u3044\u308b\u3002\u3053\u306e\u30e2\u30c7\u30eb\u306f\u3059\u3067\u306bHugging Face\u306b\u3042\u308a\u3001\u6570\u5b66\u7814\u7a76\u306e\u65b0\u3057\u3044\u30d1\u30e9\u30c0\u30a4\u30e0\u3092\u652f\u3048\u3066\u3044\u308b\u3002<\/p>","protected":false},"author":1,"featured_media":6381,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"_uag_custom_page_level_css":"","site-sidebar-layout":"default","site-content-layout":"","ast-site-content-layout":"","site-content-style":"default","site-sidebar-style":"default","ast-global-header-display":"","ast-banner-title-visibility":"","ast-main-header-display":"","ast-hfb-above-header-display":"","ast-hfb-below-header-display":"","ast-hfb-mobile-header-display":"","site-post-title":"","ast-breadcrumbs-content":"","ast-featured-img":"","footer-sml-layout":"","theme-transparent-header-meta":"","adv-header-id-meta":"","stick-header-meta":"","header-above-stick-meta":"","header-main-stick-meta":"","header-below-stick-meta":"","astra-migrate-meta-layouts":"default","ast-page-background-enabled":"default","ast-page-background-meta":{"desktop":{"background-color":"var(--ast-global-color-4)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""},"tablet":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""},"mobile":{"background-color":"","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""}},"ast-content-background-meta":{"desktop":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""},"tablet":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""},"mobile":{"background-color":"var(--ast-global-color-5)","background-image":"","background-repeat":"repeat","background-position":"center center","background-size":"auto","background-attachment":"scroll","background-type":"","background-media":"","overlay-type":"","overlay-color":"","overlay-opacity":"","overlay-gradient":""}},"footnotes":""},"categories":[53],"tags":[58,59],"class_list":["post-6382","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry","category-blog","tag-theorem-proving","tag-mathematical-ai"],"yoast_head":"<!-- This site is optimized with the Yoast SEO Premium plugin v22.3 (Yoast SEO v25.2) - https:\/\/yoast.com\/wordpress\/plugins\/seo\/ -->\n<title>DeepSeek\u53d1\u5e03Prover-V2\u6a21\u578b\uff1a671B\u53c2\u6570\u52a9\u529b\u6570\u5b66\u5b9a\u7406\u8bc1\u660e - \u6e17\u900f\u667a\u80fd<\/title>\n<meta name=\"robots\" content=\"index, follow, max-snippet:-1, max-image-preview:large, max-video-preview:-1\" \/>\n<link rel=\"canonical\" href=\"https:\/\/www.myshirtai.com\/ja\/archives\/6382\/\" \/>\n<meta property=\"og:locale\" content=\"ja_JP\" \/>\n<meta property=\"og:type\" content=\"article\" \/>\n<meta property=\"og:title\" content=\"DeepSeek\u53d1\u5e03Prover-V2\u6a21\u578b\uff1a671B\u53c2\u6570\u52a9\u529b\u6570\u5b66\u5b9a\u7406\u8bc1\u660e\" \/>\n<meta property=\"og:description\" content=\"DeepSeek\u5728\u4e94\u4e00\u671f\u95f4\u5f00\u6e90\u4e86\u4e13\u4e3a\u6570\u5b66\u8bc1\u660e\u8bbe\u8ba1\u7684DeepSeek-Prover2\u6a21\u578b\uff0c\u5305\u542b6710\u4ebf\u53c2\u6570\u548c70\u4ebf\u53c2\u6570\u7248\u672c\u3002\u8be5\u6a21\u578b\u91c7\u7528\u9012\u5f52\u4e0e\u5f3a\u5316\u5b66\u4e60\u7ed3\u5408\u7684\u6280\u672f\u5728\u591a\u9879\u6570\u5b66\u6d4b\u8bd5\u4e2d\u8868\u73b0\u4f18\u5f02\uff0c\u5982MiniFF\u6d4b\u8bd5\u901a\u8fc7\u7387\u8fbe88.9%\u3002\u540c\u65f6\u53d1\u5e03\u7684ProBench\u6570\u636e\u96c6\u5305\u542b325\u9053\u9898\u76ee\uff0c\u8bc4\u4f30\u6a21\u578b\u80fd\u529b\u3002\u5b9e\u9a8c\u53d1\u73b0\u601d\u7ef4\u94fe\u6a21\u5f0f\u80fd\u663e\u8457\u8bc1\u660e\u51c6\u786e\u7387\uff0c\u5c0f\u6a21\u578b\u5728\u7279\u5b9a\u95ee\u9898\u4e0a\u751a\u81f3\u8d85\u8d8a\u6a21\u578b\u3002\u6a21\u578b\u5df2\u5728Hugging Face\uff0c\u652f\u6301\u6570\u5b66\u7814\u7a76\u65b0\u8303\u5f0f\u3002\" \/>\n<meta property=\"og:url\" content=\"https:\/\/www.myshirtai.com\/ja\/archives\/6382\/\" \/>\n<meta property=\"og:site_name\" content=\"\u6e17\u900f\u667a\u80fd\" \/>\n<meta property=\"article:published_time\" content=\"2025-05-01T10:29:02+00:00\" \/>\n<meta property=\"og:image\" content=\"https:\/\/www.myshirtai.com\/wp-content\/uploads\/2025\/05\/maxresdefault.jpg\" \/>\n\t<meta property=\"og:image:width\" content=\"1280\" \/>\n\t<meta property=\"og:image:height\" content=\"720\" \/>\n\t<meta property=\"og:image:type\" content=\"image\/jpeg\" \/>\n<meta name=\"author\" content=\"IvesFeng666\" \/>\n<meta name=\"twitter:card\" content=\"summary_large_image\" \/>\n<meta name=\"twitter:label1\" content=\"\u57f7\u7b46\u8005\" \/>\n\t<meta name=\"twitter:data1\" content=\"IvesFeng666\" \/>\n\t<meta name=\"twitter:label2\" content=\"\u63a8\u5b9a\u8aad\u307f\u53d6\u308a\u6642\u9593\" \/>\n\t<meta name=\"twitter:data2\" content=\"2\u5206\" \/>\n<script type=\"application\/ld+json\" class=\"yoast-schema-graph\">{\"@context\":\"https:\/\/schema.org\",\"@graph\":[{\"@type\":\"Article\",\"@id\":\"https:\/\/www.myshirtai.com\/archives\/6382#article\",\"isPartOf\":{\"@id\":\"https:\/\/www.myshirtai.com\/archives\/6382\"},\"author\":{\"name\":\"IvesFeng666\",\"@id\":\"https:\/\/www.myshirtai.com\/#\/schema\/person\/793ffae65b0212a937f22250e83b51e2\"},\"headline\":\"DeepSeek\u53d1\u5e03Prover-V2\u6a21\u578b\uff1a671B\u53c2\u6570\u52a9\u529b\u6570\u5b66\u5b9a\u7406\u8bc1\u660e\",\"datePublished\":\"2025-05-01T10:29:02+00:00\",\"mainEntityOfPage\":{\"@id\":\"https:\/\/www.myshirtai.com\/archives\/6382\"},\"wordCount\":142,\"commentCount\":0,\"publisher\":{\"@id\":\"https:\/\/www.myshirtai.com\/#organization\"},\"image\":{\"@id\":\"https:\/\/www.myshirtai.com\/archives\/6382#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.myshirtai.com\/wp-content\/uploads\/2025\/05\/maxresdefault.jpg\",\"keywords\":[\"\u5b9a\u7406\u8bc1\u660e\",\"\u6570\u5b66AI\"],\"articleSection\":[\"\u535a\u5ba2\"],\"inLanguage\":\"ja\",\"potentialAction\":[{\"@type\":\"CommentAction\",\"name\":\"Comment\",\"target\":[\"https:\/\/www.myshirtai.com\/archives\/6382#respond\"]}]},{\"@type\":\"WebPage\",\"@id\":\"https:\/\/www.myshirtai.com\/archives\/6382\",\"url\":\"https:\/\/www.myshirtai.com\/archives\/6382\",\"name\":\"DeepSeek\u53d1\u5e03Prover-V2\u6a21\u578b\uff1a671B\u53c2\u6570\u52a9\u529b\u6570\u5b66\u5b9a\u7406\u8bc1\u660e - \u6e17\u900f\u667a\u80fd\",\"isPartOf\":{\"@id\":\"https:\/\/www.myshirtai.com\/#website\"},\"primaryImageOfPage\":{\"@id\":\"https:\/\/www.myshirtai.com\/archives\/6382#primaryimage\"},\"image\":{\"@id\":\"https:\/\/www.myshirtai.com\/archives\/6382#primaryimage\"},\"thumbnailUrl\":\"https:\/\/www.myshirtai.com\/wp-content\/uploads\/2025\/05\/maxresdefault.jpg\",\"datePublished\":\"2025-05-01T10:29:02+00:00\",\"breadcrumb\":{\"@id\":\"https:\/\/www.myshirtai.com\/archives\/6382#breadcrumb\"},\"inLanguage\":\"ja\",\"potentialAction\":[{\"@type\":\"ReadAction\",\"target\":[\"https:\/\/www.myshirtai.com\/archives\/6382\"]}]},{\"@type\":\"ImageObject\",\"inLanguage\":\"ja\",\"@id\":\"https:\/\/www.myshirtai.com\/archives\/6382#primaryimage\",\"url\":\"https:\/\/www.myshirtai.com\/wp-content\/uploads\/2025\/05\/maxresdefault.jpg\",\"contentUrl\":\"https:\/\/www.myshirtai.com\/wp-content\/uploads\/2025\/05\/maxresdefault.jpg\",\"width\":1280,\"height\":720},{\"@type\":\"BreadcrumbList\",\"@id\":\"https:\/\/www.myshirtai.com\/archives\/6382#breadcrumb\",\"itemListElement\":[{\"@type\":\"ListItem\",\"position\":1,\"name\":\"\u9996\u9875\",\"item\":\"https:\/\/www.myshirtai.com\/\"},{\"@type\":\"ListItem\",\"position\":2,\"name\":\"DeepSeek\u53d1\u5e03Prover-V2\u6a21\u578b\uff1a671B\u53c2\u6570\u52a9\u529b\u6570\u5b66\u5b9a\u7406\u8bc1\u660e\"}]},{\"@type\":\"WebSite\",\"@id\":\"https:\/\/www.myshirtai.com\/#website\",\"url\":\"https:\/\/www.myshirtai.com\/\",\"name\":\"\u6e17\u900f\u667a\u80fd\",\"description\":\"ShirtAI\",\"publisher\":{\"@id\":\"https:\/\/www.myshirtai.com\/#organization\"},\"alternateName\":\"ShirtAI\",\"potentialAction\":[{\"@type\":\"SearchAction\",\"target\":{\"@type\":\"EntryPoint\",\"urlTemplate\":\"https:\/\/www.myshirtai.com\/?s={search_term_string}\"},\"query-input\":{\"@type\":\"PropertyValueSpecification\",\"valueRequired\":true,\"valueName\":\"search_term_string\"}}],\"inLanguage\":\"ja\"},{\"@type\":\"Organization\",\"@id\":\"https:\/\/www.myshirtai.com\/#organization\",\"name\":\"ShirtAI\",\"alternateName\":\"ShirtAI\",\"url\":\"https:\/\/www.myshirtai.com\/\",\"logo\":{\"@type\":\"ImageObject\",\"inLanguage\":\"ja\",\"@id\":\"https:\/\/www.myshirtai.com\/#\/schema\/logo\/image\/\",\"url\":\"https:\/\/www.myshirtai.com\/wp-content\/uploads\/2023\/11\/ShirtAI1279\u00d7675.png\",\"contentUrl\":\"https:\/\/www.myshirtai.com\/wp-content\/uploads\/2023\/11\/ShirtAI1279\u00d7675.png\",\"width\":1200,\"height\":675,\"caption\":\"ShirtAI\"},\"image\":{\"@id\":\"https:\/\/www.myshirtai.com\/#\/schema\/logo\/image\/\"}},{\"@type\":\"Person\",\"@id\":\"https:\/\/www.myshirtai.com\/#\/schema\/person\/793ffae65b0212a937f22250e83b51e2\",\"name\":\"IvesFeng666\",\"image\":{\"@type\":\"ImageObject\",\"inLanguage\":\"ja\",\"@id\":\"https:\/\/www.myshirtai.com\/#\/schema\/person\/image\/\",\"url\":\"https:\/\/secure.gravatar.com\/avatar\/0e40122f3ea588c331477d2b5778ab521f0ef9275880700b47f592c999e721b7?s=96&d=mm&r=g\",\"contentUrl\":\"https:\/\/secure.gravatar.com\/avatar\/0e40122f3ea588c331477d2b5778ab521f0ef9275880700b47f592c999e721b7?s=96&d=mm&r=g\",\"caption\":\"IvesFeng666\"},\"sameAs\":[\"http:\/\/www.myshirtai.com\"],\"url\":\"https:\/\/www.myshirtai.com\/ja\/archives\/author\/admin\"}]}<\/script>\n<!-- \/ Yoast SEO Premium plugin. -->","yoast_head_json":{"title":"DeepSeek\u53d1\u5e03Prover-V2\u6a21\u578b\uff1a671B\u53c2\u6570\u52a9\u529b\u6570\u5b66\u5b9a\u7406\u8bc1\u660e - \u6e17\u900f\u667a\u80fd","robots":{"index":"index","follow":"follow","max-snippet":"max-snippet:-1","max-image-preview":"max-image-preview:large","max-video-preview":"max-video-preview:-1"},"canonical":"https:\/\/www.myshirtai.com\/ja\/archives\/6382\/","og_locale":"ja_JP","og_type":"article","og_title":"DeepSeek\u53d1\u5e03Prover-V2\u6a21\u578b\uff1a671B\u53c2\u6570\u52a9\u529b\u6570\u5b66\u5b9a\u7406\u8bc1\u660e","og_description":"DeepSeek\u5728\u4e94\u4e00\u671f\u95f4\u5f00\u6e90\u4e86\u4e13\u4e3a\u6570\u5b66\u8bc1\u660e\u8bbe\u8ba1\u7684DeepSeek-Prover2\u6a21\u578b\uff0c\u5305\u542b6710\u4ebf\u53c2\u6570\u548c70\u4ebf\u53c2\u6570\u7248\u672c\u3002\u8be5\u6a21\u578b\u91c7\u7528\u9012\u5f52\u4e0e\u5f3a\u5316\u5b66\u4e60\u7ed3\u5408\u7684\u6280\u672f\u5728\u591a\u9879\u6570\u5b66\u6d4b\u8bd5\u4e2d\u8868\u73b0\u4f18\u5f02\uff0c\u5982MiniFF\u6d4b\u8bd5\u901a\u8fc7\u7387\u8fbe88.9%\u3002\u540c\u65f6\u53d1\u5e03\u7684ProBench\u6570\u636e\u96c6\u5305\u542b325\u9053\u9898\u76ee\uff0c\u8bc4\u4f30\u6a21\u578b\u80fd\u529b\u3002\u5b9e\u9a8c\u53d1\u73b0\u601d\u7ef4\u94fe\u6a21\u5f0f\u80fd\u663e\u8457\u8bc1\u660e\u51c6\u786e\u7387\uff0c\u5c0f\u6a21\u578b\u5728\u7279\u5b9a\u95ee\u9898\u4e0a\u751a\u81f3\u8d85\u8d8a\u6a21\u578b\u3002\u6a21\u578b\u5df2\u5728Hugging Face\uff0c\u652f\u6301\u6570\u5b66\u7814\u7a76\u65b0\u8303\u5f0f\u3002","og_url":"https:\/\/www.myshirtai.com\/ja\/archives\/6382\/","og_site_name":"\u6e17\u900f\u667a\u80fd","article_published_time":"2025-05-01T10:29:02+00:00","og_image":[{"width":1280,"height":720,"url":"https:\/\/www.myshirtai.com\/wp-content\/uploads\/2025\/05\/maxresdefault.jpg","type":"image\/jpeg"}],"author":"IvesFeng666","twitter_card":"summary_large_image","twitter_misc":{"\u57f7\u7b46\u8005":"IvesFeng666","\u63a8\u5b9a\u8aad\u307f\u53d6\u308a\u6642\u9593":"2\u5206"},"schema":{"@context":"https:\/\/schema.org","@graph":[{"@type":"Article","@id":"https:\/\/www.myshirtai.com\/archives\/6382#article","isPartOf":{"@id":"https:\/\/www.myshirtai.com\/archives\/6382"},"author":{"name":"IvesFeng666","@id":"https:\/\/www.myshirtai.com\/#\/schema\/person\/793ffae65b0212a937f22250e83b51e2"},"headline":"DeepSeek\u53d1\u5e03Prover-V2\u6a21\u578b\uff1a671B\u53c2\u6570\u52a9\u529b\u6570\u5b66\u5b9a\u7406\u8bc1\u660e","datePublished":"2025-05-01T10:29:02+00:00","mainEntityOfPage":{"@id":"https:\/\/www.myshirtai.com\/archives\/6382"},"wordCount":142,"commentCount":0,"publisher":{"@id":"https:\/\/www.myshirtai.com\/#organization"},"image":{"@id":"https:\/\/www.myshirtai.com\/archives\/6382#primaryimage"},"thumbnailUrl":"https:\/\/www.myshirtai.com\/wp-content\/uploads\/2025\/05\/maxresdefault.jpg","keywords":["\u5b9a\u7406\u8bc1\u660e","\u6570\u5b66AI"],"articleSection":["\u535a\u5ba2"],"inLanguage":"ja","potentialAction":[{"@type":"CommentAction","name":"Comment","target":["https:\/\/www.myshirtai.com\/archives\/6382#respond"]}]},{"@type":"WebPage","@id":"https:\/\/www.myshirtai.com\/archives\/6382","url":"https:\/\/www.myshirtai.com\/archives\/6382","name":"DeepSeek\u53d1\u5e03Prover-V2\u6a21\u578b\uff1a671B\u53c2\u6570\u52a9\u529b\u6570\u5b66\u5b9a\u7406\u8bc1\u660e - \u6e17\u900f\u667a\u80fd","isPartOf":{"@id":"https:\/\/www.myshirtai.com\/#website"},"primaryImageOfPage":{"@id":"https:\/\/www.myshirtai.com\/archives\/6382#primaryimage"},"image":{"@id":"https:\/\/www.myshirtai.com\/archives\/6382#primaryimage"},"thumbnailUrl":"https:\/\/www.myshirtai.com\/wp-content\/uploads\/2025\/05\/maxresdefault.jpg","datePublished":"2025-05-01T10:29:02+00:00","breadcrumb":{"@id":"https:\/\/www.myshirtai.com\/archives\/6382#breadcrumb"},"inLanguage":"ja","potentialAction":[{"@type":"ReadAction","target":["https:\/\/www.myshirtai.com\/archives\/6382"]}]},{"@type":"ImageObject","inLanguage":"ja","@id":"https:\/\/www.myshirtai.com\/archives\/6382#primaryimage","url":"https:\/\/www.myshirtai.com\/wp-content\/uploads\/2025\/05\/maxresdefault.jpg","contentUrl":"https:\/\/www.myshirtai.com\/wp-content\/uploads\/2025\/05\/maxresdefault.jpg","width":1280,"height":720},{"@type":"BreadcrumbList","@id":"https:\/\/www.myshirtai.com\/archives\/6382#breadcrumb","itemListElement":[{"@type":"ListItem","position":1,"name":"\u9996\u9875","item":"https:\/\/www.myshirtai.com\/"},{"@type":"ListItem","position":2,"name":"DeepSeek\u53d1\u5e03Prover-V2\u6a21\u578b\uff1a671B\u53c2\u6570\u52a9\u529b\u6570\u5b66\u5b9a\u7406\u8bc1\u660e"}]},{"@type":"WebSite","@id":"https:\/\/www.myshirtai.com\/#website","url":"https:\/\/www.myshirtai.com\/","name":"\u6e17\u900f\u667a\u80fd","description":"ShirtAI","publisher":{"@id":"https:\/\/www.myshirtai.com\/#organization"},"alternateName":"ShirtAI","potentialAction":[{"@type":"SearchAction","target":{"@type":"EntryPoint","urlTemplate":"https:\/\/www.myshirtai.com\/?s={search_term_string}"},"query-input":{"@type":"PropertyValueSpecification","valueRequired":true,"valueName":"search_term_string"}}],"inLanguage":"ja"},{"@type":"Organization","@id":"https:\/\/www.myshirtai.com\/#organization","name":"ShirtAI","alternateName":"ShirtAI","url":"https:\/\/www.myshirtai.com\/","logo":{"@type":"ImageObject","inLanguage":"ja","@id":"https:\/\/www.myshirtai.com\/#\/schema\/logo\/image\/","url":"https:\/\/www.myshirtai.com\/wp-content\/uploads\/2023\/11\/ShirtAI1279\u00d7675.png","contentUrl":"https:\/\/www.myshirtai.com\/wp-content\/uploads\/2023\/11\/ShirtAI1279\u00d7675.png","width":1200,"height":675,"caption":"ShirtAI"},"image":{"@id":"https:\/\/www.myshirtai.com\/#\/schema\/logo\/image\/"}},{"@type":"Person","@id":"https:\/\/www.myshirtai.com\/#\/schema\/person\/793ffae65b0212a937f22250e83b51e2","name":"IvesFeng666","image":{"@type":"ImageObject","inLanguage":"ja","@id":"https:\/\/www.myshirtai.com\/#\/schema\/person\/image\/","url":"https:\/\/secure.gravatar.com\/avatar\/0e40122f3ea588c331477d2b5778ab521f0ef9275880700b47f592c999e721b7?s=96&d=mm&r=g","contentUrl":"https:\/\/secure.gravatar.com\/avatar\/0e40122f3ea588c331477d2b5778ab521f0ef9275880700b47f592c999e721b7?s=96&d=mm&r=g","caption":"IvesFeng666"},"sameAs":["http:\/\/www.myshirtai.com"],"url":"https:\/\/www.myshirtai.com\/ja\/archives\/author\/admin"}]}},"uagb_featured_image_src":{"full":["https:\/\/www.myshirtai.com\/wp-content\/uploads\/2025\/05\/maxresdefault.jpg",1280,720,false],"thumbnail":["https:\/\/www.myshirtai.com\/wp-content\/uploads\/2025\/05\/maxresdefault-150x84.jpg",150,84,true],"medium":["https:\/\/www.myshirtai.com\/wp-content\/uploads\/2025\/05\/maxresdefault-1024x576.jpg",1024,576,true],"medium_large":["https:\/\/www.myshirtai.com\/wp-content\/uploads\/2025\/05\/maxresdefault-768x432.jpg",768,432,true],"large":["https:\/\/www.myshirtai.com\/wp-content\/uploads\/2025\/05\/maxresdefault.jpg",1280,720,false],"1536x1536":["https:\/\/www.myshirtai.com\/wp-content\/uploads\/2025\/05\/maxresdefault.jpg",1280,720,false],"2048x2048":["https:\/\/www.myshirtai.com\/wp-content\/uploads\/2025\/05\/maxresdefault.jpg",1280,720,false],"trp-custom-language-flag":["https:\/\/www.myshirtai.com\/wp-content\/uploads\/2025\/05\/maxresdefault-18x10.jpg",18,10,true]},"uagb_author_info":{"display_name":"IvesFeng666","author_link":"https:\/\/www.myshirtai.com\/ja\/archives\/author\/admin"},"uagb_comment_info":0,"uagb_excerpt":"DeepSeek\u5728\u4e94\u4e00\u671f\u95f4\u5f00\u6e90\u4e86\u4e13\u4e3a\u6570\u5b66\u8bc1\u660e\u8bbe\u8ba1\u7684DeepSeek-Prover2\u6a21\u578b\uff0c\u5305\u542b6710\u4ebf\u53c2\u6570\u548c7&hellip;","_links":{"self":[{"href":"https:\/\/www.myshirtai.com\/ja\/wp-json\/wp\/v2\/posts\/6382","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.myshirtai.com\/ja\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.myshirtai.com\/ja\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.myshirtai.com\/ja\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/www.myshirtai.com\/ja\/wp-json\/wp\/v2\/comments?post=6382"}],"version-history":[{"count":0,"href":"https:\/\/www.myshirtai.com\/ja\/wp-json\/wp\/v2\/posts\/6382\/revisions"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/www.myshirtai.com\/ja\/wp-json\/wp\/v2\/media\/6381"}],"wp:attachment":[{"href":"https:\/\/www.myshirtai.com\/ja\/wp-json\/wp\/v2\/media?parent=6382"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.myshirtai.com\/ja\/wp-json\/wp\/v2\/categories?post=6382"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.myshirtai.com\/ja\/wp-json\/wp\/v2\/tags?post=6382"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}