張夢然
英國《自然》雜志12月1日發(fā)表了一個機(jī)器學(xué)習(xí)框架,能幫助數(shù)學(xué)家發(fā)現(xiàn)新的猜想和定理。該框架由深度思維(DeepMind)開發(fā),已經(jīng)幫助發(fā)現(xiàn)了純數(shù)學(xué)領(lǐng)域的兩個新猜想。這項(xiàng)研究展示了機(jī)器學(xué)習(xí)可以整合進(jìn)目前的工作流中,支持?jǐn)?shù)學(xué)研究。這也是計(jì)算機(jī)科學(xué)家和數(shù)學(xué)家首次使用人工智能(AI)來幫助證明或提出紐結(jié)理論和表示論等復(fù)雜數(shù)學(xué)領(lǐng)域的新定理。