1: 名無しさん＠涙目です。(茸) [JP] 2025/02/15(土) 19:49:40.57 ID:wGWBEQet0 BE:422186189-PLT(12015)
sssp://img.5ch.net/ico/folder1_03.gif
![]()
![]()
LLMの定理証明力を2倍に向上させる「予想と証明を繰り返させる」手法 限られたデータの中で | AIDB
本記事ではLLMによる定理証明における重要な進展を紹介します。定理証明は、LLMの推論能力を客観的に評価できる重要な指標としても注目されていますが、学習データの不足が大きな課題となっています。
ai-data-base.com
引用元: ・人工知能たち、お互いに問題を出し合い、協力して解答を模索し、全自動で知識を高めだす [422186189]
2: 名無しさん＠涙目です。(茸) [ﾆﾀﾞ] 2025/02/15(土) 19:50:21.97 ID:H86D0UN40
ﾃﾞﾃﾞﾝﾃﾞﾝﾃﾞﾃﾞﾝ
3: 名無しさん＠涙目です。(庭) [QA] 2025/02/15(土) 19:50:30.22 ID:RDDLUlwU0
話しは聞かせて貰った！人類は滅亡する！！
4: 名無しさん＠涙目です。(ジパング) [ﾆﾀﾞ] 2025/02/15(土) 19:51:39.65 ID:GNRva2w70
人類終了。Q.E.D.
5: 名無しさん＠涙目です。(やわらか銀行) [ﾆﾀﾞ] 2025/02/15(土) 19:52:23.09 ID:+fIleuBl0
すかいねっとは自我を持ってから9分後に核ミサイルを発射したぞ
6: 名無しさん＠涙目です。(茸) [US] 2025/02/15(土) 19:52:47.18 ID:3JN65xFB0
ノストラダムス「なっ？」
7: 名無しさん＠涙目です。(茸) [FI] 2025/02/15(土) 19:53:34.48 ID:eN/DiSR70
三目並べで解決出来る程に単純だったら良かったのにな
コメント