中新網北京12月2日電 (記者 孫自法)國際著名學術期刊《自然》最新一期封面發表一篇計算機科學論文稱,科研人員研發出一個機器學習框架,能幫助數學家發現新的猜想和定理。
該機器學習框架由知名人工智能(AI)企業DeepMind開發,已經幫助發現了不同純數學領域的兩個新猜想,這項研究展示出機器學習如何整合進現存工作流支持數學研究。
據介紹,純數學研究工作的關鍵目標之一是發現數學對象間的規律,并利用這些聯系形成猜想:懷疑為真但尚未得到嚴格證明的敘述。從20世紀60年代開始,數學家開始使用計算機幫助發現規律和提出猜想,但人工智能系統尚未普遍應用于理論數學研究領域。
論文通訊作者、DeepMind亞歷克斯·戴維斯(Alex Davies)和數學家一起建立了一個機器學習框架,用于協助數學研究。他們的算法搜索數學對象間潛在的規律和聯系,嘗試尋找意義。其后由數學家接手,利用這些觀察來引導他們對潛在猜想的直覺。
2026年1月15—16日,自然科學基金委第442期雙清論壇“人工智能與中醫藥傳承創新”在珠海召開。本次論壇由自然科學基金委醫學科學部、信息科學部、交叉科學部和計劃與政策局聯合舉辦,中醫藥廣東省實驗室......
隨著生成式人工智能技術在教育領域的應用日益普及,創造性思維教育變得尤為重要,但技術在提升效率的同時,學習者大腦認知神經過程與情緒的響應仍是未知。近日,北京理工大學設計與藝術學院教授盧兆麟團隊利用功能性......
賽默飛世爾科技公司(TMO),全球領先的科學服務提供商,宣布與英偉達公司建立戰略合作伙伴關系,以大規模推動基于人工智能(AI)的解決方案和實驗室自動化。該合作將利用英偉達人工智能(AI)平臺和賽默飛世......
中國工信部、中央網信辦、國家發改委等八部門7日對外發布《“人工智能+制造”專項行動實施意見》,明確到2027年,中國人工智能關鍵核心技術實現安全可靠供給,產業規模和賦能水平穩居世界前列,建成全球領先的......
興都庫什—喀喇昆侖—喜馬拉雅(HKH)地區的冰湖變化,是氣候變化的重要指示器。由于該地區地形極為復雜,加之常年受到云層遮擋、地形陰影以及季節性積雪覆蓋的影響,這些因素顯著制約了冰湖自動制圖的精度,使得......
一項近日發表于《科學》的研究指出,像ChatGPT 這樣的人工智能(AI)寫作工具正在大幅提升科研生產力。研究人員借助AI工具使論文發表數量最多增加了50%。但這也有不利的一面,AI生成的文......
由美國特朗普政府主導“創世紀計劃”(GenesisMission)近日新增24家人工智能領域企業為合作方,包括英偉達、AMD、OpenAI、微軟、亞馬遜AWS及谷歌母公司Alphabet等。目前“創世......
教育部辦公廳關于公布第二批中小學人工智能教育基地名單的通知教基廳函〔2025〕32號各省、自治區、直轄市教育廳(教委),新疆生產建設兵團教育局:根據《教育部辦公廳關于開展第二批中小學人工智能教育基地推......
中央廣播電視總臺12月24日發布2025年度國內、國際十大科技新聞。2025年度國內十大科技新聞是:1.我國建設三大世界級科技創新中心;2.國務院印發《關于深入實施“人工智能+”行動的意見》;3.天問......
近日,山東沂訊信息科技有限公司成立,法定代表人為柳升華,注冊資本5000萬元,經營范圍包括人工智能公共服務平臺技術咨詢服務、集成電路設計、人工智能基礎軟件開發等。企查查股權穿透顯示,該公司由科大訊飛全......