AI首次拿下IMO官方满分金牌,背后藏着一套自我纠错机制
AI首次拿下IMO官方满分金牌,背后藏着一套自我纠错机制在上个月落下帷幕的第 67 届国际数学奥林匹克(IMO 2026)上,包括中国代表队三位选手(邓乐言、刘澈、张柏伦)在内,全球共有 7 名人类选手拿到了 42 分满分金牌。
搜索
在上个月落下帷幕的第 67 届国际数学奥林匹克(IMO 2026)上,包括中国代表队三位选手(邓乐言、刘澈、张柏伦)在内,全球共有 7 名人类选手拿到了 42 分满分金牌。
这个周末,很多数学家都被 OpenAI 的新模型整破防了。
过去,LlamaFactory 让每个人都能微调大模型;现在,PenguinHarness 希望让每个人都能构建自进化 Agent。
2026年7月31日,Expedia Group宣布已完成对Layla的收购。Layla是一个AI原生的旅行规划及预订平台,通过对话式AI旅行助手,帮助旅行者探索目的地、制定个性化行程,并规划完整的出行方案。
斯坦福最近公开了一门课的录像,叫 CS329A,主题是 Self-Improving AI Agents(自我改进的 AI agent)。两位主讲教授,Aakanksha Chowdhery 和 Azalia Mirhoseini,都有极深的工业背景。Aakanksha 曾是 Google 540B 参数 PaLM 模型的技术负责人,也参与了 Gemini 的研发
刚刚,杭州大模型公司西湖心辰宣布,公司近日完成数亿元人民币B+轮融资。该公司创始人蓝振忠,是卡耐基梅隆大学AI博士、自然语言处理预训练语言模型“ALBERT”第一作者,曾任谷歌人工智能研究院科学家,研究成果已被应用于Google News、Google Assistant 等数亿级用户产品中。他于2020年6月受聘于西湖大学,创办深度学习实验室并担任博士生导师。
Imagi宣布完成450万美元种子轮融资,投资方包括Brighteye Ventures、Day One Capital以及知名艺术家will.i.am。出身教师世家的Dora Palfi,与大学好友Beatrice Ionascu于2018年共同创立了Imagi。这家教育科技公司致力于为K-12学生和教师提供编程、基础计算机技能及AI素养的教学工具与课程。
近日,港科大团队孵化的项目Aivilization正式改了名字,叫作AI小镇星原。去年八月,团队刚上线一个连自己都觉得够不上及格线的版本,压力测试只按两三千人的规模准备,结果不到三天,注册用户就冲破了五万,此后热度一路攀升,参与的玩家累计超过十万。
Grok,学会一键看片了?
其实 Codex 和 Claude Code 都支持切换模型,咱们直接用 DeepSeek-V4-Flash 来驱动它们就行,量大管饱、不用魔法、也不怕封号。而且现在 DeepSeek 官方已经做了原生适配,接入流程比以前简单多了。