「ＡＩが数学の未解決問題を解いた」報告ラッシュ
5/3(日) 9:02配信 47NEWS
「ＡＩが数学の未解決問題を解いた」報告ラッシュ、リーマン予想もいずれ…
高まる思考力、疲れ知らずの働き者。人間に残された仕事は？
２０２６年が明けてすぐに「人工知能（ＡＩ）が未解決の数学の定理を証明した」とする論文の公表が世界で相次いだ。
近年のＡＩの進化はめざましく、数学者が長年答えを出せなかった問題が次々と解かれている。
専門家は「２０２６年はＡＩが安定して数学の未解決問題を解けるようになった最初の年といえる」と話す。
https://news.yahoo.co.jp/articles/5054ebb0f827712825e610d37dfa4028f8c0e226
「ＡＩが数学の未解決問題を解いた」報告ラッシュ、リーマン予想もいずれ…
高まる思考力、疲れ知らずの働き者。人間に残された仕事は？
２０２６年が明けてすぐに「人工知能（ＡＩ）が未解決の数学の定理を証明した」とする論文の公表が世界で相次いだ。
近年のＡＩの進化はめざましく、数学者が長年答えを出せなかった問題が次々と解かれている。
専門家は「２０２６年はＡＩが安定して数学の未解決問題を解けるようになった最初の年といえる」と話す。
https://news.yahoo.co.jp/articles/5054ebb0f827712825e610d37dfa4028f8c0e226
odagaki0621 
2026/05/03(Sun) 17:52 No.1027
b40c768nbt_fdx6d.bin.gz
40x768の新しいネットがアップロードされています。
https://www.modelscope.cn/models/sigmoid/KataGo_models_collections/tree/master/zhizi_fdx6d
Discordに次のような検証結果がありました。
総ゲーム数：2000
訪問数：750
fdx6d:1098勝 勝率55.1% elo:35.6
fdx6c:896勝
無効ゲーム:6
日本ルール、コミ6目半
https://www.modelscope.cn/models/sigmoid/KataGo_models_collections/tree/master/zhizi_fdx6d
Discordに次のような検証結果がありました。
総ゲーム数：2000
訪問数：750
fdx6d:1098勝 勝率55.1% elo:35.6
fdx6c:896勝
無効ゲーム:6
日本ルール、コミ6目半
hope366 2026/05/02(Sat) 18:52 No.1024
default_gtpのnumSearchThreadsの数値について
hope366さんへ default_gtpのnumSearchThreadsの数値について質問がありましたので
28B muonfd2と40B c-fdx6cを28B同士40B同士を異なるdefault_gtpの数値で対戦させて検証しました 結果は下記
RTX4060TiとRTX3070は opclが20 cudaが22 trtが24 RTX2080は opclが18 cudaが20 trtが22 が最強でした
28B muonfd2と40B c-fdx6cを28B同士40B同士を異なるdefault_gtpの数値で対戦させて検証しました 結果は下記
RTX4060TiとRTX3070は opclが20 cudaが22 trtが24 RTX2080は opclが18 cudaが20 trtが22 が最強でした
odagaki0621 2026/05/03(Sun) 11:00 No.1025
Re: b40c768nbt_fdx6d.bin.gz
検証有難うございます。
その結果を見ると、探索速度が速いほどスレッド数が多いものが有利になっています。
その検証は、同じサイズのネット同士を異なるバックエンドを使用して対戦させる、というものですが、この方式はあまり一般的ではなく、これまでのodagakiさんの検証でもほとんど採用されてないように見えます。
ネットの強度比較において重要（最も注目度が高い）なのは、一般的には「時間同等の条件下」での比較です。
つまり今でいえば、28bと40bを同じバックエンドで一手3秒とかで対戦させる、ということです。
この時に、28bと40bでは探索速度に大きな違いがあるはずなので、検索スレッド数もそれぞれのネットが最大の棋力を発揮する値にしないと、有意義な検証とはいえないと思います。
その結果を見ると、探索速度が速いほどスレッド数が多いものが有利になっています。
その検証は、同じサイズのネット同士を異なるバックエンドを使用して対戦させる、というものですが、この方式はあまり一般的ではなく、これまでのodagakiさんの検証でもほとんど採用されてないように見えます。
ネットの強度比較において重要（最も注目度が高い）なのは、一般的には「時間同等の条件下」での比較です。
つまり今でいえば、28bと40bを同じバックエンドで一手3秒とかで対戦させる、ということです。
この時に、28bと40bでは探索速度に大きな違いがあるはずなので、検索スレッド数もそれぞれのネットが最大の棋力を発揮する値にしないと、有意義な検証とはいえないと思います。
hope366 2026/05/03(Sun) 14:38 No.1026
商用利用も可、「いらすとやメーカー」登場
商用利用も可、「いらすとやメーカー」登場 アイコンも資料素材も簡単に
素材配信サービス「いらすとや」は5月1日、パーツを組み合わせて「いらすとや風」の
イラストを作成できる「いらすとやメーカー」を公開した。
「いらすとやメーカー」は、人間（大人）、人間（赤ちゃん）、犬、猫の画像を用意されたパーツで
カスタマイズすることで、オリジナルの「いらすとや風イラスト」を作成できるサービス。
https://news.yahoo.co.jp/articles/4e5b68c9b48f43962cf8dc25dc0e0587eaeb2cd5
odagaki0621 2026/05/01(Fri) 17:21 No.1023
Geminiで「ワード」「エクセル」ファイルを直接生成可能に
4/30(木) 9:03配信 CNET Japan
Googleは4月29日（現地時間）、AIアシスタント「Gemini」のアプリで、プロンプトに基づいて
ファイルを直接生成できる新機能の提供を開始した。PDFやMicrosoft Word（.docx）、Excel（.xlsx）、
Google Docs／Sheets／Slidesなどのファイルを、チャット画面内で生成・出力できる。
https://news.yahoo.co.jp/articles/4ece9fb14fd9f789a52a086c5d2520aa63ba44d5
Googleは4月29日（現地時間）、AIアシスタント「Gemini」のアプリで、プロンプトに基づいて
ファイルを直接生成できる新機能の提供を開始した。PDFやMicrosoft Word（.docx）、Excel（.xlsx）、
Google Docs／Sheets／Slidesなどのファイルを、チャット画面内で生成・出力できる。
https://news.yahoo.co.jp/articles/4ece9fb14fd9f789a52a086c5d2520aa63ba44d5
odagaki0621 2026/04/30(Thu) 15:09 No.1022
「Alt」+「スペース」で検索・画面解析「Google app for desktop」
「Alt」+「スペース」で瞬時に検索・画面解析まで行える Google 公式デスクトップ検索ツール「Google app for desktop」
Alt + スペース キーで検索画面を呼び出し、すぐに Google 検索を行えるデスクトップアプリです。
キーボードから素早く検索できるだけでなく、Google レンズと連携して画面上の
テキストや画像を選択してそのまま検索することも可能です。
また、PDF や画像ファイルの内容をもとにした検索や、デスクトップ全体または任意の
ウィンドウのキャプチャーを検索することもできます
https://freesoft-100.com/review/google-app.html
※ブラウザを起動しなくてもAI検索が出来るので便利です
Alt + スペース キーで検索画面を呼び出し、すぐに Google 検索を行えるデスクトップアプリです。
キーボードから素早く検索できるだけでなく、Google レンズと連携して画面上の
テキストや画像を選択してそのまま検索することも可能です。
また、PDF や画像ファイルの内容をもとにした検索や、デスクトップ全体または任意の
ウィンドウのキャプチャーを検索することもできます
https://freesoft-100.com/review/google-app.html
※ブラウザを起動しなくてもAI検索が出来るので便利です
odagaki0621 2026/04/29(Wed) 16:53 No.1020
Re: 「Alt」+「スペース」で検索・画面解析「Google app for desktop」
odagaki0621 2026/04/29(Wed) 18:01 No.1021