blueqat news
量子コンピュータ関連銘柄 更新: 10/12 13:45(日本時間)
%は前日比・グラフは直近10営業日の推移 — 株価とニュースの突き合わせ / 業界の関係図

GitHubの記事一覧

GitHubに関する記事4本を、新しい順に掲載しています。

AI

OpenAI、内部モデルが出した数学の新結果を公開——多くの証明をLeanで形式化

OpenAIは2026年10月6日、内部のフロンティアモデルが生成した数学の新たな結果をGitHubリポジトリで公開しました。多くの証明のLeanによる形式化やモデルの推論の要約も含まれ、AIが出した結果を理解するための…

2026-10-08 15:46

Cursorがコードホスティング「Origin」提供開始、プッシュはGitHubのまま

Cursorが2026年8月17日、リポジトリのホスティング機能「Origin」を公開しました。新設の「コードベース」タブからリポジトリの作成・管理、PRのタイムラインや差分の閲覧…

オープン・クオンタム・デザインがイオントラップ量子コンピューティング用のオープンソース・ハードウェア・リポジトリを立ち上げ

Open Quantum Designは、イオントラップ型量子コンピュータのハードウェア設計を公開しました。ブレードトラップと光回路基板の詳細な設計ファイルを無料で提供し、研究者が…

Fujitsu、GitHub上でオープンソースの量子コンピュータ操作ソフトウェアを公開

富士通は大阪大学などと共同で、量子コンピュータのセットアップから運用までを支援するオープンソースソフトウェアをリリースしました。これまで各機関が独自に構築していた複雑な運用システム…