历史性突破!OpenAI模型搞定人类科学家80年未破难题,能发顶刊了

5月21日报道,今日,OpenAI宣布,其一款未对外发布的内部通用推理模型,独立完成了一份原创数学证明。该证明推翻了匈牙利数学家保罗·埃尔德什(Paul Erdős)1946年提出的“平 … 继续阅读 历史性突破!OpenAI模型搞定人类科学家80年未破难题,能发顶刊了

OpenAI称已解决了一道存在80年的数学难题

OpenAI近日表示,其最新通用推理模型自主给出了一条原创数学证明,推翻了一项自1946年由著名数学家保罗·埃尔德什(Paul Erdős)提出、悬而未决的几何猜想。 OpenAI称,这 … 继续阅读 OpenAI称已解决了一道存在80年的数学难题

苹果iOS 27前瞻:相机App支持全面自定义

原标题:苹果iOS 27前瞻:相机App支持全面自定义且Siri迎来重大重构,Safari和天气设计焕新 IT之家 5 月 13 日消息,彭博社记者马克 · 古尔曼今日报道称,苹果计划在 … 继续阅读 苹果iOS 27前瞻:相机App支持全面自定义

深扒GPT Image 2:疑似“吞”下了GPT-4o,OpenAI没把它当“生图”模型训练

作者|樊雅婷 邮箱|fanyating@pingwest.com GPT Image 2 凭什么这么强? 是扩散模型又迭代了一版?是把 DiT 的参数量从 7B 扩到 20B?是训了更多高质量数据? … 继续阅读 深扒GPT Image 2:疑似“吞”下了GPT-4o,OpenAI没把它当“生图”模型训练

英伟达发布Lyra 2.0:单张照片AI生成90米3D场景

IT之家 4 月 17 日消息,科技媒体 The Decoder 昨日(4 月 16 日)发布博文,报道称英伟达研究人员推出 Lyra 2.0 系统,可从单张照片生成跨度约 90 米的连贯 3D 环境 … 继续阅读 英伟达发布Lyra 2.0:单张照片AI生成90米3D场景

苹果升级Pixelmator Pro:新增iPhone 17设计模型、优化SVG导出兼容性

IT之家 4 月 10 日消息,苹果公司今天(4 月 10 日)更新图像编辑应用 Pixelmator Pro,新增 iPhone 17 样机模板、扩展 RAW 支持及键盘快捷键等功能。 此次更新引入 … 继续阅读 苹果升级Pixelmator Pro:新增iPhone 17设计模型、优化SVG导出兼容性

鸿蒙智行2026款问界M9无伪装实车再曝

IT之家 4 月 6 日消息,鸿蒙智行 2026 款问界 M9 无伪装实车今日再曝。小红书博主 @拍车的马小跳 今日分享了新车路测的实况 Live 图,展示了新车更多角度的外观。 画面显示,2026 … 继续阅读 鸿蒙智行2026款问界M9无伪装实车再曝

亚马逊“神户计划”曝光,2027年推出AI超市挑战沃尔玛

IT之家 3 月 28 日消息,据《商业内幕》昨天报道,亚马逊内部正推进“神户计划”,意图进军线下超市领域并挑战业内巨头沃尔玛,首批门店有望 2027 年开业。 图源:《商业内幕》 内部文件显示,亚马 … 继续阅读 亚马逊“神户计划”曝光,2027年推出AI超市挑战沃尔玛

谷歌冲破内存墙!新算法内存占用暴砍83%,速度提升8倍

编译 | 刘煜 编辑 | 陈骏达 智东西3月26日报道,昨天,谷歌于发布了一款针对大语言模型键值缓存(KV Cache)的无损极限压缩算法TurboQuant,它能够从根本上解决向量量化中内存开销问题 … 继续阅读 谷歌冲破内存墙!新算法内存占用暴砍83%,速度提升8倍

岗位一朝被Meta砍掉,工程师转头训练小狗敲键盘,竟靠Claude把乱码做成了游戏,还开源了

见过程序员用 AI 写代码、做游戏、画插画,但如果告诉你,有一天,一只小狗也“参与”了编程,还真的做出了一个能玩的小游戏,会不会有点离谱? 这件事不只是玩笑。现实中,还真有这么一回事! 这个神奇案例的 … 继续阅读 岗位一朝被Meta砍掉,工程师转头训练小狗敲键盘,竟靠Claude把乱码做成了游戏,还开源了