展會(huì)信息港展會(huì)大全

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


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

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

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

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

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

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

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

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

贊助本站

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

熱門欄目HotCates

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