{"id":5076,"date":"2026-09-29T20:25:49","date_gmt":"2026-09-29T20:25:49","guid":{"rendered":"https:\/\/netguide.io\/news\/2026\/09\/29\/openai%e3%80%8castra%e3%80%8d%e3%83%a2%e3%83%87%e3%83%ab%e3%81%8c10%e5%b9%b4%e4%bb%a5%e4%b8%8a%e5%89%8d%e3%81%ae%e6%95%b0%e5%ad%a6%e5%95%8f%e9%a1%8c%e3%82%92%e8%a7%a3%e6%b1%ba-%e6%a9%9f%e6%a2%b0\/"},"modified":"2026-09-29T20:25:50","modified_gmt":"2026-09-29T20:25:50","slug":"openai%e3%80%8castra%e3%80%8d%e3%83%a2%e3%83%87%e3%83%ab%e3%81%8c10%e5%b9%b4%e4%bb%a5%e4%b8%8a%e5%89%8d%e3%81%ae%e6%95%b0%e5%ad%a6%e5%95%8f%e9%a1%8c%e3%82%92%e8%a7%a3%e6%b1%ba-%e6%a9%9f%e6%a2%b0","status":"publish","type":"post","link":"https:\/\/netguide.io\/news\/ja\/2026\/09\/29\/openai%e3%80%8castra%e3%80%8d%e3%83%a2%e3%83%87%e3%83%ab%e3%81%8c10%e5%b9%b4%e4%bb%a5%e4%b8%8a%e5%89%8d%e3%81%ae%e6%95%b0%e5%ad%a6%e5%95%8f%e9%a1%8c%e3%82%92%e8%a7%a3%e6%b1%ba-%e6%a9%9f%e6%a2%b0\/","title":{"rendered":"OpenAI:\u300cAstra\u300d\u30e2\u30c7\u30eb\u304c10\u5e74\u4ee5\u4e0a\u524d\u306e\u6570\u5b66\u554f\u984c\u3092\u89e3\u6c7a &#8211; \u6a5f\u68b0\u691c\u67fb\u306e\u8a3c\u62e0\u3092\u4f7f\u3063\u3066"},"content":{"rendered":"<div id=\"netgu-1050223998\" class=\"netgu-before-content netgu-entity-placement\"><script async src=\"\/\/pagead2.googlesyndication.com\/pagead\/js\/adsbygoogle.js?client=ca-pub-6258556257245998\" crossorigin=\"anonymous\"><\/script><ins class=\"adsbygoogle\" style=\"display:block;\" data-ad-client=\"ca-pub-6258556257245998\" \ndata-ad-slot=\"3494115342\" \ndata-ad-format=\"auto\"><\/ins>\n<script> \n(adsbygoogle = window.adsbygoogle || []).push({}); \n<\/script>\n<\/div>\n<p class=\"wp-block-paragraph\"><strong>OpenAI\u306f\u3001\u524d\u8a18\u306eAI\u30e2\u30c7\u30eb\u3067\u3042\u308b\u300cAstra\u300d\u3092\u660e\u3089\u304b\u306b\u3057\u307e\u3057\u305f\u3002\u6570\u5b66\u3068\u7406\u8ad6\u7684\u306a\u30b3\u30f3\u30d4\u30e5\u30fc\u30bf\u30b5\u30a4\u30a8\u30f3\u30b9\u306e10\u3064\u306e\u554f\u984c\u304c\u89e3\u6c7a\u3057\u3001\u5c11\u306a\u304f\u3068\u308210\u5e74\u9593\u958b\u3044\u3066\u3044\u308b\u3068\u8ff0\u3079\u307e\u3057\u305f\u3002\u6a5f\u68b0\u691c\u67fb\u53ef\u80fd\u306a\u6b63\u5f0f\u306a\u8a3c\u62e0\u306b\u3088\u3063\u3066\u652f\u3048\u3089\u308c\u3066\u3044\u307e\u3059\u3002<\/strong><\/p>\n\n\n\n<h3 class=\"wp-block-heading\">\u3060\u308c\u3067\u3082\u78ba\u8a8d\u3067\u304d\u308b\u8a3c\u62e0<\/h3>\n\n\n\n<p class=\"wp-block-paragraph\">OpenAI \u306f 10 \u4ef6\u306e\u7d50\u679c\u306b\u3064\u3044\u3066\u3001Lean 4 \u6821\u6b63\u30a2\u30b7\u30b9\u30bf\u30f3\u30c8\u3067 249 \u30da\u30fc\u30b8\u306e\u539f\u7a3f\u3068\u6b63\u5f0f\u306a\u6821\u6b63\u8a3c\u660e\u66f8\u3092\u767a\u884c\u3057\u307e\u3057\u305f\u3002Apache 2.0 \u30e9\u30a4\u30bb\u30f3\u30b9\u306e\u4e0b\u3067 GitHub \u4e0a\u3067\u81ea\u7531\u306b\u4f7f\u7528\u3067\u304d\u307e\u3059\u3002 \u30aa\u30fc\u30d7\u30f3\u30d7\u30eb\u30fc\u30d5\u30ae\u30e3\u30c3\u30d7(&#8220;sorry&#8221;\u30ab\u30a6\u30f3\u30c8)\u306e\u6570\u306f\u30bc\u30ed\u3067\u3059\u3002\u3059\u3079\u3066\u306e\u30b9\u30c6\u30c3\u30d7\u306f\u5b8c\u5168\u306b\u691c\u8a3c\u3055\u308c\u307e\u3059\u3002 \u8ab0\u3067\u3082\u516c\u958b\u3055\u308c\u305f\u30ea\u30dd\u30b8\u30c8\u30ea\u306b\u5bfe\u3059\u308b\u8a3c\u62e0\u3092\u5b9f\u884c\u3067\u304d\u308b\u306e\u3067\u3001\u4fee\u6b63\u306f\u9045\u3044\u30d4\u30a2\u30ec\u30d3\u30e5\u30fc\u3067\u30d2\u30f3\u30b8\u3057\u307e\u305b\u3093\u3002<\/p><div id=\"netgu-952398000\" class=\"netgu-content netgu-entity-placement\"><aside class=\"deals-top deals-top--compact\">\n\n\t\t\t<h3 class=\"deals-top__title\">Top-Deals<\/h3>\n\t\n\t\t\t<ul class=\"deals-top__list\">\n\t\t\t\t\t\t\t<li class=\"deals-top__item\">\n\t\t\t\t\t<a class=\"deals-top__link\" href=\"https:\/\/netguide.io\/deals\/de\/deals\/moon-knight-digital-watch-face-fuer-wear-os-4\/\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t<img class=\"deals-top__image\" src=\"https:\/\/netguide.io\/news\/wp-content\/uploads\/sites\/15\/2026\/09\/deal-27-150x150.png\" alt=\"\" width=\"52\" height=\"52\" loading=\"lazy\" \/>\n\t\t\t\t\t\t\n\t\t\t\t\t\t<span class=\"deals-top__body\">\n\t\t\t\t\t\t\t<span class=\"deals-top__name\">MOON KNIGHT Digital Watch Face f\u00fcr Wear OS 4+<\/span>\n\n\t\t\t\t\t\t\t<span class=\"deals-top__meta\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"deals-top__price\">Gratis<\/span>\n\t\t\t\t\t\t\t\t\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<s>0.89 \u20ac<\/s>\n\t\t\t\t\t\t\t\t\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"deals-discount\">-100%<\/span>\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<\/span>\n\t\t\t\t\t\t<\/span>\n\n\t\t\t\t\t\t<span class=\"deals-top__temperature\">\n\t\t\t\t\t\t\t55\u00b0\n\t\t\t\t\t\t<\/span>\n\t\t\t\t\t<\/a>\n\t\t\t\t<\/li>\n\t\t\t\t\t\t\t<li class=\"deals-top__item\">\n\t\t\t\t\t<a class=\"deals-top__link\" href=\"https:\/\/netguide.io\/deals\/de\/deals\/train-sim-world-7-starter-pack-kostenlos-fuer-ps4-ps5-xbox-pc\/\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t<img class=\"deals-top__image\" src=\"https:\/\/netguide.io\/news\/wp-content\/uploads\/sites\/15\/2026\/09\/capsule_616x353-11-150x150.jpg\" alt=\"\" width=\"52\" height=\"52\" loading=\"lazy\" \/>\n\t\t\t\t\t\t\n\t\t\t\t\t\t<span class=\"deals-top__body\">\n\t\t\t\t\t\t\t<span class=\"deals-top__name\">Train Sim World 7: Starter Pack kostenlos f\u00fcr PS4, PS5, Xbox, PC<\/span>\n\n\t\t\t\t\t\t\t<span class=\"deals-top__meta\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"deals-top__price\">Gratis<\/span>\n\t\t\t\t\t\t\t\t\n\t\t\t\t\t\t\t\t\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<\/span>\n\t\t\t\t\t\t<\/span>\n\n\t\t\t\t\t\t<span class=\"deals-top__temperature\">\n\t\t\t\t\t\t\t55\u00b0\n\t\t\t\t\t\t<\/span>\n\t\t\t\t\t<\/a>\n\t\t\t\t<\/li>\n\t\t\t\t\t\t\t<li class=\"deals-top__item\">\n\t\t\t\t\t<a class=\"deals-top__link\" href=\"https:\/\/netguide.io\/deals\/de\/deals\/ml2u-watchfaces-fuer-wearos-im-google-play-store-2\/\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t<img class=\"deals-top__image\" src=\"https:\/\/netguide.io\/news\/wp-content\/uploads\/sites\/15\/2026\/09\/2844734_1-150x150.webp\" alt=\"\" width=\"52\" height=\"52\" loading=\"lazy\" \/>\n\t\t\t\t\t\t\n\t\t\t\t\t\t<span class=\"deals-top__body\">\n\t\t\t\t\t\t\t<span class=\"deals-top__name\">ML2U Watchfaces f\u00fcr WearOS im Google Play Store<\/span>\n\n\t\t\t\t\t\t\t<span class=\"deals-top__meta\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"deals-top__price\">Gratis<\/span>\n\t\t\t\t\t\t\t\t\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<s>1.39 \u20ac<\/s>\n\t\t\t\t\t\t\t\t\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"deals-discount\">-100%<\/span>\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<\/span>\n\t\t\t\t\t\t<\/span>\n\n\t\t\t\t\t\t<span class=\"deals-top__temperature\">\n\t\t\t\t\t\t\t54\u00b0\n\t\t\t\t\t\t<\/span>\n\t\t\t\t\t<\/a>\n\t\t\t\t<\/li>\n\t\t\t\t\t\t\t<li class=\"deals-top__item\">\n\t\t\t\t\t<a class=\"deals-top__link\" href=\"https:\/\/netguide.io\/deals\/de\/deals\/kostenloses-dlc-bundle-fuer-gears-of-war-e-day-liquid-death-bundle\/\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t<img class=\"deals-top__image\" src=\"https:\/\/netguide.io\/news\/wp-content\/uploads\/sites\/15\/2026\/09\/2844571_1-150x150.webp\" alt=\"\" width=\"52\" height=\"52\" loading=\"lazy\" \/>\n\t\t\t\t\t\t\n\t\t\t\t\t\t<span class=\"deals-top__body\">\n\t\t\t\t\t\t\t<span class=\"deals-top__name\">Kostenloses DLC-Bundle f\u00fcr Gears of War E-Day \u2013 Liquid Death Bundle<\/span>\n\n\t\t\t\t\t\t\t<span class=\"deals-top__meta\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"deals-top__price\">Gratis<\/span>\n\t\t\t\t\t\t\t\t\n\t\t\t\t\t\t\t\t\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<\/span>\n\t\t\t\t\t\t<\/span>\n\n\t\t\t\t\t\t<span class=\"deals-top__temperature\">\n\t\t\t\t\t\t\t54\u00b0\n\t\t\t\t\t\t<\/span>\n\t\t\t\t\t<\/a>\n\t\t\t\t<\/li>\n\t\t\t\t\t\t\t<li class=\"deals-top__item\">\n\t\t\t\t\t<a class=\"deals-top__link\" href=\"https:\/\/netguide.io\/deals\/de\/deals\/kostenlose-emote-im-clash-royale-store\/\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t<img class=\"deals-top__image\" src=\"https:\/\/netguide.io\/news\/wp-content\/uploads\/sites\/15\/2026\/09\/share-image-clashroyale-150x150.jpg\" alt=\"\" width=\"52\" height=\"52\" loading=\"lazy\" \/>\n\t\t\t\t\t\t\n\t\t\t\t\t\t<span class=\"deals-top__body\">\n\t\t\t\t\t\t\t<span class=\"deals-top__name\">Kostenlose Emote im Clash Royale-Store<\/span>\n\n\t\t\t\t\t\t\t<span class=\"deals-top__meta\">\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<span class=\"deals-top__price\">Gratis<\/span>\n\t\t\t\t\t\t\t\t\n\t\t\t\t\t\t\t\t\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t<\/span>\n\t\t\t\t\t\t<\/span>\n\n\t\t\t\t\t\t<span class=\"deals-top__temperature\">\n\t\t\t\t\t\t\t54\u00b0\n\t\t\t\t\t\t<\/span>\n\t\t\t\t\t<\/a>\n\t\t\t\t<\/li>\n\t\t\t\t\t<\/ul>\n\n\t\t\t\t\t<p class=\"deals-top__more\">\n\t\t\t\t<a href=\"https:\/\/netguide.io\/deals\/\">Alle Deals ansehen \u2192<\/a>\n\t\t\t<\/p>\n\t\t\t<\/aside>\n<\/div>\n\n\n\n<h3 class=\"wp-block-heading\">Astra\u304c\u89e3\u6c7a\u3059\u308b\u3082\u306e<\/h3>\n\n\n\n<p class=\"wp-block-paragraph\">Mikhail Gromov\u306f1999\u5e74\u306bSoficity\u3092\u5b9a\u7fa9\u3057\u3001Connes\u306e\u525b\u6027\u306e\u7d50\u675f\u3001Ehrhart\u306e\u5bb9\u7a4d\u306e\u7d50\u675f\u304a\u3088\u3073Paul Erd\u0151s\u306e\u30ab\u30bf\u30ed\u30b0\u304b\u3089\u306e3\u3064\u306e\u554f\u984c\u306e\u89e3\u6c7a\u306e\u8a3c\u62e0\u306e\u8a3c\u62e0\u306edisproof\u3067\u3042\u308bConnes\u306e\u525b\u6027\u306econjecture\u306eexplicit\u306e\u69cb\u9020\u3092\u542b\u3093\u3067\u3044\u307e\u3059\u3002<\/p>\n\n\n\n<h3 class=\"wp-block-heading\">\u30b3\u30f3\u30c6\u30f3\u30c4<\/h3>\n\n\n\n<p class=\"wp-block-paragraph\">\u91cd\u8981\u306a\u3053\u3068\u306b\u300110\u4ef6\u306e\u7d50\u679c\u306e\u3046\u3061\u3069\u308c\u3082\u3001\u901a\u5e38\u306e\u30d4\u30a2\u30ec\u30d3\u30e5\u30fc\u3092\u7d4c\u3066\u3044\u307e\u305b\u3093\u3002\u6b63\u5f0f\u306a\u30ea\u30fc\u30f3\u691c\u8a3c\u306f\u3053\u3053\u306b\u3042\u308a\u307e\u3059\u3002 \u30e2\u30c7\u30eb\u81ea\u4f53\u306f\u307e\u3060\u516c\u958b\u3055\u308c\u3066\u3044\u307e\u305b\u3093\u3002 \u305d\u308c\u3067\u3082\u3001AI\u304c\u7814\u7a76\u30d5\u30ed\u30f3\u30c6\u30a3\u30a2\u306b\u771f\u5263\u306b\u8ca2\u732e\u3067\u304d\u308b\u3068\u3044\u3046\u6ce8\u76ee\u3059\u3079\u304d\u5146\u5019\u3068\u3057\u3066\u3001\u30b9\u30c6\u30c3\u30d7\u306f\u898b\u3089\u308c\u3066\u3044\u307e\u3059\u3002<\/p>\n\n\n\n<hr class=\"wp-block-separator has-alpha-channel-opacity\"\/>\n\n\n\n<p class=\"wp-block-paragraph\"><em>\u30bd\u30fc\u30b9: <a href=\"https:\/\/qz.com\/openai-astra-model-math-problems-lean-proofs-080326\" rel=\"noopener\" target=\"_blank\">\u30af\u30a9\u30fc\u30c4<\/a>, <a href=\"https:\/\/aiweekly.co\/alerts\/openai-releases-ten-astra-math-proofs-with-lean-certificates\" rel=\"noopener\" target=\"_blank\">AI\u30a6\u30a3\u30fc\u30af\u30ea\u30fc<\/a>\u304a\u554f\u3044\u5408\u308f\u305b<\/em><\/p>\n<div id=\"netgu-1900423863\" class=\"netgu-after-content netgu-entity-placement\"><script async src=\"\/\/pagead2.googlesyndication.com\/pagead\/js\/adsbygoogle.js?client=ca-pub-6258556257245998\" crossorigin=\"anonymous\"><\/script><ins class=\"adsbygoogle\" style=\"display:block;\" data-ad-client=\"ca-pub-6258556257245998\" \ndata-ad-slot=\"4559785002\" \ndata-ad-format=\"auto\"><\/ins>\n<script> \n(adsbygoogle = window.adsbygoogle || []).push({}); \n<\/script>\n<\/div>","protected":false},"excerpt":{"rendered":"<p>OpenAI\u306e\u672a\u767a\u8868\u306e\u300cAstra\u300d\u30e2\u30c7\u30eb\u306f\u300110\u5e74\u4ee5\u4e0a\u306e\u6570\u5b66\/CS\u306e\u554f\u984c\u3092\u89e3\u6c7a\u3057\u307e\u3059\u3002\u305d\u308c\u305e\u308c\u3001GitHub\u3067\u516c\u958b\u3055\u308c\u305f\u6b63\u5f0f\u306aLean\u8a3c\u62e0\u304c\u3042\u308a\u307e\u3059.<\/p>\n","protected":false},"author":1,"featured_media":1697,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"site-sidebar-layout":"default","site-content-layout":"","ast-site-content-layout":"default","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":"","ast-disable-related-posts":"","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-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":"","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-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":"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":""},"mobile":{"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":""}},"footnotes":""},"categories":[],"tags":[],"class_list":["post-5076","post","type-post","status-publish","format-standard","has-post-thumbnail","hentry"],"brizy_media":[],"_links":{"self":[{"href":"https:\/\/netguide.io\/news\/wp-json\/wp\/v2\/posts\/5076","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/netguide.io\/news\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/netguide.io\/news\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/netguide.io\/news\/wp-json\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/netguide.io\/news\/wp-json\/wp\/v2\/comments?post=5076"}],"version-history":[{"count":1,"href":"https:\/\/netguide.io\/news\/wp-json\/wp\/v2\/posts\/5076\/revisions"}],"predecessor-version":[{"id":5077,"href":"https:\/\/netguide.io\/news\/wp-json\/wp\/v2\/posts\/5076\/revisions\/5077"}],"wp:featuredmedia":[{"embeddable":true,"href":"https:\/\/netguide.io\/news\/wp-json\/wp\/v2\/media\/1697"}],"wp:attachment":[{"href":"https:\/\/netguide.io\/news\/wp-json\/wp\/v2\/media?parent=5076"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/netguide.io\/news\/wp-json\/wp\/v2\/categories?post=5076"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/netguide.io\/news\/wp-json\/wp\/v2\/tags?post=5076"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}