Mac版OneDrive升级后遭遇无法打开故障，官方暂无直接解决方案，后续更新已修复
IT之家 5 月 23 日消息，综合IT之家小伙伴投稿及 MS Learn 论坛网友反馈， Mac App Store 版微软 OneDrive 更新后（v26.078.0426）无法打开 。启动时报错为：应用程序文件出现问题。请将此应用程序下载到该计算机上，然后重试。 据悉，本次问题从 5 月 2…
Mac版OneDrive最新更新修复了无法打开的问题，建议遇到此bug的用户立即升级。
IT之家 5 月 23 日消息，微软前天发布了 Mac App Store 版 OneDrive 更新（v26.078.0426）， 但许多用户更新以后发现应用无法打开 ，只会弹窗报错：应用程序文件出现问题。请将此应用程序下载到该计算机上，然后重试。 这件事情现在有了后续，微软一小时前在 Mac A…
AI Agent 的真正短板不是记忆，而是架构缺陷：近四分之一的 token 被结构性浪费，根源在于缺乏持久化上下文。
Every session, the LLM starts fresh. The user re-explains their role, their constraints, their preferences, what they were doing last time. Then the s…
OpenAI数学家借助AI破解80年未解几何难题，震惊学界
Nature, Published online: 22 May 2026; doi:10.1038/d41586-026-01651-0 The late Hungarian mathematician Paul Erdős thought he had the last word on a ge…
将推理链分解为可验证子问题，用课程强化学习精准分配LLM推理中的信用，突破训练瓶颈。
arXiv:2605.22074v1 Announce Type: cross Abstract: Reinforcement learning from verifiable rewards (RLVR) has shown strong promise for LLM reasoning, bu…
DeepSeek最新大模型中发现`<Think>`特殊token引发bug，引发对模型稳定性的关注。
Article URL: https://www.pixelstech.net/article/1779332017-the-special-token-%60%26lt-think%26gt-%60-problem-bug-of-latest-deepseek-llm Comments URL: …
微软5月更新修复Win11任务栏卡死和登录卡顿，顺带堵上一个高危内核漏洞，日常体验终于靠谱了。
IT之家 5 月 22 日消息，科技媒体 Windows Latest 今天（5 月 22 日）发布博文，报道称微软 5 月 12 日发布的 KB5089549 累积更新， 已修复了 Windows 11 系统中 explorer.exe 进程不稳定情况。 Windows 11 Build 2620…
5月22日，荣耀遵照股改后一年没有上市约定，开放员工减持退出通道，选择退股员工将获得分红补偿，正式退股方案将于三个月内完成。当日，荣耀于下午16:00召开员工大会，相关入会人员不允许拿手机进场。在持续近2.5小时会议中，荣耀高层就近日外部IPO终止疑问给予回应，会议明确荣耀IPO没有终止，但未提及新…
36氪获悉，中信证券研报称，近日，国家发展改革委、国家能源局联合印发《关于有序推动多用户绿电直连发展有关事项的通知》，在2025年5月发布的《关于有序推动绿电直连发展有关事项的通知》基础上，正式将绿电直连模式从“单一用户”扩展至“多个用户”，标志着我国绿电直连政策进入了规模化、集群化发展的新阶段。这…
AI模型破解80年未解的离散几何猜想，数学难题再被AI攻克
An OpenAI model solved the 80-year-old unit distance problem, disproving a major conjecture in discrete geometry and marking a milestone in AI-driven …
OpenAI GPT-5一口气攻克10个80年未解的Erdős数学难题，AI推理再破人类认知天花板
OpenAI claims its reasoning model disproved a geometry conjecture unsolved since 1946 — and this time, the mathematicians who exposed its last embarra…
突破性研究：概率化小递归模型TRM，解决确定性递归陷入次优解难题，参数远少于大模型。
arXiv:2605.19943v1 Announce Type: new Abstract: Tiny Recursive Models (TRM) solve complex reasoning tasks with a fraction of the parameters of modern …
通过AI副驾驶实时构建AWS架构数字孪生图，支持问答与推理，免费只读连接开发账户
Hey HN, I’m working on Catio, a tool that builds live digital twin diagrams of your AWS infrastructure and includes an AI copilot that can answer ques…
提升观察精度反而降低问题解决能力——这项研究挑战了具身LLM的传统认知，揭示保真度与推理之间的意外权衡。
arXiv:2605.20072v1 Announce Type: new Abstract: Large Language Models are increasingly proposed as cognitive components for robotic systems, yet their…
OpenAI用AI破解1946年数学难题，见证大模型推理能力新突破
Article URL: https://twitter.com/openai/status/2057176201782075690 Comments URL: https://news.ycombinator.com/item?id=48215185 Points: 3 # Comments: 0
美国卫生与公共服务部5月20日发布报告说，儿童和青少年过度使用电子产品，包括无休止地刷社交媒体、不停地发短信、长时间玩电子游戏等，已成为一个公共卫生问题。（新华社）
用户直言Codex问题长期未修复，暗示将倒向Claude，OpenAI团队却沉默以对
it's been a month tagging sama openai tibo on X for this issue and no one seem to reply and eveyone is falttering codex, im sure im not the only one f…
AI在数学中展现“原始思考”，跨子域建立惊人联系，刷新对机器创造力的认知
Nature, Published online: 19 May 2026; doi:10.1038/d41586-026-01553-1 Thanks to some surprising advances, mathematicians are starting to realize that …
OpenAI联合伯克利、斯坦福及Google Brain，系统梳理现代机器学习系统安全运行的关键研究问题。
We (along with researchers from Berkeley and Stanford) are co-authors on today’s paper led by Google Brain researchers, Concrete Problems in AI Safety…
AI驱动的战略分析工具，像咨询公司一样帮你做商业决策，端到端解决难题。
Before this, I worked in strategy consulting at McKinsey and later in product and corporate strategy roles at Cisco. One pain point I kept seeing: man…