「数学顶刊」共找到 821 篇相关文章
AI首胜人类博士，顶会论文秒变代码！港大90后开源刷爆8k星
香港大学黄超团队开源的DeepCode，能分析论文、生成可运行代码。在四大基准测试中全面领先，首超人类专家，还优于现有AI Coding。它有三大核心能力，采用三阶段框架实现代码自动转换。
AI顶会模式出了问题？ 「不发表，就出局」的恶性循环，正在压垮整个AI学界
随着AI领域发展，NeurIPS等大型学术会议愈发热门，但也带来诸多问题，如发表激增、碳排放过载、研究与会议脱节等。新加坡国立大学团队研究后指出传统模式弊端，并提出社区联合型会议新模式。
别再乱学AI了！我花7天实践了张Zara的方法，从此告别焦虑
作者实践张Zara的AI学习法后告别焦虑，分享学习-实践-链接-输出的心法。包括高质量输入，如看长视频、跟随创造者、深度用产品；内化输出，如公开学习、与创造者交流、实践；还提及启动和持续输出要点及优质信息源。
o4-mini暴击六大数学天团，攻破陶哲轩难题！4.5h激战人类阵地失守
Epoch AI团队举办竞赛，约40位数学精英分成8组与o4 - mini - medium在FrontierMath基准上对决。o4 - mini击败6组团队，虽未完全超越人类，但Epoch AI预测到2025年底AI可能超30% - 50%人类基准。
机器人进入“边做边学”时代：星尘发布在线强化学习框架，让动态投掷成功率提升超141%
星尘智能基座模型团队公布在线强化学习框架SmoothRL，解决异步执行环境中具身模型在线微调难题。该框架让策略更新对应硬件实际执行，攻克延迟失准问题，在多项真机测试中大幅提升任务成功率。
画数独、烧蜡烛都不翻车了？浙大&阿里让AI先三思再下笔｜ACL 2026
当下视觉生成中，开源模型在逻辑推理生成任务上频频翻车，与闭源模型有差距。浙大与阿里团队提出Unified Thinker，将思考与执行解耦，构建数据集、采用创新算法，实验显示其有效提升逻辑执行准确度。
“我可能不再建议学计算机”！图灵奖得主炮轰半个行业，并断言：AI Agent最后全是数据库问题
图灵奖得主 Mike Stonebraker 在访谈中炮轰数据库行业，直言计算机科学未来或不再是增长型行业。他批判 Oracle、Google、AWS 等公司的数据库方案，还指出大模型写 SQL 在真实数据仓库中准确率极低，agentic AI 未来将成数据库问题。
狂揽16.1k星！清华开源交互式AI课堂，学霸打造的最懂学习的AI工具
清华开源的OpenMAIC是多智能体互动课堂平台，能将文档转化为互动学习场景，自动生成课件等内容，有五种交互式界面、AI教师指导，可在任何设备使用，对教育场景很有价值。
谁杀死了那篇好论文？AI顶会乱象：好论文被刷，低分论文被捧上天
一位AAAI 2026审稿人在Reddit爆料，好论文被拒、弱论文晋级，疑似有「关系稿」。AAAI采用双阶段评审制并启用AI辅助审稿，却让评审更主观不可控，导致学术公信力下降。
斩获5.5K star！！AI 加持到位，安全感拉满，这个升级版开源知识库神器太顶了！
两个月前分享的开源AI知识库项目PandaWiki，迭代速度惊人。此次更新多个大版本，编辑器体验提升，AI成智能客服，支持20+家模型供应商，还优化团队协作功能和诸多细节，更成熟实用。