日期: 2025 年 2 月 1 日
牛津哥大联手破解两千年素数谜题！受陶哲轩启发，意外解法打破千年僵局
牛津大学的本·格林和哥伦比亚大学的梅塔布·索尼解决了素数分布问题的新进展，通过引入粗略素数的概念并利用Gowers范数技术证明了存在无限多个符合特定条件的素数。
奥特曼率队深夜血战DeepSeek，o3-mini急上线！价格骨折免费用，ChatGPT被挤爆
OpenAI发布o3-mini和o3-mini-high两款版本，支持免费用户及Plus、Pro等付费用户使用。o3-mini价格大幅下调63%和93%，提供更高效能推理能力的同时保持低成本。
刚刚，OpenAI发布o3-mini，可免费使用、3大推理模式
今日凌晨，OpenAI发布o3-mini模型，支持多项开发者需求特性，包括函数调用、结构化输出和开发者消息。o3-mini在数学、科学等领域性能表现优异，比OpenAI o1提升明显。
奥特曼被逼急：深夜上线 o3-mini，甚至免费，网友：还是选DeepSeek
OpenAI 发布 o3-mini 模型，包含低中高三个版本。o3-mini 是最具成本效益的推理模型之一，已上线 ChatGPT 和 API。o3-mini 在 STEM 领域表现优异，响应速度快且准确率高。同时保持了安全和智能水平。
麻省理工大佬： DeepSeek是科技史上伟大时刻，5年后依旧难忘！
专注于AIGC领域的专业社区报道了OpenAI发布的新模型o3-mini及其对DeepSeek R1的评价。Lex认为R1模型在推理过程透明度和性价比方面具有优势，并期待更强大的未来模型出现。