מושגי ליבה
深層学習を使用して、積分の自動発見の可能性を探る。
תקציר
最近の深層学習の進歩により、大規模言語モデル(LLMs)を使用して、AIが複雑な数学問題やプログラミング課題に取り組む能力が示されています。しかし、科学的発見を行う過程は人間科学者と異なります。本研究では、AIモデルが与えられた関数の積分式を直接推測し、多項式、三角関数、指数関数など各種関数の基本的な積分法則を発見することに成功しました。
סטטיסטיקה
R x 0 t2dt = x3/3
R x 0 aebtdt = a/b ebx - a/b
R x 0 tndt = xn+1/n+1
GPT-Neo model: 350M trainable parameters
Flan-T5 model: 783M parameters
Polynomial functions dataset: 58,512 functions
Trigonometric/exponential functions dataset: 113,825 functions