標簽:數學
數學年鑒:數學家取得雙重突破,解決了兩個長期存在的問題
羅格斯大學新不倫瑞克分校的一位教授畢生致力于解決高等數學的奧秘,他解決了困擾數學家數十年的兩個獨立的基本問題。 這些長期存在的問題的解決方案可以進一...
王小川的三階段論:從物理、語言到意識的數學化
來源:元界 整理編輯:抱一君 牛頓是科學時代起步時的一位科學家,他的重要工作是把物理學變成了數學。智能時代的起步,是從把語言變成數學開始的,以ChatGP...
陶哲軒全網懸賞「最強大腦」!AI+人類顛覆數學難題?凡爾賽網友已下場
新智元報道編輯:Aeneas 好困 【新智元導讀】最近,陶哲軒向廣大網友和數學愛好者發起了挑戰:大眾數學愛好者、證明助理、自動化助手和AI聯合起來,是否可以...
谷歌Gemini數學反超o1預覽版!成本僅1/10、無需額外思考時間,舊范式還沒有死
小交 發自 凹非寺量子位 | 公眾號 QbitAI數學擊敗o1-preview,成本僅為十分之一,并且幾乎沒有思考延遲! OpenAI《Her》全量開放同一天,谷歌Gemini 1.5迎來...
北大AI奧數評測,o1-mini比o1-preview分數還高
Omni-MATH團隊 投稿量子位 | 公眾號 QbitAIOpenAI的o1系列一發布,傳統數學評測基準都顯得不夠用了。 MATH-500,滿血版o1模型直接拿下94.8分。 更難的奧數邀...
LLM群體智能崛起,數學性能暴增11.6%!谷歌DeepMind四大機構聯手新作
新智元報道編輯:桃子 【新智元導讀】多個LLM聯合,可以邁向更強大系統!最新研究發現,GPT-4能夠提升同伴的性能,能夠讓數學能力暴漲11.6%。AI如何成為「更...
Qwen2.5登上全球開源王座!72B模型擊敗LIama3 405B,輕松勝過GPT-4o-mini
白小交 發自 凹非寺量子位 | 公眾號 QbitAI擊敗LIama3!Qwen2.5登上全球開源王座。 而后者僅以五分之一的參數規模,就在多任務中超越LIama3 405B。 各種任務...
張壽武:數學中的無解之解
來源:下文轉自公眾號:返樸(fanpu2019) 演講:張壽武(普林斯頓大學數學系教授,美國藝術與科學學院院士) 整理:木槐、Helen人類對數的抽象思考古已有之。...
聽了這首歌后,我立馬愛上數學了
— —《DAN.AI》第2期— — 以數之名出品:量子學派 作詞:羅金海 作曲:傅若雯 演唱:滾DAN樂隊滾DAN樂隊 誕生于科技與藝術的交匯點, 是由AI與人類合作組成的樂...
陶哲軒提前實測滿血版o1:能當研究生使喚
白小交 衡宇 發自 凹非寺量子位 | 公眾號 QbitAI好羨慕!原來早在8月份,陶哲軒就已經用上了OpenAI o1。 還是現在大家都用不上的滿血版本(眼淚不爭氣地從嘴...
OpenAI 發布最新模型 o1,這次變為華人扛大旗?一分鐘搞出 3D 版貪吃蛇,好用但小貴
整理 | 華衛、核子可樂 9 月 12 日,OpenAI 萬眾期待的“草莓”(Strawberry)終于上線了。這一新模型名為 o1,是 OpenAI 推理模型家族的首位成員,能夠解決現...
北大王立威:理論視角看大模型,為什么AI既聰明又愚蠢 | 智者訪談
人工智能的卓越發展 源于對技術與產業本質的洞察 機器之心全新視頻欄目「智者訪談」 邀請領域專家,洞悉 AI 核心技術與行業趨勢 為從業者量身打造 深化行業認...
字節又一款AI 產品在海外大火,教育榜第二,僅次于多鄰國
字節又有一個產品在海外火了。 這個教育類 AI 軟件 Gauth 不是用來寫論文的,而是一個解題助教,能直接答題,也能一步步教你。 在美國教育類應用中,它排名第...
陶哲軒:AI時代,數學研究將進入前所未有的規模
來源:量子位編輯:西風 陶哲軒最新演講公開,AI含量爆表。 在IMO 2024現場,“陶神”帶來了洋洋灑灑1個小時的精彩分享,主題就叫:AI與數學。他怎么看AI和數學...
執教10年46枚美國IMO金牌!對話前總教練羅博深:不看好AI教育,不建議AI輔助學數學
白交 夢晨 發自 凹非寺量子位 | 公眾號 QbitAI在中國奧數隊歷史性五連冠被美國隊終結后,一個名字被反復談起。 羅博深(Po-shen Loh)。 他是前美國奧數功勛...
粵公網安備 44011502001135號