展會信息港展會大全

陶哲軒宣布“等式理論計劃”成功,人工智能57天證明超過2200萬個數(shù)學(xué)關(guān)系 | 環(huán)球科學(xué)要聞
來源:互聯(lián)網(wǎng)   發(fā)布日期:2024-11-25 13:20:40   瀏覽:53次  

導(dǎo)讀:將環(huán)球科學(xué)設(shè)為星標(biāo)周一至周五第一時間掌握最新鮮的全球科技資訊天文學(xué)我國新一代地基紅外天文望遠鏡發(fā)布首批觀測圖像左圖為中山大學(xué)80CM望遠鏡拍攝的近紅外波段圖像,圓圈中為超新星SN2024xal,右圖為兩微米全天巡天項目拍攝的近紅外波段歷史圖像。圖片來源:中山大學(xué)物理與天文學(xué)院近日,中山大學(xué)80厘米望遠鏡在青海冷湖天文觀測研究基地投入觀測,并成功發(fā)布首批觀測圖像。 ......

將環(huán)球科學(xué)設(shè)為星標(biāo)周一至周五第一時間掌握最新鮮的全球科技資訊

天文學(xué)我國新一代地基紅外天文望遠鏡發(fā)布首批觀測圖像陶哲軒宣布“等式理論計劃”成功,人工智能57天證明超過2200萬個數(shù)學(xué)關(guān)系 | 環(huán)球科學(xué)要聞

左圖為中山大學(xué)80CM望遠鏡拍攝的近紅外波段圖像,圓圈中為超新星SN2024xal,右圖為兩微米全天巡天項目拍攝的近紅外波段歷史圖像。圖片來源:中山大學(xué)物理與天文學(xué)院

近日,中山大學(xué)80厘米望遠鏡在青海冷湖天文觀測研究基地投入觀測,并成功發(fā)布首批觀測圖像。該望遠鏡觀測紅外波段,可以在空間中的X射線、伽馬射線衛(wèi)星以及地面上的光學(xué)巡天望遠鏡發(fā)現(xiàn)暫現(xiàn)源后,快速指向目標(biāo)進行紅外波段觀測。望遠鏡首批觀測目標(biāo)為超新星SN2024xal,并在持續(xù)監(jiān)測過程中觀測到其光度明顯下降。

由于宇宙膨脹,宇宙中較遠的天體會發(fā)生紅移,導(dǎo)致其光譜向紅色波段偏移。近紅外觀測對于研究早期宇宙中類星體的形成和演化至關(guān)重要。此前我國上一代紅外望遠鏡采用光電倍增管探測器,不能直接成像;而中山大學(xué)80厘米望遠鏡使用國產(chǎn)探測器在紅外K波段實現(xiàn)科學(xué)級成像觀測,大大提高了觀測效率。(新華網(wǎng))

人工智能陶哲軒宣布“等式理論計劃”成功,57天完成超過2200萬個數(shù)學(xué)關(guān)系證明

據(jù)量子位消息,11月22日,數(shù)學(xué)家陶哲軒(Terence Tao)在社交媒體上宣布,其發(fā)起的“等式理論計劃”( Equational Theories Project)已經(jīng)“暫時”取得成功:在人類科學(xué)家與AI的通力合作之下,該項目最后一個未解決的蘊含關(guān)系已經(jīng)被解決(待驗證)。僅僅57天,該項目就解決了4694個等式之間22 028 942個蘊含關(guān)系。陶哲軒表示,盡管該項目尚未完全完成,但宣布最終成功只是時間問題,因此他們已經(jīng)開始著手撰寫研究成果。

據(jù)悉,“等式理論計劃”由陶哲軒本人在2024年9月25日發(fā)起,目的是探索按蘊含關(guān)系排序的原群(magma)等式理論空間。該項目旨在采用“數(shù)學(xué)家+AI(包括自動定理證明系統(tǒng)和大模型)+證明輔助語言Lean”的協(xié)作方式,構(gòu)建一個展示4694個magma等式(最多四次使用magma操作)之間所有蘊含關(guān)系的“蘊含圖”。項目發(fā)起當(dāng)日就正式啟動,僅僅9天,項目進度就達到了99.866%,到第19天進度已達99.9963%。現(xiàn)在,在超過2200萬個需要證明的蘊含關(guān)系中,8178279個已被證實,13855193個已被證偽,僅有162個還懸而未決。(量子位)

行星科學(xué)火星40多億年前就有熱水活動

陶哲軒宣布“等式理論計劃”成功,人工智能57天證明超過2200萬個數(shù)學(xué)關(guān)系 | 環(huán)球科學(xué)要聞

被稱為“黑美人”的火星隕石樣本。圖片來源:Aaron Cavosie

尋找早期火星上含水流體的直接證據(jù),對于我們了解火星上水的起源和宜居性等很有意義。在一項發(fā)表于《科學(xué)進展》(Science Advances)上的新研究中,研究者發(fā)現(xiàn)了火星古代熱水活動的最早直接證據(jù),揭示了該星球在過去的某個時期可能適宜居住。

研究分析了著名的火星隕石NWA7034(也叫黑美人,Black Beauty)中一顆具有44.5億年歷史的鋯石顆粒。研究團隊通過納米級成像和光譜分析,確定了這顆獨特鋯石中的元素模式,其中包括鐵、鋁、釔和鈉。在44.5億年前該鋯石形成時,這些元素就進入其中,這表明在火星早期巖漿活動中就有水的存在。這項研究表明,火星上40多億年前就已經(jīng)存在熱水活動了,這使我們對早期火星有了更進一步的了解。(CURTIN UNIVERSITY)

考古學(xué)科學(xué)家發(fā)現(xiàn)迄今最古老字母文字,比之前認(rèn)為的早500年


陶哲軒宣布“等式理論計劃”成功,人工智能57天證明超過2200萬個數(shù)學(xué)關(guān)系 | 環(huán)球科學(xué)要聞

迄今最古老字母文字。圖片來源:約翰霍普金斯大學(xué)

過去,人們一直認(rèn)為,最早的字母文字發(fā)明于公元前1900年左右,起源于埃及或其周邊地區(qū),但一項11月21日公布于美國海外研究協(xié)會(ASOR)年會的研究挑戰(zhàn)了這一觀念。據(jù)美國約翰霍普金斯大學(xué)消息,科學(xué)家近期在敘利亞的一座古墓中發(fā)現(xiàn)了一些黏土制成的圓柱形物體,其上的刻痕似乎是迄今發(fā)現(xiàn)的最古老的字母文字,可以追溯至約公元前2400年,比此前已知的字母文字早了約500年,改寫了考古學(xué)家對字母起源的認(rèn)知。

據(jù)悉,研究人員在敘利亞北部的Tell Umm-el Marra進行考古發(fā)掘時,在一座古墓中的陶器旁發(fā)現(xiàn)了四個輕微烘烤過的粘土圓柱體,上面似乎有字母文字。由于這些圓柱體上留有孔洞,研究人員猜測,古人可能用繩子將這些圓柱體拴在另一個物體上作為標(biāo)簽,例如用于描述容器的內(nèi)容物,或者容器的來源和擁有者。這些文字不僅比此前認(rèn)為的文字起源更古老,而且來自非埃及周邊地區(qū),表明字母文字的起源可能和此前認(rèn)為的不同。(約翰霍普金斯大學(xué))

材料學(xué)新型涂層增加鈣鈦礦電池壽命

鈣鈦礦太陽能電池因為其較高的效率和低成本生產(chǎn)的潛力在學(xué)術(shù)界一直有較高的熱度,但因為穩(wěn)定性問題,一直難以實用。近日,一篇發(fā)表在《科學(xué)》(Science)上的論文用一種新的薄膜涂層增加了鈣鈦礦電池在真實環(huán)境中的壽命。

此前,大多數(shù)研究重點研究如何提升鈣鈦礦材料本身的穩(wěn)定性,但這種方式可能會降低鈣鈦礦本身的性能。在本次研究中,研究人員著重探究了鈣鈦礦電池表面保護層的作用。此前,先進的鈣鈦礦電池通常采用銨鹽做鈍化層,但它可能在熱應(yīng)力下分解。本研究的關(guān)鍵在于對鈍化層進行化學(xué)處理,將不穩(wěn)定的銨轉(zhuǎn)化成更穩(wěn)定的脒鹽。處理后,鈣鈦礦電池的效率可達26.3%,并且該電池在高溫(85℃)和陽光下,衰減到初始效率90%的時間(即T90壽命)為1100小時,是先前研究的3倍。(Interesting Engineering)

編輯/撰寫:王昱、黃雨佳、冬鳶封面來源:pixabay

贊助本站

相關(guān)內(nèi)容
AiLab云推薦
展開

熱門欄目HotCates

Copyright © 2010-2024 AiLab Team. 人工智能實驗室 版權(quán)所有    關(guān)于我們 | 聯(lián)系我們 | 廣告服務(wù) | 公司動態(tài) | 免責(zé)聲明 | 隱私條款 | 工作機會 | 展會港