「数学猜想库」共找到 601 篇相关文章
GPT-5内测抢先公布：日常推理首次击败人类，编程数学科学问题能力都很强
疑似GPT - 5发布预告刚出，内测体验抢先释出。网友实测其推理能力首超人类，编程、数学等能力也出色，虽提升或没GPT - 3到GPT - 4明显，但市场竞争激烈，8月8日凌晨OpenAI发布或为GPT - 5。
MSRA首测AI从零建仓库：能写、能跑，但不一定对丨ACL'26
微软亚洲研究院工作RepoGenesis被ACL 2026高分录用，它是面向多语言、仓库级、端到端Web微服务生成的基准。输入贴近实际，用多维度评测开源Agent和商业IDE，还拓展模型微调。但也有边界，未模拟真实复杂需求。
真·博士水平！GPT-5首次给出第四矩定理显式收敛率，数学教授只点拨了一下
在数学教授引导下，GPT - 5首次将定性的第四矩定理扩展为带有显式收敛率的定量形式，明确了收敛速率。研究人员还引导其将结果推广到泊松情形，作者起初想将其列为论文共同作者但被 arXiv 政策禁止。
关于现代GPU体系结构内存一致性（Memory Consistency）模型的一些猜想（二）——同步性能
文章聚焦GPU应用层面，通过实验对比不同同步代码实现的性能。在H20 GPU上测试，发现scope越小同步性能越好，内存屏障开销随scope增大而增加，还介绍非PTX及官方推荐实现方式并给出性能对比。
高考数学全卷重赛！一道题难倒所有大模型，新选手Gemini夺冠，豆包DeepSeek并列第二
因网友质疑上次测评不严谨，此次用六款大模型挑战含解答题的全套高考数学题。结果Gemini 2.5 Pro夺冠，Doubao和DeepSeek R1并列第二。解答题是失分重灾区，图像题难倒多模态大模型。
库里被「采访」、杨紫被「演」短剧？别慌！蚂蚁AI鉴真拿下CVPR 2026冠军，专治黑产
深度伪造技术滥用，明星成换脸受害者，引发社会关注。蚂蚁集团AI安全实验室队伍MICV获CVPR 2026挑战赛冠军，还发布检测资源仓库。团队提出基于DINOv3的框架，解决AIGC检测难题，成果显著。
阿联酋K2横空出世，数学、代码样样行，速度全球最快，GPT-4看了都得抖三抖
阿联酋穆罕默德·本·扎耶德人工智能大学与G42公司联合推出开源AI推理系统K2 Think，基于Qwen 2.5 - 32B模型。它靠六项技术性能出众，在多领域测试成绩好，还以小参数量媲美大模型，且全面开源。
一个月重写三次代码库、三个月就换套写法！吴恩达：AI创业拼的是速度，代码不重要
吴恩达在 Y Combinator 演讲分享创业心得，指出执行速度是创业成败关键，创业者最大机会在应用层，介绍提速方法，还回应 AGI 炒作、token 成本等问题。
一个月重写三次代码库、三个月就换套写法！吴恩达：AI创业拼的是速度，代码不重要
吴恩达在 Y Combinator 演讲分享创业心得，指出 AI 创业成败关键在执行速度，最大机会在应用层，还介绍提速方法，如想法具体、用 AI 编程工具等，问答中回应 AGI 炒作等问题。
小红书发布 SWE-Bench Mobile：当 AI Agent 面对亿级用户 App 代码库，最高通过率仅12%？
小红书联合多科研机构发布 SWE-Bench Mobile，它是首个还原‘端到端’开发流程的基准，以小红书 App 实际任务为核心。评测显示，AI Agent 在移动端开发能力上限低，架构设计比模型本身重要，简单提示策略效果更好。