【新智元导读】AI辅助人类，完成了首个非平凡研究数学证明，破解了50年未解的数学难题!在南大校友的研究中，这个难题中q=3的情况，由o3-mini-high给出了精确解。就在刚刚，AI完成了首个非平凡研究数学证明!完成这项研究的，是美国纽约布鲁克海文国家实验室凝聚态物理与材料科学分部
......
本文由站长之家合作伙伴自媒体作者“新智元公众号”授权发布于站长之家平台，本平台仅提供信息索引服务。由于内容发布时间超过平台更新维护时间，为了保证文章信息的及时性，内容观点的准确性，平台将不提供完全的内容展现，本页面内容仅为平台搜索索引使用。需阅读完整内容的用户，请查看原文，获取内容详情。
（举报）
近日，随着高考的圆满结束，一场别开生面的“数学擂台赛”在各大AI大模型间悄然展开。多家知名科技公司的大模型被邀请参与2025年数学新课标Ⅰ卷中的14道客观题测试，以此检验它们在逻辑推理和数学能力上的实力。此次测试题目包含8道单选题、3道多选题以及3道填空题，满分设定为73分，且测试过程严格遵循高考判分原则，确保结果的公正性与准确性。 测试成绩揭晓�
超越OpenAI! 国产大模型突袭，AI语音生成天花板被重新定义了。 MiniMax最新发布Speech-02，同时拿下Artificial Analysis Speech Arena和Hugging Face TTS Arena两项全球权威语音基准测评第一!
OpenAI于5月14日上线"安全评估中心"网页，公开其AI模型在有害内容生成、越狱行为和幻觉等方面的安全测试结果。此举旨在回应外界对其模型透明度的质疑，此前GPT-4o更新因不当赞美引发争议，导致全面撤回。该平台将定期更新数据，CEO奥特曼也承认存在问题并承诺改进。通过公开安全指标，OpenAI希望提升行业透明度，重建用户信任。
近日，随着高考的落幕，一场别样的“高考”也在各大AI大模型之间展开。此次测试邀请了多家知名科技公司的大模型，参与2025年数学新课标Ⅰ卷中的14道客观题测试，以此检验它们在逻辑推理和数学能力上的表现。测试题目包括8道单选题、3道多选题和3道填空题，满分73分，测试过程严格遵循高考判分原则。 测试结果显示，字节跳动的豆包和腾讯的元宝（T1）以68分的总成绩�
Codex 可复制开发环境，单任务耗时最长 30 分钟……
今天下午，有关高考数学的微博话题霸占了热搜榜，引发热议。 在海南某考点，一名男生第一个走出考场，还简单接受了媒体采访，称数学太难了，不会”。对于高考数学题目，有的学生答得非常不错，有的学生则表示太难。 据了解，2025年高考数学命题遵循高校人才选拔要求和高中数学课程标准，依据高考评价体系，持续推进考试内容改革。更新设计理念，深化基础性考查
OpenAI 山姆·奥特曼与前苹果首席设计师 Jony Ive共同公布了一项合作计划：打造下一代 AI 智能设备……
人工智能的格局正以前所未有的速度演变，但超越标准化基准或排行榜平台，了解需求和使用模式 仍然是一个挑战……
2025年高考数学考试引发热议，多家AI大模型参与测试。腾讯元宝和豆包表现最优，分别获得145分和140分（满分150分），仅错1-2道题。文心一言和QWen3稍逊，得分在120分左右。测试显示，AI在选择题和基础解答题表现良好，但在涉及图像理解、向量分析等复杂题目时仍存在困难。特别是一道包含向量图的"杀手题"让所有AI失分。专家指出，国产大模型数学能力已有显著提升�
【AI日报】今日AI领域重要动态：1)火山引擎发布豆包大模型1.6和视频生成模型Seedance1.0pro，性能显著提升；2)OpenAI推出o3-pro模型，专注可靠性但响应较慢；3)Figma推出Dev Mode MCP服务，实现设计到代码一键转换；4)Krea AI发布图像生成模型Krea1，解决传统AI绘图问题；5)火山引擎豆包日调用量突破16.4万亿次；6)法国Mistral发布推理模型Magistral；7)苹果系统整合ChatGPT图像生成功能；8)OpenAI大幅下调o3价格80%并推出o3-pro；9)Hugging Face开源榜单显示中国团队Qwen与DeepSeek进入全球前15；10)阿里开源MaskSearch框架，提升AI解决复杂问题能力。
