人工智能
新能源汽车
智能家居
机器人
云计算
大数据
VR/AR
芯片
元宇宙
智能穿戴
物联网
生物医药
网络安全
硬件
新能源
AI导航
AI工具库
AI应用集
AI快讯
AI热点
最新文章
最近使用
清空
暂无历史
首页
•
标签云
•
数学
标签:数学
关注
陶哲轩偏好的证明助手Lean在大型模型上大放异彩
DeepMind团队在《自然》发表论文:巨型模型成功解决数学难题,超越人类数学家
AI助力陶哲轩数学壮举,成功证明数学猜想震惊学界
私募巨头背书!无需申请,免费商用国产大模型亮相秒杀700亿Llama 2
微软&UCLA&UW联合出品:6141道多模态数学题大全,助你备战“5年高考3年模拟”
UCLA等发布全新「多模态数学推理」基准MathVista,112页报告深度解析GPT-4V
我要颠覆传统:挑战权威,做自己!
掌握人工智能需要的数学基础书单和自学方法
陶哲轩力挺!AI奥数奖揭晓,500万美元巨奖等你挑战,寻找得IMO金牌的强大模型
普林斯顿发布34B规模数学大模型:性能媲美谷歌Minerva,参数量减少一半!550亿token专业数据训练
博士小哥开源AI数学“照妖镜”:一招分辨刷榜作弊大模型
微软发布MathVista基准评测报告:GPT-4V在数学推理领域表现如何?长达112页详细解读
数学是否是宇宙的基石?
仿佛搭乐高般轻松,GPT-3.5在数学定理证明方面取得最新SOTA成功率
90岁的数学巨匠仍坚守研究,丘成桐尊其为师
马斯克首个人工智能研究成果发布!创始成员杨格和姚班校友合作发表论文
数学逻辑与计算机程序代码的深层关联:相辅相成
参数减半,性能接近谷歌Minerva,又有一个数学大模型开源
AI助力数学探索:人工智能如何助力数学前沿的发现?
陶哲轩携手GPT-4合著数学论文,数学界大咖惊叹,LLM推理能力助力证明不等式定理
数学证明的本质是一种社会契约,数学家为何如此认为?
GitHub Copilot引发数学大神陶哲轩的担忧
ChatGPT多模态解禁:网友疯狂体验拍照生成代码,一眼识别古卷手稿,超6种图表总结
上交AI数学开源模型震撼登顶阿贝尔排行榜
MAmmoTH开源:挑战GPT-4,参数量超越34B,平均准确率最高提升29%
17岁少年获得2023年阿里巴巴全球数学竞赛金奖,北大学生夺下冠军殊荣
17岁北大大二生成阿里数学竞赛最年轻金奖得主,小学即卓越于数学分析
揭秘人工智能的数学基石:十大数学基础揭秘
陶哲轩用大型模型协助解决数学问题:生成代码、编辑LaTeX公式都非常便捷