AI首次拿下IMO官方满分金牌，背后藏着一套自我纠错机制
AI首次拿下IMO官方满分金牌，背后藏着一套自我纠错机制在上个月落下帷幕的第 67 届国际数学奥林匹克（IMO 2026）上，包括中国代表队三位选手（邓乐言、刘澈、张柏伦）在内，全球共有 7 名人类选手拿到了 42 分满分金牌。
来自主题: AI资讯
8833 点击 2026-08-04 10:35
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
搜索
在上个月落下帷幕的第 67 届国际数学奥林匹克（IMO 2026）上，包括中国代表队三位选手（邓乐言、刘澈、张柏伦）在内，全球共有 7 名人类选手拿到了 42 分满分金牌。
哈？小红书你真是闷声干大事啊！
几乎所有 AI 设计工具都卡在同一个地方：它们很会生成，但不太会交付。
这原本是一个看起来“毫无胜算”的众筹项目。
Claude Design前脚刚把设计圈炸完，腾讯又公测了一个Ardot—— AI设计智能体平台，一句话生成可编辑UI设计稿、Figma文件零成本导入、一键转代码直通IDE、多人在线评审……
AI医疗黑马再推颠覆性功能，把医生的个人习惯导入AI原生工作流！有哪些国产玩家已经推出了类似功能？
如果一个AI，像人类一样看屏幕、敲键鼠、自己练级变强，这种游戏搭子，你愿意拥有吗？可能不久将来，类似王者荣耀、DOTA 2这样的游戏就可以选择和AI组队，而不是和人组队了！
dots.ocr 支持多语言文档的解析，能够在单一模型中统一完成版面检测、文本识别、表格解析、公式提取等任务，并保持良好的阅读顺序。他们之所以在一个模型中完成这些任务，是因为他们相信这些任务之间可以相互促进，为彼此提供更多的 context，从而达到更高的性能上限。目前，该项目的 star 量已经超过了 5000。
又一批AI社交公司与产品悄悄「死亡」了。今年9月，一批AI社交公司发布关停或通知，这之中，既包括大模型明星公司、社交公司等中型企业，如阶跃星辰To C产品「冒泡鸭」、Soul旗下的AI应用「异世界回响」等，也包括一批垂直领域的初创产品，如定位AI情感分析的Lumi、由前苹果设计师Jason Yuan创立的情感陪伴应用Dot等。
上海人工智能实验室发布新一代文档解析大模型——MinerU2.5。作为MinerU系列最新成果，该模型仅以1.2B参数规模，就在OmniDocBench、olmOCR-bench、Ocean-OCR等权威评测上，全面超越Gemini2.5-Pro、GPT-4o、Qwen2.5-VL-72B等主流通用大模型，以及dots.ocr、MonkeyOCR、PP-StructureV3等专业文档解析工具。