【新智元导读】最近，陶哲轩向广大网友和数学爱好者发起了挑战:大众数学爱好者、证明助理、自动化助手和AI联合起来，是否可以证明扩展几个数量级的数学问题?想参加陶哲...

[查看详情]

2025-01-18

9月下旬，一斤东北西瓜要卖多少钱?在北京广安门的超市，答案是两块六毛;在朝阳区的一家社区水果店，答案是两块九毛;在北京新发地农贸市场露天广场的大卡车旁，答案是一...

[查看详情]

2025-01-18

据彭博社记者马克·古尔曼报道，苹果公司正准备在智能家居领域推出新产品，可能最早于明年发布一款智能显示器。这款设备将运行基于tvOS的全新操作系统——homeOS...

[查看详情]

2025-01-18

《钢铁侠》中的贾维斯，是大多数人对AI助手的初印象。只需一个简单指令，贾维斯就能迅速准确地做出相应动作，无数次拯救钢铁侠于危难之际。这是AI大模型从通用能力走向...

[查看详情]

2025-01-18

微软在最新发布的Windows1124H2大版本更新中，正式删除了经典的写字板应用。Windows1124H2包括了多项新特性，如AI元素的引入和Wi-Fi7的...

[查看详情]

2025-01-18

曾负责Windows与Surface的PanosPanay为微软服务近二十年后于去年跳槽至亚马逊：如今催生Xbox与XboxLive的JAllard也步其后尘，...

[查看详情]

2025-01-18

OpenAI的宫斗大戏刚落下帷幕，今日凌晨就在旧金山召开了第二届DevDay开发者大会。与去年盛大的活动相比，今年略显低调，他们没有推出重大产品是选择对其现有的...

[查看详情]

2025-01-18

微软正邀请Windows11用户测试新版PhoneLink应用，重点调用AI在PC上回复安卓手机短信。针对Windows11的23H2及24H2版本，Phone...

[查看详情]

2025-01-18

在OpenAISora难产的时候，Meta首次公开展示了自家的「用于媒体的突破性生成式AI研究」:MetaMovieGen。Meta在相应博客中使用了「prem...

[查看详情]

2025-01-18

仅仅一年多的时间，AI的发展已经超乎了人们的想象。光是面对利用AI工具创作内容，人们都已经分成了两个派别，一派利用AI锦上添花，另一派则在使用过后始终觉得AI差...

[查看详情]

2025-01-18