AI 数学机器人横扫伯克利顶尖数学家！马斯克：AI 明年就超越最聪明的人类
AI 在伯克利挑战赛上击败顶尖数学家，只需几分钟便破解复杂难题。马斯克预测明年AI或比人类更聪明，Schmidt则警告可能会引发「温和的死亡事件」。网友观点不一，有人担忧取代风险，也有人乐观看待其潜力和未来监管需求。
o4-mini
陶哲轩携AI再战数学！o4-mini秒怂弃赛，Claude 20分钟通关
陶哲轩对比Claude和o4-mini在Lean中形式化代数证明的实验结果，Claude用时约20分钟完成任务，而o4-mini因对称性问题直接弃题。实验揭示了自动化工具不同尺度上的效率表现以及与人工干预之间的微妙平衡。
2025-04-26 | AI每日速报
今日AI焦点：Anthropic启动模型’福祉’研究引思考，Adobe升级Firefly创意工具，xAI拟融资200亿美元；微软、OpenAI进展动态，Google发布Recall功能和ZAPBench数据集。
OpenAI 白送 200 美元的深度研究功能？实测后发现这个「阉割版」不如不用
OpenAI 推出 o4-mini 驱动的轻量版深度研究功能，提供给多种用户使用。轻量版在智能程度接近完整版但回复更简洁，降低了服务成本。该功能从今日向所有 Free 用户开放测试。
谷歌首款混合推理Gemini 2.5登场，成本暴降600%！思考模式一开，直追o4-mini
谷歌发布首个混合推理模型Gemini 2.5 Flash，引入了革命性”思考预算”功能，性能显著提升，在多个基准测试中表现优异。
OpenAI发新模型o3和o4-mini！首次实现“图像思维”，可利用所有ChatGPT工具
OpenAI发布了两款新的推理模型o3和o4-mini，能够处理复杂的编程和视觉任务，并首次实现了‘图像思维’能力。这些模型提供了更快、更高效且更具成本效益的解决方案，向开源方向迈进的同时也推出了Codex CLI智能体以帮助用户执行编程任务。
速递｜GPT-5前的最后冲锋？OpenAI亮出o3与o4-mini双模型，实现“用图像思考”
OpenAI发布O3和O4-mini两款新型AI推理模型，声称在数学、编程、推理、科学及视觉理解能力测试中超越此前所有模型。
