强脑科技拟IPO前融资估值超13亿美元

据彭博社报道，浙江强脑科技正在磋商以超过13亿美元的估值进行融资。这轮融资后，强脑科技可能将在中国香港或内地启动IPO。强脑科技由哈佛校友韩璧丞在2015年创办，与埃隆·马斯克(Elon Musk)旗下脑机接口公司Neuralink竞争。强脑科技与DeepSeek等公司并称杭州“六小龙”，致力于开发仿生肢体以及人脑控制计算机相关技术。

知情人士称，强脑科技正在洽谈约1亿美元的IPO前融资。该创业公司已开始准备上市所需文件，但尚未决定具体上市地点或其他细节。有关强脑科技融资和上市的讨论仍存在变数，具体细节可能会根据市场状况有所调整。

不过，强脑科技的融资动向凸显出投资者对新一代创业公司的兴趣日益浓厚。这些企业旨在颠覆科技行业，并在AI、机器人等领域推动技术进步。

强脑科技并不是唯一一家希望挑战Neuralink的中国创业公司。据第一财经报道，今年早些时候，植入式脑机接口公司上海阶梯医疗完成了3.5亿元人民币(约4870万美元)的B轮融资，并启动了中国首个侵入式脑机接口的临床试验。强脑科技创始人韩璧丞今年4月在接受《南华早报》采访时表示，正考虑向香港拓展业务。

截至发稿，强脑科技尚未就此置评。

via cnBeta.COM - 中文业界资讯站 (author: 稿源：凤凰网科技)

大模型下一个飞跃？OpenAI的“新突破”：通用验证器

via cnBeta.COM - 中文业界资讯站 (author: 稿源：网易科技)

Telegraph

大模型下一个飞跃？OpenAI的“新突破”：通用验证器

在下一代大模型GPT-5备受期待之际，一项名为“通用验证器”的新技术正浮出水面，揭示了OpenAI可能用于拉开竞争差距的“秘密武器”。OpenAI的“通用验证器”或将直接影响GPT-5模型的市场竞争力，8月4日据科技媒体The Information援引知情人士消息报道，这项技术已被应用于GPT-5的开发过程中。 该技术的核心机制，被比作一场“证明者-验证者游戏”。简而言之，它让一个AI模型扮演“验证者”的角色，去检查和评判另一个“证明者”模型生成的答案。通过这种内部对抗和反馈，系统性地提升模型的输出质…

OpenAI 将为 ChatGPT 推出“防沉迷”功能

OpenAI 宣布，ChatGPT 在用户与 AI 长时间对话时将弹出提示，建议用户适时休息。新功能以弹窗形式出现，用户需点击后才能继续使用。这一举措旨在回应外界对 AI 聊天可能影响心理健康的担忧。

OpenAI 还表示，未来 ChatGPT 将在涉及重大个人决策时，避免直接给出答案，而是引导用户思考、列举利弊。公司此前因过度迎合用户而调整了产品策略，强调健康、理性的互动体验。

Engadget

🍀频道 🍵茶馆 📮投稿

via 科技圈🎗在花频道📮 - Telegram Channel

We identified Issues on ChatGPT

Status: Identified

We have identified that some users are encountering issues related to GPT and project creation on ChatGPT. We are working on implementing a mitigation.

Affected components
● GPTs (Degraded performance)

via OpenAI status

🆔 项目名称：Afilmory

⭐️ 项目功能：照片墙

📁 项目简介：一款开源的照片墙工具。支持从多个存储源自动同步照片，提供高性能的WebGL渲染、马赛克布局、EXIF信息显示和缩略图生成等功能。

🌐 项目地址：点击打开

🌐 体验地址：点击打开
📢 频道 ✈️ 群聊 📬 投稿 💵 商务

via AI绘画｜AI视频 | AI音乐 - Telegram Channel

💻 2024年国际C语言混乱代码大赛揭晓，多项创意作品获奖

2024年第28届国际C语言混乱代码大赛（IOCCC）已公布获奖作品。本届大赛旨在纪念赛事创办40周年，其核心目标是鼓励参赛者编写最具创意且难以理解的C语言代码。获奖作品亮点包括一个OpenRISC 32位CPU模拟器、一个能运行Doom的虚拟机，以及一个号称“世界最小”的基于Meta 70亿参数LLaMA 2模型的AI推理引擎。该赛事自1984年起基本每年举办。

(科技情报)

via 茶馆 - Telegram Channel

🤖 GitHub Copilot用户突破2000万，企业采用率显著增长

GitHub发言人披露，微软的AI编程助手GitHub Copilot的“历史用户”已达2000万。自2025年4月以来，该工具在过去三个月内新增了500万用户。微软表示，GitHub Copilot是目前最受欢迎的AI辅助编程工具之一，已被90%的财富百强企业采用，且其在企业客户中的使用率比上季度增长了约75%。文章未提及用户试用后的留存情况。

(科技情报)

via 茶馆 - Telegram Channel

🤖 研究显示：逾五分之一的CS论文可能含AI内容

一项发表在《Nature Human Behaviour》期刊上的研究指出，高达22%的计算机科学（CS）论文可能含有AI生成内容。该研究分析了2020年至2024年间逾百万篇论文和预印本，主要关注摘要和引言中AI常用词汇及短语的使用情况。数据显示，自2022年11月ChatGPT发布后，大模型修改内容的数量急剧上升。截至2024年9月，22.5%的CS论文摘要被发现有大模型修改的痕迹，电气系统和工程学论文紧随其后，而数学论文的这一比例仅为7.7%。研究人员认为实际比例可能更高，因为作者可能会刻意删除AI生成文本的标志性词汇。

(科技情报)

via 茶馆 - Telegram Channel

逾五分之一的 CS 论文可能含有 AI 内容

2025-08-04 22:18 by 失落之心

根据发表在《Nature Human Behaviour》期刊上的一项研究，22% 的 CS 论文可能含有 AI 生成内容。研究分析了 2020-2024 年之间发表的逾百万篇论文和预印本，主要集中在摘要和引言上，寻找常见于 AI 生成文本的高频词汇如“regenerate response”或“my knowledge cutoff”，以及 pivotal、intricate 和 showcase 等 AI 更可能使用而人类不太可能用的单词。研究人员称，在 CS 等领域，大模型修改文本的痕迹更为普遍。分析显示，在 2022 年 11 月 ChatGPT 发布后仅几个月时间，大模型修改内容的数量就急剧上升。最接近 AI 的领域，大模型使用的比例越高。到 2024 年 9 月，22.5% 的 CS 论文摘要存在大模型修改的证据，电气系统和工程学论文紧随其后，而数学论文摘要使用大模型修改的比例只有 7.7%。生物医学和物理学等的比例也相对较小。研究人员认为实际比例可能更高，因为论文作者可能会有意删除大模型的高频词汇，比如 delve 在 ChatGPT 诞生之后使用频率大幅提升，但在它成为 AI 生成文本的公认标志之后，使用率又逐渐下降。

www.science.org/content/article/one-fifth-computer-science-papers-may-include-ai-content

#人工智能

via Solidot - Telegram Channel

过去三个月有 500 万用户首次试用了 GitHub Copilo

2025-08-04 15:17 by 迷失的世界

GitHub 发言人披露，微软的 AI 编程助手 GitHub Copilot 目前有 2000 万“历史用户（all-time users）”。2025 年 4 月该公司披露 GitHub Copilot 的用户有 1500 万，这意味着过去三个月增加了 500 万新用户。但用户在试用之后就放弃还是一直高频使用，微软没有对此做出进一步说明。微软称，GitHub Copilot 是目前最受欢迎的 AI 辅助编程工具之一，被九成的财富百强企业使用。该产品在企业客户中的使用率比上季度增长了约 75%。

techcrunch.com/2025/07/30/github-copilot-crosses-20-million-all-time-users/

#人工智能

via Solidot - Telegram Channel

2024 年国际 Ｃ语言混乱代码大赛公布获奖结果

2025-08-04 14:52 by 我是传奇

2024 年第 28 届国际 Ｃ 语言混乱代码大赛（IOCCC, The International Obfuscated C Code Contest）公布了获奖作品，其中包括 OpenRISC 32 位 CPU 模拟器、能运行 Doom 的虚拟机，号称世界最小的大模型推理引擎（基于 70 亿参数的 Meta 开源模型 LLaMA 2），等等。IOCCC 是一项国际程序设计赛事，旨在写出最有创意和最让人难以理解的 C 语言代码。从 1984 年开始，该赛事基本每年举办一次，但有过多次中断，IOCCC28 是为了纪念比赛创办 40 周年。

www.ioccc.org/2024/index.html
github.com/ioccc-src/winner/blob/master/2024/cable1/get_model.sh

#程序

via Solidot - Telegram Channel

孙正义豪赌AI 软银大手笔增持英伟达、台积电股份

8月5日，据彭博社报道，软银集团正在增持英伟达、台积电的股份，这一最新举动再次反映出其CEO孙正义(Masayoshi Son)对于A发展所需工具与硬件的聚焦。

孙正义

监管文件显示，截至3月底的季度内，软银将其持有的英伟达股份增至大约30亿美元，高于前一季度的10亿美元。与此同时，软银还买入了价值约3.3亿美元的台积电股份，以及1.7亿美元的甲骨文公司股份。

据知情人士透露，2025年上半年，软银旗下标志性愿景基金已通过公开市场资产和私募资产变现近20亿美元。该人士表示，愿景基金以投资回报为首要目标，软银并未对其施加特定的资产变现压力。

现年67岁的孙正义如今希望通过大规模合作，在AI推广中扮演更核心的角色，其中包括与OpenAI、甲骨文以及阿布扎比支持的投资基金MGX合作的5000亿美元“星际之门”(Stargate)数据中心计划。孙正义也在积极游说台积电及其他企业参与其在亚利桑那州打造的1万亿美元AI制造枢纽项目。

目前，软银AI雄心的重中之重是芯片设计公司ARM。孙正义正逐步围绕这家英国剑桥公司，联合关键行业公司打造投资组合，试图弥补此前错失的历史性大涨。这场AI涨势让英伟达市值攀升至4万亿美元，台积电市值接近1万亿美元。

截至发稿，软银代表对此不予置评。

via cnBeta.COM - 中文业界资讯站 (author: 稿源：凤凰网科技)

GitHub Models 现向每个 GitHub 账户免费开放一个兼容 OpenAI 的推理 API。

GitHub Models 现在无需密钥、无需控制台，且不与现有配置冲突，让任何人都可以立即试用你的 AI 工具。用户可通过 GitHub 账户访问 GPT-4o、DeepSeek-R1、Llama 3 等主流模型，支持在本地、服务器以及 GitHub Actions 环境中部署。该服务默认免费，付费版本则提供更高的并发能力和更大的上下文窗口。

借助 GitHub Models，开源项目可直接集成 AI 能力，用户仅需提供 GitHub 个人访问令牌（PAT），或使用内置的 GITHUB_TOKEN，无需配置第三方 API 密钥。

GitHub Blog | X

🍀频道 🍵茶馆 📮投稿

via 科技圈🎗在花频道📮 - Telegram Channel

🖼 用结构化JSON来给AI下指令

via Roller | DeepSeek 中文社区 - Telegram Channel

Telegraph

🖼 用结构化JSON来给AI下指令

用结构化JSON来给AI下指令 🎮 最近在AI圈子里，很多创作者开始用结构化的JSON格式来描述设计需求。这种方式不仅让每个参数都被精准表达，还极大提升了AI生成内容的可控性和一致性。与传统的自然语言提示相比，JSON格式能分层定义材质、光效、动作等细节，减少歧义和生成误差 📰 这种“JSON prompting”趋势不仅仅适用于图像也适用于视频。以上的像素游戏设备便是用一下的指令生成的