アカウント名:
パスワード:
科学論文の次に数学論文を AI に学習させると見過ごされていた 公式とか定理とか、新しい予想とかを導き出すんですかね?
公式は無数に作れるので、その有用性も一緒に評価できないと意味ないような。
予想と自動定理証明の組み合わせは面白いかもね。
# 自動低利証明と変換されてへこむ……
定理は学習させるには少なすぎる。
定理を見つけるのに定理を学習する必要はないだろ。というか、数学論文を学習に使った場合の話だろ?
数学って一言で言っても様々な分野の集合だからねぇ。用語だって細かいところでは統一されているわけでもないし、論文によって同じ用語が異なる概念を指すことだってよくある。
単に用語の関係性を調べても何か出てくるとは思えないけどどうかな?
より多くのコメントがこの議論にあるかもしれませんが、JavaScriptが有効ではない環境を使用している場合、クラシックなコメントシステム(D1)に設定を変更する必要があります。
UNIXはシンプルである。必要なのはそのシンプルさを理解する素質だけである -- Dennis Ritchie
次は数式を (スコア:0)
科学論文の次に数学論文を AI に学習させると
見過ごされていた 公式とか定理とか、新しい予想とかを導き出すんですかね?
Re:次は数式を (スコア:1)
公式は無数に作れるので、その有用性も一緒に評価できないと意味ないような。
予想と自動定理証明の組み合わせは面白いかもね。
# 自動低利証明と変換されてへこむ……
Re: (スコア:0)
定理は学習させるには少なすぎる。
Re: (スコア:0)
定理を見つけるのに定理を学習する必要はないだろ。
というか、数学論文を学習に使った場合の話だろ?
Re: (スコア:0)
数学って一言で言っても様々な分野の集合だからねぇ。
用語だって細かいところでは統一されているわけでもないし、論文によって同じ用語が異なる概念を指すことだってよくある。
単に用語の関係性を調べても何か出てくるとは思えないけどどうかな?