标签：AI模型
难以置信，Grok-3证明了黎曼猜想
xAI公司的工程师Hieu Pham在Twitter上宣布，其开发的第三代AI模型Grok-3已成功证明数学界长期悬而未决的黎曼猜想。黎曼猜想由德国数学家波恩哈德·黎曼于1859...
对话Hugging Face王铁震和零一林旅强：中国开源如何更好地被“看见”
在硅星人首届AI创造者大会上，Hugging Face工程师王铁震和零一万物开源负责人林旅强就中国开源工作者关心的话题进行了深入讨论。王铁震介绍了Hugging Face作...
李开复为什么这么忙
李开复，作为零一万物的创始人，近期日程繁忙，频繁参与国内外重要活动和公开演讲，成为外界观察明星公司现状的重要窗口。他以高强度的工作状态，平均每天仅...
全球首个法律o1大模型发布，System2范式下慢思考法律专家｜港科大&北大
HK-O1aw是由香港生成式人工智能研发中心(HKGAI)的AI for Reasoning团队(HKAIR)与北京大学对齐团队(PKU-Alignment Team)合作推出的全球首个慢思考范式法律推理...
Llama版o1来了，来自上海AI Lab，强化学习代码已开源，基于AlphaGo Zero范式
上海AI Lab团队发布了LLaMA版o1项目，旨在复刻OpenAI的o1推理大模型。该项目采用了蒙特卡洛树搜索、Self-Play强化学习、PPO以及AlphaGo Zero的双重策略范式。...
震撼预警：满血版o1倒计时！奥特曼完整专访流出：o系列疯狂迭代，马上起飞
OpenAI即将推出的满血版o1模型在科技圈引起了广泛关注。该模型预计将具备函数调用、开发者消息、结构化输出和流式传输等能力，可能成为OpenAI历史上的重大突...
Sam Altman泄露新模型o2，太会整活了，营销鬼才！
OpenAI首席执行官Sam Altman发布了一条关于o2模型在GPQA性能测试中达到105%的消息，这一数据远超过人类博士级专家的平均准确率65%和普通人的34%，甚至超过了o...
3B模型打通机器人任督二脉！冲咖啡叠衣服都能干，7种形态适配，OpenAI也投了
初创公司Physical Intelligence（简称π）开发了一款名为π0的通用型机器人控制模型，该模型拥有3B参数，能够控制不同种类的机器人完成复杂任务，如叠衣服、整...
o1之后，GitHub又接入Claude、Gemini，网友：也杀不死Cursor
GitHub Copilot 近期引入了多个新的AI模型，以增强其代码生成和辅助功能。这些新模型包括Anthropic的Claude 3.5 Sonnet、Google的Gemini 1.5 Pro以及OpenAI的...
Claude 3.5深夜觉醒，学会模仿人类用电脑！编程干翻o1，Agent一夜变天
Anthropic AI公司近期推出了Claude 3.5系列AI模型，包括Claude 3.5 Haiku和Claude 3.5 Sonnet，这两个模型在性能上都有显著提升。Claude 3.5 Sonnet在推理能...
