「Gemini Pro」共找到 847 篇相关文章
45年数论猜想被GPT-5.2 Pro独立完成证明，陶哲轩：没犯任何错误
2025年1月17日，研究者Neel Somani让GPT-5.2 Pro解1980年提出的埃尔德什猜想第281号问题，证明经陶哲轩验证成立。此外，网友发现有更简单经典解法。陶哲轩提醒评估AI真实成功率有报告偏差。
I/O大会开完，谷歌连搜索框都变智能体了
当地时间周二谷歌I/O大会举行，转型智能体时代。谷歌推出Gemini 3.5系列模型，轻量级3.5 Flash已开放，重量级3.5 Pro仍在开发。还发布全新AI智能体Spark，改造谷歌搜索，推出多模态模型Gemini Omni。
当Gemini 3刷屏时，这款AI已开始救命了：原子级攻克「不可成药」靶点
全网关注Gemini 3时，Chai-2已开启生物学界「AlphaFold时刻」。它能原子级精准设计出可进临床的抗体药，攻克「不可成药」靶点，让很多难治疾病看到新药希望，AI造药开始起飞。
陶哲轩：用了GPT-5 Pro后，小尺度、宏观尺度很赞，中尺度有点垮
著名数学家陶哲轩用ChatGPT - 5 Pro研究曲率有界的球面问题，记录AI在不同层面的表现。小尺度和宏观尺度AI有用，中尺度帮助有限。虽问题未解决，但他学到新知识，也意识到与AI协作要谨慎。
实测！DeepSeek V4-pro是第一个接近Claude开源模型，前Meta研究员震惊
DAIR.AI创始人、前Meta AI研究员Elvis用DeepSeek - V4 - Pro在Pi框架搭LLM知识库，该模型开箱即用，完成知识密集型多步研究任务表现出色，在开源模型里Agent编程和推理能力强，架构设计让推理快且成本低。
OpenAI 广告续命遭全网骂，用户要跑路Gemini！需烧 400 亿，18个月破产预警
OpenAI计划在ChatGPT对话界面向美区免费版和低价订阅用户测试广告投放，旨在拓展营收缓解成本压力。此举动引发批评，用户转向Gemini。OpenAI虽营收增长，但算力投入大，首席财务官称加广告会坚守三大原则。不过，有预测称其18个月内或破产。
谷歌深夜打假！27页论文全公开，揭秘Gemini如何碾压OpenAI，拿下IMO真金牌
OpenAI高调庆祝自家模型获IMO金牌，谷歌DeepMind携官方认证和27页论文官宣Gemini碾压夺金。谷歌公开解题方法论，介绍三步思考法及相关Prompt，还对比批评了OpenAI的做法。
推进科研和工程，编程跻身顶级人类竞赛榜：谷歌Gemini 3 Deep Think重大升级
谷歌发布Gemini 3 Deep Think重大更新，剑指科研和工程。它在编程算法竞赛等多项测试中成绩亮眼，能模拟人类科学家深度思考，处理复杂问题，还可重塑工程设计流程，已向部分用户和企业开放。
Gemini CLI 新升级：深度集成 VS Code，终于不用在终端和编辑器之间反复横跳了
Google发布Gemini CLI重要更新，实现与VS Code深度集成，从架构层面解决AI编程助手的上下文感知问题。新版本有工作区上下文感知和原生差异对比界面两个核心功能，还给出部署要求。
谷歌悄悄加了个按钮，Gemini长出手脚变打工人！三巨头抢着教AI干活
谷歌悄悄为Gemini添加「Agents」入口，其将从聊天助手转变为Agent运行平台。谷歌还推出无代码/低代码的Agent Designer。此外，谷歌、Anthropic、OpenAI在编排层展开竞争，焦点转向谁能让更多人用上Agent。