期望AI在拓寬人類認(rèn)知鴻溝的一起,
這讓我想起了漂泊地球里的MOSS,黎曼猜測等問題。它企圖證明的是1.5/L而不是1.75/L,不會忽然又大降 。它更像是v1證明的一種演進(jìn) 。但全體證明進(jìn)程看起來十分高雅。
今日這個問題有了答案 。
因而,
OpenAI的總裁Greg Brockman乃至標(biāo)明這或許是AI在數(shù)學(xué)范疇展示生命力的一種痕跡 。
在AI的協(xié)助下,與微軟研討院實習(xí)生協(xié)作取得的ALT2018和2023最佳學(xué)生論文獎、
作為前微軟人工智能副總裁兼出色科學(xué)家 ,在微軟研討院作業(yè)了10年(開始參加理論研討組)