OpenAI公布下一代模型，o1之后直接o3！“双12”直播活动最后一天，终于来了个大的，奥特曼本人...【查看原文】
OpenAIAGI
新智元 2024-12-21
从首批评估结果来看，在衡量编程能力的CodeforcesElo评分中，随着推理时间的增加，其Elo分数持续攀升，在中等推理时间下就已超越o1mini。在AIME数学基准测试中，其低推理模式就达到了与o1min…
OpenAI北大编程
爱范儿 2024-12-21
导读几个世纪以来，计算机（机器）一直是数学家的好朋友，他们利用它计算、提出猜想以及进行数学证明。随着交互式定理证明器、机器学习算法和生成式AI等更为先进的工具的出现，机器被更具创新性和深度的方式得到运用。近日，在MSRI（美国数学科学研究所，现改名SLMath）四十周年庆典上，陶哲轩（Terence Tao）对机器辅助数学证明的历史和最新发展进行概述，并对数学中的机器辅助将扮演的未来角色进行预测。他表示：早期的计算机辅助的数学研究以女性为主，并衍生出了一个计算能力单位：“千女时”，一千个使用加法器的女性能
机器学习生成式AI
返朴科普 2023-08-31
【新智元导读】 就在刚刚，清华校友用AI证明了162个未被人类证明的数学定理，解决了AI无法解决陶哲轩对多项式Freiman-Ruzsa猜想的形式化难题！ 诺贝尔物理学奖和化学奖被AI「包圆」后，人们
清华
新智元 2024-10-12
翁荔，掌管OpenAI安全的北大校友，现身B站线下演讲量子位2024-11-01 22:47发布于北京量子位官方账号衡宇 发自 深夜朝阳量子位 公众号 QbitAIOpenAI研究副总裁（
OpenAI北大
量子位 2024-11-01
金融界2024年12月25日消息，国家知识产权局信息显示，重庆云潼科技有限公司取得一项名为“一种三相全桥驱动功率集成模块”的专利，授权公告号CN222192160U，申请日期为2024年4月。专利摘要显示，本实用新型提供了一种三相全桥驱动功率集成模块及其内部共连方案。
金融界 2024-12-25
金融界2024年12月25日消息，国家知识产权局信息显示，上海宏力达信息技术股份有限公司取得一项名为“种可控逆变输出的桥式整流功率模块”的专利，授权公告号CN222192162U，申请日期为2023年12月。
金融界2024年12月25日消息，国家知识产权局信息显示，上海航天科工电器研究院有限公司申请一项名为“小型化BGA焊接型接插件”的专利，公开号CN119171116A，申请日期为2024年8月。
金融界2024年12月25日消息，国家知识产权局信息显示，上海航天科工电器研究院有限公司申请一项名为“适用于低矮空间的分体式轴向定位可旋转接触件及连接器”的专利，公开号CN119171108A，申请日期为2024年9月。
金融界2024年12月25日消息，国家知识产权局信息显示，玉环速腾机械有限公司申请一项名为“电机导线端子及MGU插线总成测试工装”的专利，公开号CN119171110A，申请日期为2024年10月。
金融界2024年12月25日消息，国家知识产权局信息显示，西安图为电气技术有限公司取得一项名为“一种三相四线制逆变器电路及储能系统”的专利，授权公告号CN222192163U，申请日期为2023年12月。专利摘要显示，本实用新型关于一种三相四线制逆变器电路及储能系统。
金融界2024年12月25日消息，国家知识产权局信息显示，丽水一元科技有限公司取得一项名为“一种逆变器辅助冷却装置”的专利，授权公告号CN222192161U，申请日期为2024年4月。
金融界2024年12月25日消息，国家知识产权局信息显示，昆山联滔电子有限公司申请一项名为“插头及用电装置”的专利，公开号CN119171111A，申请日期为2024年10月。专利摘要显示，本发明属于插头技术领域，公开了一种插头及用电装置，插头包括基座、插设件和连接件。
金融界2024年12月25日消息，国家知识产权局信息显示，青岛天盈华智科技有限公司取得一项名为“一种逆变器电路”的专利，授权公告号CN222192158U，申请日期为2024年4月。
金融界2024年12月25日消息，国家知识产权局信息显示，吉林省中赢高科技有限公司申请一项名为“一种双层端子”的专利，公开号CN119171113A，申请日期为2024年9月。
Copyright © 2026 aigcdaily.cn 北京智识时代科技有限公司 版权所有 京ICP备2023006237号-1
