数学-AI中国网

科技

人物
互联网
IT
网络安全
网络通信

更多

大数据
信创
云计算
无人机
机器人
智能家居
无人驾驶
机器学习
物联网
智能穿戴

时间:2025-08-29热度:2598

吴文俊：以数学机械化照亮AI之路，精神薪火照亮创新征程
时间:2025-08-29热度:2547

吴文俊：以数学机械化照亮AI之路，精神薪火照亮创新征程
时间:2025-05-15热度:2546

谷歌AlphaEvolve发布！Gemini自进化AI破解数学难题，优化芯片与数据中心，训练速度飙升32.5%！
时间:2025-05-10热度:2534

UGMathBench动态基准测试数据集发布可评估语言模型数学推理能力
时间:2025-04-14热度:2623

昆仑万维开源Skywork-OR1系列模型数学代码能力出色
时间:2025-03-25热度:2501

阿里推出全新多模态模型 Qwen2.5-VL-32B：兼顾视觉语言与数学推理
时间:2025-03-07热度:2572

Light-R1-32B:低成本高性能的数学解题新星闪耀登场
时间:2025-03-07热度:2550

5 道高考题讯飞星火 X1 升级版和 DeepSeek 谁才是当仁不让的数学状元
时间:2025-03-07热度:2595

数学越来越难学吗别慌，专家来支招！
时间:2025-03-07热度:2586

讯飞星火深度推理大模型X1升级版来了！数学能力和DeepSeek R1谁强
时间:2025-03-07热度:2512

数学越来越难学吗别慌，专家来支招！
时间:2025-01-20热度:2517

OpenAI o3 碾压式 AI 数学成绩遭质疑：既当选手又是裁判
时间:2025-01-16热度:2510

阿里巴巴Qwen 团队发布新型过程奖励模型，数学推理再进化
时间:2024-12-28热度:2624

OpenAI研究员首次提出「AGI时间」进化论！o1数学已达「分钟级AGI」
时间:2024-12-25热度:2521

AI大模型评测：豆包中文对话最强，OpenAI o1推理和数学占优
时间:2024-12-24热度:2556

Meta、斯坦福等：AI的下一个前沿，正是陶哲轩说的形式化数学推理
时间:2023-12-19热度:2629

元象开源高性能大模型 XVERSE-65B-2 底座版提升代码和数学能力
时间:2023-12-15热度:2506

Google DeepMind利用大型语言模型解决数学未解问题
时间:2023-12-06热度:2588

陶哲轩成功用AI工具形式化证明数学猜想
时间:2023-09-25热度:2554

智谱 AI 发布 MathGLM 数学模型，算术任务性能优于 GPT-4
时间:2023-08-18热度:2573

阿里大模型数学工具 MindOpt Copilot 将上线
时间:2023-08-14热度:2531

数学能力超 ChatGPT，70B 开源大模型火了：用 AI 微调 AI，微软全华班出品
时间:2023-08-11热度:2566

Goodnotes 6 加入 AI 笔记、AI 数学辅助并集成 Claude 等功能
时间:2023-04-24热度:2521

必应聊天改进报告：正确显示数学公式，减少非正常结束对话情况
时间:2023-01-02热度:2603

OPPO携手西安交通大学成立数学与未来泛在软件联合实验室

189 1 2 3 4 5 6 7 8 下一页尾页