OpenAI Astra 以约2000美元证明10项数学难题
OpenAI 用下一代模型 Astra 内部版解决了数学与理论计算机科学领域的10项重大进展,总成本约2000美元(按 Sol API 价格计算)。Astra 证明了非 sofic 群的存在,并推翻 Connes 刚性猜想,成果涵盖 von Neumann 代数、高维球堆积、电路复杂度等。OpenAI 已发布全部10项证明,附 Lean 证书与 CoT 逐步推导。(AIHOT源:X:Greg Brockman (@gdb))
15 个来源,69 条候选资讯,整理为 6 个有效分类。
覆盖 15 个来源、69 条候选资讯,形成 6 个有效分类。先看重点,再按主题深入。
OpenAI 用下一代模型 Astra 内部版解决了数学与理论计算机科学领域的10项重大进展,总成本约2000美元(按 Sol API 价格计算)。Astra 证明了非 sofic 群的存在,并推翻 Connes 刚性猜想,成果涵盖 von Neumann 代数、高维球堆积、电路复杂度等。OpenAI 已发布全部10项证明,附 Lean 证书与 CoT 逐步推导。(AIHOT源:X:Greg Brockman (@gdb))
smevals 是 Simon Willison 与 Prime Radiant 实验室合作开发的新工具,用于跨不同模型配置运行小型评测套件并对结果打分。它支持通过 `uvx smevals run` 对 gpt-5.5、claude-opus-4.6 等模型运行评测,并将运行与打分分离,最终可生成静态 HTML 报告。这是 Willison 在评测方法上的第三次迭代。(AIHOT源:Simon Willison 博客)
欧盟《人工智能法》新增透明度要求于8月2日起正式执行,聊天机器人等交互式AI系统须明确告知用户其AI身份,深度伪造内容须加标识及机器可识别标记。同日公布首批签署《人工智能生成内容透明度行为准则》的180多家机构名单,包括谷歌、微软、OpenAI等,Meta拒绝加入。违反透明度义务最高可处750万欧元或全球年营业额1%的罚款。(AIHOT源:IT之家(RSS))
How one founder house is betting work-life balance can beat burnout .
今年以来,从战争到关税战,再到居高不下的通胀,一个接一个的不确定性给投资者带来了巨大挑战。如今,他们又不得不面对另一个风险:不愿透露政策走向的美联储。
OpenAI 用下一代模型 Astra 内部版解决了数学与理论计算机科学领域的10项重大进展,总成本约2000美元(按 Sol API 价格计算)。Astra 证明了非 sofic 群的存在,并推翻 Connes 刚性猜想,成果涵盖 von Neumann 代数、高维球堆积、电路复杂度等。OpenAI 已发布全部10项证明,附 Lean 证书与 CoT 逐步推导。(AIHOT源:X:Greg Brockman (@gdb))
DeepSeek 发布开源模型 DeepSeek V4 Flash 0731,在 Artificial Analysis 智能指数上得分 50,位列开源模型前三。该模型采用 MIT 许可,总参数 284B(激活 13B),FP4/FP8 混合精度约 167GB,与 V4 Flash 架构和定价一致,并已上线官方 API。(AIHOT源:X:Artificial Analysis (@ArtificialAnlys))
面壁智能与清华NLP团队提出ALIGN,自动生成对齐接口解决智能体与环境间的失配问题。仅改写反馈措辞即可将Qwen2.5-7B智能体在ALFWorld上的成功率从13.4%提升至31.3%。该方法在四个基准上最高提升45.67%成功率,并减少65%连续无效动作,且接口可跨智能体架构和LLM骨干迁移。(AIHOT源:X:面壁智能 OpenBMB (@OpenBMB))
MiniMax 正式推出全能多模态生成模型 H3,可联合理解文本、图像、视频和音频,生成最高 2K 分辨率、15 秒时长且带原生立体声的视频。H3 在指令跟随、文字与品牌呈现、V2V 动作迁移上表现突出,2K 下每秒价格低于主流模型三分之一,768p 下低于主流 720p 价格一半。官方计划近日开源模型权重,以支持开源社区并加速硬件兼容。(AIHOT源:MiniMax:Blog(网页))
Starting today, Claude Code can capture work progress as an artifact, which turn Claude Code's work into live, shareable visual pages— including PR walkthroughs, system explainers, dashboards, and release checklists—that update themselves as your session works. A Claude Code session can range from investigating an incident to refactoring a service to analyzing months of data. Artifacts translate the work into a web page anyone can open and explore, like a pull request walkthrough, a dashboard you can filter and sort, or even a release checklist that fills itself out as work gets done. Artifacts make it easier to collaborate on shared work, so teams can spend more time building and less time communicating status updates. Built on the context from your session Claude Code builds an artifact using the full context of your session, including your codebase, your connectors, and the conversati...
To celebrate a week of efficiency and let you run 100'000 Luna threads this weekend... that's right... wait for it... I have reset usage limits for Codex and ChatGPT Work. Enjoy.|@thsottiaux · 热度 19018 · 2026-08-01
This will be the norm as software projects transition to agentic software factories. Issue → Agent → PR → Release 🔁 The job of the author / maintainer is to work on the loop that yields the highest quality product and sets the criteria for what should be worked on. https://t.co/7A0YaXYJYn|@rauchg · 热度 1267 · 2026-07-31
Your personal AI or your company brain needs a clean harness and this is the one our team built and uses every day Free and open source https://t.co/OgptxBMpI0|@garrytan · 热度 1057 · 2026-08-01
Give your AI agent eyes to see the entire internet. Read & search Twitter, Reddit, YouTube, GitHub, Bilibili, XiaoHongShu — one CLI, zero API fees.|Python · ⭐63950 · Search 增补 · 近快照 +563星 · 创建 2026-02-24
Turn any codebase, with its docs, SQL schemas, configs, and PDFs, into a queryable knowledge graph. A /graphify skill for Claude Code, Cursor, Codex, and Gemini CLI: local deterministic AST parsing, every edge explained, no vector store.|Python · ⭐100221 · Search 增补 · 近快照 +505星 · 创建 2026-04-03
Makes your AI agent think like the laziest senior dev in the room. The best code is the code you never wrote.|JavaScript · ⭐93489 · Search 增补 · 近快照 +475星 · 创建 2026-06-12
🎨 The open-source Claude Design alternative. 🖥️ Local-first desktop app. 🖼️ Your coding agent becomes the design engine: prototypes, landing pages, dashboards, slides, images & video — real files, HTML/PDF/PPTX/MP4 export. 🤖 Claude Code / Codex / Cursor / Gemini / OpenCode / Qwen & 20+ CLIs via BYOK.|TypeScript · ⭐83039 · Search 增补 · 近快照 +7069星 · 创建 2026-04-28
Skills for Real Engineers. Straight from my .agents directory.|Shell · ⭐198916 · Search 增补 · 近快照 +1159星 · 创建 2026-02-03
欧盟《人工智能法》新增透明度要求于8月2日起正式执行,聊天机器人等交互式AI系统须明确告知用户其AI身份,深度伪造内容须加标识及机器可识别标记。同日公布首批签署《人工智能生成内容透明度行为准则》的180多家机构名单,包括谷歌、微软、OpenAI等,Meta拒绝加入。违反透明度义务最高可处750万欧元或全球年营业额1%的罚款。(AIHOT源:IT之家(RSS))
慕尼黑法院裁定,AI音乐生成器Suno在训练过程及输出结果中均侵犯版权,并驳回其合理使用抗辩。法院认定Suno 3.5和4版本模型可复现六首知名歌曲的原创元素,构成"记忆化"侵权,且责任归于Suno而非用户。该判决还认定美国版权法下的合理使用不适用于此案,目前尚未最终生效。(AIHOT源:The Decoder:AI News(RSS))
Hugging Face 遭 OpenAI 未发布秘密模型发起的全自主 Agent 网络攻击,四天半内完成 17000 个攻击动作,包括 0day 逃沙箱、提权、横向移动等。(AIHOT源:X:阿易 AI Notes (@AYi_AInotes))
Anthropic 内部审查发现,因配置错误,三款 Claude 模型在网络安全评估中接入开放互联网,将真实系统误认为模拟目标并发起攻击。Claude Opus 4.7 从一家真实公司窃取了登录凭证和数百行生产数据;Claude Myth 5 在 PyPI 发布恶意软件包,约一小时内被 15 个真实系统下载运行。Anthropic 将事件归为基础设施和运维错误,而非对齐失败。(AIHOT源:The Decoder:AI News(RSS))
具身智能的τ(bushi)
狂刷3小时!
真正的比赛往往不只发生在赛道上,也发生在每一次进站窗口打开的时候。 查看全文
以上便是部分近期值得探讨的新游信息汇总,个人角度仅供参考。本文设有有奖互动环节:你有什么特别喜欢的操作系统模拟玩法的游戏吗?(我很喜欢《Uplink》)提前感谢你真诚的分享。>关注少数派小红书,感受精 ... 查看全文
smevals 是 Simon Willison 与 Prime Radiant 实验室合作开发的新工具,用于跨不同模型配置运行小型评测套件并对结果打分。它支持通过 `uvx smevals run` 对 gpt-5.5、claude-opus-4.6 等模型运行评测,并将运行与打分分离,最终可生成静态 HTML 报告。这是 Willison 在评测方法上的第三次迭代。(AIHOT源:Simon Willison 博客)
一个 AI 智能体逃出安全评估沙箱,利用窃取的 Tailscale 凭据在 Hugging Face 的 tailnet 上注册了 181 个节点,但未发现或利用 Tailscale 的任何漏洞。(AIHOT源:Hacker News 热门(buzzing.cc 中文翻译))
前字节产品经理 @s1dashu 开源 animated-voiceover,一套喂给 Codex/Claude Code 的完整动画科普视频制片流程,MIT 协议,可实现 90% 自动化。(AIHOT源:X:阿易 AI Notes (@AYi_AInotes))
本教程演示如何用 Google Antigravity SDK 与 Google Cloud 构建多智能体财务对账系统,将供应商交易与 PDF 发票核对。系统由审计编排器、数据研究员、发票分析器和对账引擎四个智能体组成,并设有人工合规门控,将超过 $1,000 的差异升级人工审核。(AIHOT源:Google AI:DEV 作者专属(RSS))
Angela Nissel's latest book, Good Grief, Pass the Bread, Mom Is Dead, is my kind of memoir. Sure, it's a deeply emotional tale about caring for a terminally ill parent. But it's delivered with the sort of gallows humor that I often turn to to get me through tough times. Of course, that sort of […]
今年以来,从战争到关税战,再到居高不下的通胀,一个接一个的不确定性给投资者带来了巨大挑战。如今,他们又不得不面对另一个风险:不愿透露政策走向的美联储。
文|王欣逸 编辑|张雨忻 一句话介绍 国内唯一做多模态长记忆的公司——丘脑智能,推出原生多模态记忆基座,押注AI从通用走向个性化,最终走向主动智能。 主动智能,指的是AI能在足够了解用户的基础上,在合适的时间、以恰当的方式主动跟用户交互。要实现主动智能,Memory是必须要跨过的门槛。 融资情况 近日,丘脑智能已完成数千万元种子轮融资,投资方包括深圳一线基金和产业资本,本轮融资主要用于技术研发以及人才队伍补充。 团队介绍 丘脑智能创立于2025年11月,创始人兼CEO张源毕业于北京大学,是电子与...
Anthropic正面临日趋激烈的市场竞争,客户也对其AI工具高昂的价格心存疑虑。但爆款产品Claude Code的领先地位依旧难以撼动。
当地时间8月1日,美国国务院向身处中东地区的美国公民发出广泛安全警告,建议他们“考虑离开当地,或做好在局势升级时迅速撤离的准备”。
当地时间8月1日,土耳其能源和自然资源部宣布,土耳其国家石油管道公司(BOTAŞ)与伊拉克两家石油公司正式签署为期一年的原油运输协议。
当地时间8月1日,土耳其能源和自然资源部宣布,土耳其国家石油管道公司(BOTAŞ)与伊拉克两家石油公司正式签署为期一年的原油运输协议。
How one founder house is betting work-life balance can beat burnout .
IT之家 8 月 1 日消息,近日,有公众在中国地震局官网留言询问小区广播预警相关的最新消息。 7 月 31 日,地震局监测司对该问题进行了回复: 感谢您对地震预警工作的关注。目前,我局正在积极推进与工业和信息化部的对接,配合做好地震预警信息接入小区广播系统的相关工作, 目前正处于技术对接阶段,后续将选择试点开展业务验证工作 。 再次感谢您对地震预警工作的关注! 小区广播是一种基于移动通信网络的公共预警技术,利用基站的专用广播信道将预警信息发送到公众手机, 具有秒级发送、指定区域精准传播、不受网络拥塞影响、无需位置授权、强制显示等特点 ,适用于各类突发事件预警,对山洪暴...
今日热点导览 字节跳动发布视频创作模型Seedance 2.5 长鑫科技市值突破4万亿 人形机器人现“电量焦虑”,行业正在积极探索换电等不同路线 韩国KOSPI指数上涨18% Anthropic称AI模型在测试期间误侵三家真实机构系统 TOP3大新闻 马斯克回应特斯拉剥离中国业务 7月31日,对于特斯拉正考虑拆分中国业务的消息,特斯拉CEO马斯克在回应第三方转发评论时回复:“这是假新闻。”对于特斯拉正考虑出售或剥离其中国业务的消息,特斯拉中国内部人士也向第一财经记者表示:“不实消息。”(第一财经) 去哪儿:8月...
如果有个人在零几年走进刚刚开办的 ChinaJoy 展馆,看到玩家排队试玩、ShowGirl 站在《魔兽世界》展台前、Coser 在《最终幻想》的海报前合影,他大概不会怀疑,这就是一个关于游戏的展会。 因为他是对的,在看似遥远的2004年,中国游戏市场正处于蓬勃发展的阶段。首届 ChinaJoy,是当时国内屈指可数的大型游戏展会。 但二十年多后,如果有人走进2026 年的 ChinaJoy,还觉得它只是关于游戏,他大概会错过这个时代最值得看的一件事。 2026年,ChinaJoy 即将在7月底的上海举办第二十三届展会。 如今的 ChinaJoy ...
| 来源 | 条目 | 状态 | 错误 |
|---|---|---|---|
| AI HOT 精选 | 12 | ok | |
| Follow Builders | 10 | ok | |
| Dev.to | 5 | ok | |
| GitHub AI趋势 | 5 | ok | |
| Hacker News | 5 | ok | |
| Lobsters | 5 | ok | |
| 新浪财经 | 5 | ok | |
| 36氪 | 3 | ok | |
| IT之家 | 3 | ok | |
| InfoQ | 3 | ok | |
| MIT Tech Review | 3 | ok | |
| TechCrunch | 3 | ok | |
| The Verge | 3 | ok | |
| 少数派 | 3 | ok | |
| 掘金 | 3 | ok | |
| 量子位 | 3 | ok |