Polymarket Japan
@polymarketjapan
世界最大の予測市場。政治、ニュース、暗号資産、文化、スポーツ、テクノロジーなどの予測。日本公式アカウント🇯🇵
加入 September 2021
4.1K 正在关注 77.2K 粉丝
【速報】OpenAI次世代モデル「Astra」が未解決問題10個を突破
・研究用内部版が数学・理論CSの長年難問を一挙に解決
・数学・量子・理論CSでLean検証可能な証明を生成
・10件の解の発見コストは合計約2,000ドルという安さ
次世代モデルが「科学で本当に使える」段階に入ったことを示す成果
显示更多
