首页 > 上手

上手

  • 陶哲轩上手Copilot：不可思议，它能从定理名字猜出我想要的方向

    尝鲜 GPT-4 之后，陶哲轩又用上了 Github Copilot。这一次，他的试用场景是学习 Lean 语言并利用其形式化数学定理。对于大模型来说，形式化的定理证明也算一种挑战。形式化证明本质上是一种计算机程序，但与 C++ 或 Python 中的传统程序不同，证明的正确性可以用证明助手（比如

  • 树立2024年AI手机新标杆荣耀Magic7系列上手

    相信大家已经看过了不少已经发布2024年的秋季新机了，它们有的性能拉满、有的是影像突出、还有的是续航神机，可以说各有各的优点。不过今天我们要上手体验的新机，可以说在兼具以上各大旗舰手机优点的同时，还是目前国内首批搭载AI智能体的手机，它就是荣耀Magic7系列。

  • OPPOFindX7安第斯大模型上手：智能语音助手脱胎换骨

    2023年，各种AI大模型接踵而至，可这些作为网页和应用独立存在的服务，因为AI无法主动的操作和感知，没有办法了解设备上的手机上的一切软件应用和数据，因此AI与设备之间似有一堵无形的墙。而在不久前，OPPO官宣了其自研的安第斯大模型，给我们带来行业首个端侧部署70亿参数大模型，

  • 抖音团队在用的大模型服务平台「火山方舟」，我们也上手体验了一把

    机器之心原创作者：蛋酱2023 上半年，海内外经历了一场「百模大战」。从科技巨头、科研机构、创业公司到各传统行业，纷纷掀起了炼大模型的热潮。当大模型成为新的风口，我们却发现，相比于上一波 AI 爆发浪潮，AI 创业的门槛其实明显被拉高了。对于任何想要入局的创业者来说，大模型首先是「体量大」，需要顶尖

  • 李彦宏谈智能体：用自然语言就能做，门槛低、好上手

    “越来越多的人靠自然语言提示词，就可以做出很有用的智能体。”9月25日，在2024百度云智大会上，“文心杯”创业大赛第二季结果揭晓。百度创始人李彦宏发表颁奖致辞时指出，智能体是他最看好的AI原生应用发

  • GPT-4o各种刷屏上手试了试：感觉目前也就那样

    没有所谓的 AI 搜索引擎，也没有炸裂的 GPT-5 ，但 OpenAI 还是让大伙儿感受到了，什么叫做“Only OpenAI Can Do”。OpenAI 的春季发布会终于是来了。他们也没多讲几句废话，整场发布会就二十来分钟，其中，最重磅的无异于GPT-4o 新模型的发布。

  • 实际上手文心一言4.0，真的媲美GPT-4了？

    尺有所短，寸有所长。最近这段时间，大模型世界可以说是再度风起云涌，不断有大模型升级和涌现，作为国内最早推出通用大模型的公司，百度也推出了文心大模型 4.0。百度创始人、董事长兼 CEO 李彦宏当场表示，文心 4.0 实现基础模型的全面升级，在理解、生成、逻辑和记忆等能力上均有提升，「综合水平与 GP

  • 联想给出了AIPC答案！联想小新Pro14AI超能本2024上手

    当下，AI人工智能，可谓是如日中天，如火如荼。当AI与PC碰撞，就有了AI PC，其不仅在创作领域能够助力用户提升效率，同时在娱乐方面也能带来前所未有的体验。业界的领先厂商像AMD、联想等，也都纷纷就AI PC推出相应产品，推动端侧AI的普及应用。今天，我们就为大家带来一款AI PC：联想小新Pro

  • 上手通义千问2.0后我才发现大模型的天敌是伍佰

    大模型，它又双叒来了。今年上半年，那波大模型 1.0狂轰滥炸之后。随着时间的推移，各家打磨的下一代大模型，最近开始慢慢问世了。这不，前两天文心一言 4.0才发。今天云栖大会上，通义千问 2.0就马上跟进，还上了个 APP。最重要的是，这次通义 2.0 直接开放给全社会体验。点进通义千问，就能直接用上

  • Midjourney超详细使用教程 AI绘画快速上手攻略

    最近，人工智能聊天机器人chatgpt为网友打开了新世界，让人们重新认识了AI。目前来说，聊天机器人比较让人惊讶的是它的写作和绘画能力。AI绘画的成品一度让画家、设计师们感到恐惧，按照这个趋势发展下去，感觉很多人的饭碗都不保了。

热门文章