「数学验证」共找到 1227 篇相关文章
韦东奕论文登数学顶刊，将散焦方程的爆破性研究扩展至d≥4
韦东奕和北大学者章志飞、邵锋合作的论文发表于数学顶刊《Forum of Mathematics, Pi》。他们将散焦方程的爆破性研究扩展至d≥4，成果填补空白，证明方法可推广到其他方程。
GPT-5.5 Instant上线：幻觉减少52.5%，告别废话
OpenAI完成ChatGPT默认模型的静默升级，GPT-5.5 Instant全面替换GPT-5.3 Instant。它在数学推理、减少幻觉、精简回答、记忆功能等方面有显著改进，还采用灰度推送策略。开发者认为其定位是日常场景够用顺手。
Claude 20x 取消 5 小时限制，并赠送 $200/月 API 额度
Claude 将 200 美元/月的 20x 套餐更名为 Ultra，并取消了 5 小时使用额度限制，老订阅已分批生效，新账号通过验证后开放。
不平衡数据下对比学习的理论分析：从训练动态到剪枝解决方案
本文第一作者为新泽西理工学院廖海旭。对比学习在类别不平衡数据下面临挑战，此前研究未考虑其影响。本文构建理论框架刻画训练动态，定量分析少数特征影响，提出剪枝算法增强少数特征学习，实验验证其有效性。
前OpenAI灵魂人物Jason Wei最新演讲！三大思路揭示2025年AI终极走向
前OpenAI核心研究员Jason Wei在斯坦福演讲，提出AI发展三大思路。他认为智能会商品化、成本下降，自适应算力出现；所有能被验证的任务最终会被AI解决；AI智能呈锯齿状，不会瞬间超越人类。
0人工参与实现梯度更新！MIT新框架让AI自动生成微调数据，权重自主升级
MIT提出新强化学习框架SEAL，可让模型生成微调数据和自我更新指令，实现权重更新。无需人工，模型能自动梯度更新。经知识注入和小样本学习实验验证效果，还介绍了其双循环工作机制。
新版DeepSeek R1你得这样用，太爽啦~
前几天DeepSeek R1悄悄更新，作者测评发现，起初用复杂提示词，它比Claude4有明显差距；换成一句话提示词，生成效果质的飞跃，代码能力大幅提升接近Claude4，写作小提升，数学能力提升不大。
不增加人手，项目效率飙升45%，OpenAI公开了一套AI实战经验
OpenAI公开基于大语言模型和专属Skill包的开源仓库维护方法论，将重复工作自动化，使项目代码合并吞吐量飙升45%。该方法由AGENTS.md、Skill包和GitHub Actions构成，还涉及任务分配、验证策略等。
奥特曼首晒GPT-5实测！被曝使用超级对齐团队“遗产”
奥特曼首晒GPT - 5实测，虽对话仅围绕电视剧推荐，但引发大量关注。除官方放料，还被曝重写编码规则，用上超级对齐团队“遗产”通用验证器，不过也有爆料称其研发遇困难。
如何判断AI视频真假？综述动态、可溯源、可解释的检测体系 | ACL26
AI视频生成技术发展快，现有检测方法难满足需求。新综述提出‘事实保真度验证’目标，梳理四层检测框架，涵盖底层线索、时空一致性等，强调多层证据耦合与可解释性，还分析评测指标与数据集。