AI资讯新闻榜单内容搜索-PI

AITNT-国内领先的一站式人工智能新闻资讯网站
# 热门搜索 #
搜索: PI
AI实力榜大洗牌!OpenAI谷歌强势领跑,Anthropic节节败退

AI实力榜大洗牌!OpenAI谷歌强势领跑,Anthropic节节败退

AI实力榜大洗牌!OpenAI谷歌强势领跑,Anthropic节节败退

AI市场风起云涌!Poe最新报告揭晓:OpenAI的GPT-4o称霸文本生成,谷歌的Gemini 2.5 Pro领跑推理,Kling在视频领域异军突起,企业如何在这场AI竞赛中抢占先机?

来自主题: AI资讯
9350 点击    2025-05-17 15:33
新版Claude曝光:“极限推理”成最大亮点

新版Claude曝光:“极限推理”成最大亮点

新版Claude曝光:“极限推理”成最大亮点

O家(OpenAI)刚免费上线GPT-4.1,A家(Anthropic)这边也被曝出新消息—— 新版Claude Sonnet和Claude Opus,已经在路上了!

来自主题: AI资讯
9987 点击    2025-05-15 20:01
OpenAI诈骗?GPT-4.1正式上线ChatGPT,网友实测却大呼失望

OpenAI诈骗?GPT-4.1正式上线ChatGPT,网友实测却大呼失望

OpenAI诈骗?GPT-4.1正式上线ChatGPT,网友实测却大呼失望

GPT-4.1,在ChatGPT中可用了!现在,它不仅在API中开放,Plus、Pro和Team用户都可以使用。网友们兴奋地展开实测后,纷纷吐槽:OpenAI这是诈骗吧,说好的一百万超长上下文呢?

来自主题: AI资讯
10528 点击    2025-05-15 12:08
精准提取数据太折磨人,试下pip install -U contextgem,自动生成提示 | 痛快

精准提取数据太折磨人,试下pip install -U contextgem,自动生成提示 | 痛快

精准提取数据太折磨人,试下pip install -U contextgem,自动生成提示 | 痛快

最近ContextGem很火。它既不是RAG也不是Agent,而是专注于"结构化提取"的框架,它像一个"文档理解层",通过文档中心设计和神经网络技术(SAT)将非结构化文档转化为精确的结构化数据。它可作为RAG的前置处理器、Agent的感知模块,也可独立使用。

来自主题: AI技术研报
8286 点击    2025-05-14 15:12
腾讯出手了! 悄悄推出 AI 编程助手 CodeBuddy,开发者可以免费体验到国产 Cursor 了!

腾讯出手了! 悄悄推出 AI 编程助手 CodeBuddy,开发者可以免费体验到国产 Cursor 了!

腾讯出手了! 悄悄推出 AI 编程助手 CodeBuddy,开发者可以免费体验到国产 Cursor 了!

AI 圈子每时每刻都在发生巨大变化,编程工具赛道掀起技术革新浪潮。以原生 IDE 体验见长的 Cursor ,凭借其 Agent 模式在 AI 编程领域脱颖而出,对 GitHub Copilot 以及 VS Code 与 JetBrains 全家桶的地位发起挑战。

来自主题: AI资讯
8632 点击    2025-05-14 12:00
3200+ Cursor 用户被恶意“劫持”!贪图“便宜API”却惨遭收割, AI 开发者们要小心了

3200+ Cursor 用户被恶意“劫持”!贪图“便宜API”却惨遭收割, AI 开发者们要小心了

3200+ Cursor 用户被恶意“劫持”!贪图“便宜API”却惨遭收割, AI 开发者们要小心了

近日,有网络安全研究人员标记出三个恶意的 npm(Node.js 包管理器)软件包,这些软件包的攻击目标是一款颇受欢迎的由 AI 驱动的源代码编辑器 Cursor,且针对的是苹果 macOS 版本用户。 迄今为止,这三个软件包的下载量总共已超过 3200 次。

来自主题: AI资讯
5536 点击    2025-05-13 09:49
全网惊了!陶哲轩带AI下场,33分钟「盲证」数学

全网惊了!陶哲轩带AI下场,33分钟「盲证」数学

全网惊了!陶哲轩带AI下场,33分钟「盲证」数学

菲尔兹奖得主陶哲轩再放大招,仅数天时间,开源的概念验证工具借助Copilot迭代至2.0版本。而在最新视频中,他甚至用AI在33分钟「盲做」形式化一页证明,效率惊人。

来自主题: AI技术研报
10102 点击    2025-05-12 12:24
Copilot上大分,仅数天,陶哲轩的估计验证工具卷到2.0!刚刚又发数学形式化证明视频

Copilot上大分,仅数天,陶哲轩的估计验证工具卷到2.0!刚刚又发数学形式化证明视频

Copilot上大分,仅数天,陶哲轩的估计验证工具卷到2.0!刚刚又发数学形式化证明视频

本周二,我们报道了菲尔兹奖得主陶哲轩的一个开源项目 —— 在大模型的协助下编写了一个概念验证软件工具,来验证涉及任意正参数的给定估计是否成立(在常数因子范围内)。这才几天的时间,这个估计验证工具的 2.0 版本就来了!

来自主题: AI资讯
8236 点击    2025-05-11 15:22