AI數(shù)學(xué)
AI七個(gè)月突破數(shù)學(xué)家“圍剿”反超人類！14位數(shù)學(xué)家深挖原始推理token：不靠死記硬背靠直覺
也有局限性：缺乏創(chuàng)造力和理解深度
學(xué)直播預(yù)告-e1748316314289.png)
形式化證明與大模型：共創(chuàng)可驗(yàn)證的AI數(shù)學(xué)未來｜量子位直播
本周四晚20:00，一起來聊聊AI數(shù)學(xué)吧～
陶哲軒：AI讓業(yè)余數(shù)學(xué)家也能做出貢獻(xiàn)
“我用維基百科學(xué)習(xí)數(shù)學(xué)”
一文看懂AI數(shù)學(xué)發(fā)展現(xiàn)狀，清華校友朱松純學(xué)生一作，還整理了份必備閱讀清單
模型數(shù)據(jù)集一步到位
AI能證明數(shù)學(xué)數(shù)據(jù)庫中82%的問題，新SOTA已達(dá)成，基于Transformer
來自臉書AI團(tuán)隊(duì)
DeepMind給AI出了200萬道數(shù)學(xué)題，結(jié)果不如計(jì)算器哈哈哈哈哈
原來我的數(shù)學(xué)比AI還好
