「塔拉格兰卷积猜想」共找到 55 篇相关文章
AI证伪百年数学猜想被打假！Lean证明惊现漏洞，哥大教授破防了
OpenAI新推理模型取得十项数学进展，如证明非Sofic群存在性等。哥伦比亚大学副教授Henry Yuen对其量子并行重复定理证明既兴奋又失望，因证明有AI味且难理解。此外，Lean证伪科拉兹猜想被指利用内核漏洞，专家提醒Lean验证有局限。
别再乱调图像塔了！浙大 IJCAI 论文揭露 VLM 非对称性真相，给 CLIP 微调「踩刹车」
浙大陈静远教授课题组等提出自适应非对称适配器，放弃对图像分支硬性微调，引入预测置信度自动给视觉塔‘踩刹车’。经实验总结出微调三大核心洞察，在多个数据集测试中表现优异。
蚂蚁武威：下一代「推理」模型范式大猜想
文章围绕下一代「推理」模型范式展开，蚂蚁技术研究院武威提出不同观点，认为长思维链推理未必最优，未来推理模型或更低维稳定，还探讨推理定义、重要性及解法猜想，如结合快慢思考等。
黎曼猜想推至理论边界99.55%！元代理架构AI：在思考中重塑大脑
科学家面临让AI解决复杂科学难题的问题，传统固定架构AI处理特定复杂问题不顺手。近日学术团队提出Eureka架构，能让AI动态“生长”专用“大脑”，在测试中表现出色，还在数学和物理领域有重大成果。
GPT-5.2破解数论猜想获陶哲轩认证！OpenAI副总裁曝大动作：正改模型核心设计，吊打90%研究生但难出颠覆性发现
OpenAI 发布由 GPT - 5.2 加持的科研平台 Prism 并免费开放。OpenAI 副总裁 Kevin Weil 回应入局科研领域问题，称模型能力超 90% 研究生，但难有颠覆性发现，还透露将优化模型设计。
陶哲轩转发！DeepMind开源「AI数学证明标准习题集」
DeepMind开源形式化数学猜想库，收录经典数学猜想，还提供代码函数方便形式化表述。此库可作测试基准提升AI数学推理能力，是AI+ATP范式关键前置步骤，团队邀更多人参与丰富内容。
连OpenAI都在偷偷重仓！大模型的下一站，是「入侵」人类大脑
AI巨头入局使脑机接口升温，格式塔科技获1.5亿融资刷新中国纪录。全球超声赛道投资热，OpenAI等参与。超声波路径优势多，格式塔聚焦医疗，产品有望落地，AI融合是关键，未来脑机接口或成基础设施。
刚刚，谷歌「IMO金牌」模型上线Gemini，数学家第一时间证明猜想
本周五，谷歌向 Google AI Ultra 订阅用户推出 Deep Think 功能，提供全版本 Gemini 2.5 Deep Think 模型给部分数学家。该模型是获 IMO 金牌模型变体，速度更快，有并行思维等技术，在多领域有用且测试成绩优。
LLM 商业化猜想：OpenAI 会走向 Google 的商业化之路吗？｜AGIX PM Notes
文章探讨了大模型商业化难题，对比 OpenAI 潜在变现方案与 Google 商业模式，分析 OpenAI 开启类似 Google 商业化引擎的可能性，还给出 AI 搜索引擎可能的变现思路，并总结了本周市场情况及 AI 公司动态。
张益唐孪生素数猜想，被GPT-6破新纪录! 北大数学07级苏炜杰：很震撼
2026年9月3日，OpenAI宣布GPT - 6将孪生素数问题最好上界推进到186，打破陶哲轩保持十二年的纪录。此前Julia Stadlmann推到240，Axiom Math压至212。GPT - 6展现数学直觉，证明经Lean 4验证。