11.11云上盛惠!海量產(chǎn)品 · 輕松上云!云服務(wù)器首年1.8折起,買1年送3個月!超值優(yōu)惠,性能穩(wěn)定,讓您的云端之旅更加暢享??靵眚v訊云選購吧!
谷歌旗下的DeepMind研究團隊最近推出了名為AlphaGeometry的人工智能系統(tǒng),該系統(tǒng)在解決幾何奧林匹克問題方面表現(xiàn)出色,幾乎可與人類金牌得主相媲美。這一成就代表著在大學(xué)預(yù)科數(shù)學(xué)困難領(lǐng)域中復(fù)雜自動推理能力的顯著進(jìn)步。AlphaGeometry的發(fā)布標(biāo)志著在計算機程序領(lǐng)域中首次實現(xiàn)了比IMO平均候選程序更有效地證明歐幾里得平面幾何定理的突破,推動了數(shù)學(xué)競賽頂峰推理的自動化?
GoogleDeepMind發(fā)布了一個名為AlphaGeometry的人工智能系統(tǒng),它可以解決復(fù)雜的幾何問題,其水平接近人類奧林匹克金牌得主——這是人工智能性能的突破。在對30道奧數(shù)幾何題的基準(zhǔn)測試中,AlphaGeometry在標(biāo)準(zhǔn)奧數(shù)時限內(nèi)解決了25道。研究人員最近推出了FunSearch,它首次使用大型語言模型在數(shù)學(xué)科學(xué)的開放問題中取得了發(fā)現(xiàn)。