新智元报道在软件工程顶会ESEC/FSE上，来自马萨诸塞大学、谷歌和伊利诺伊大学厄巴纳-香槟分校的研究人员发表了新的成果，使用LLM解决自动化定理证明问题。Transformer的技能树是越来越厉害了。来自马萨诸塞大学、谷歌和伊利诺伊大学厄巴纳-香槟分校的研究人员发表了一篇论文，利用大语言模型自动生成定理的完整证明。论

标签： 谷歌 越好 上下文

在竞技场超车GPT-4的Bard"抓住势头"，刚刚释出重大更新：一是集成的GeminiPro全面铺开，新增40多种语言支持，包括中文在内。并且这些语言全部支持二次检查，也就是回答完了再主动验证一遍答案的正确性。△点击"G"图标即可开始二是终于能生成图像了。要知道，Bard诞生近一年都不支持，现在直接可用谷歌最强的Ima

标签： 谷歌 ai ceo

硅谷似乎又到了一个狂热的时刻。过去几天，先是美国四大互联网巨头微软、谷歌、苹果和Meta接连递交季度收入答卷，展开业绩大对决：Meta逆袭成功，一夜之间市值暴涨1970亿美元，创股市单日最大增长记录；微软连续五季度创收入新高，3万亿美元加身，取代苹果成为全球市值最高公司；谷歌云服务持续拉升，首次实现全年盈利，继续加大投

标签： 微软 谷歌 vision

在竞技场超车GPT-4的Bard"抓住势头"，刚刚释出重大更新：一是集成的GeminiPro全面铺开，新增40多种语言支持，包括中文在内。并且这些语言全部支持二次检查，也就是回答完了再主动验证一遍答案的正确性。△点击"G"图标即可开始二是终于能生成图像了。要知道，Bard诞生近一年都不支持，现在直接可用谷歌最强的Ima

标签： 谷歌 ai ceo

IT之家2月2日消息，微软与苹果、谷歌、Mozilla等公司日前共同宣布了Interop2024，旨在使现代浏览器变得更好，并能够跨平台提供一致的用户体验。该合作的目标是"让每种技术在每个浏览器中都能正常工作"。无论用户使用的是Edge、Chrome、Firefox还是Safari，所有网站都可以在所有支持的操作系统上

标签： 谷歌 苹果 微软

IT之家2月2日消息，谷歌近日发布新闻稿，宣布在Imagen2基础上，推出全新图像生成工具ImageFX，可以生成高质量的图像。IT之家翻译ImageFX相关介绍如下：ImageFX是实验室的一个新工具，它可以让人们通过简单的文字提示来创建图像。我们在实验室通过早期实验，发现对于生成式人工智能工具来说，最重要的是新用户……

标签： 图像 谷歌 AI it之家

IT之家2月1日消息，根据Statcounter发布的2024年1月浏览器市场报告，微软Edge浏览器在桌面端表现强劲，市场份额接近13%，创历史新高。报告数据显示，谷歌Chrome仍以64.84%的份额稳居桌面浏览器市场首位，不过与去年12月相比略有下降，下滑了0.39个百分点。Edge在桌面端表现亮眼，市场份额环比……

标签： 微软 浏览器 历史新高 市场份额

IT之家2月1日消息，谷歌今天宣布，旗下聊天机器人Bard的能力又向前迈进了一大步，除了先前的语言处理技能之外，它现在可以生成图片了。Bard此次新增的图像生成功能将在全球受支持的地区免费提供，由谷歌Imagen2模型提供支持，但需要英语指令。用户现在可以根据向Bard提供的描述生成自定义图像。谷歌承诺，Bard可提供……

标签： 谷歌 免费 图像 技能

IT之家2月1日消息，根据Statcounter发布的2024年1月浏览器市场报告，微软Edge浏览器在桌面端表现强劲，市场份额接近13%，创历史新高。报告数据显示，谷歌Chrome仍以64.84%的份额稳居桌面浏览器市场首位，不过与去年12月相比略有下降，下滑了0.39个百分点。Edge在桌面端表现亮眼，市场份额环比……

标签： 微软 浏览器 历史新高 市场份额

IT之家2月1日消息，Nothing公司即将推出旗下第三款智能手机——NothingPhone(2a)，新机将比NothingPhone(2)更加平价，并且比初代NothingPhone有着全面的提升，满足不同用户群体的需求。Nothing联合创始人AkisEvangelidis在YouTube上的“Nothing社区……

标签： 谷歌 三星 超链接 性能

IT之家2月1日消息，谷歌今天宣布，旗下聊天机器人Bard的能力又向前迈进了一大步，除了先前的语言处理技能之外，它现在可以生成图片了。Bard此次新增的图像生成功能将在全球受支持的地区免费提供，由谷歌Imagen2模型提供支持，但需要英语指令。用户现在可以根据向Bard提供的描述生成自定义图像。谷歌承诺，Bard可提供……

标签： 谷歌 免费 图像 技能

科技股财报一一揭榜，微软、谷歌不尽如人意：AI驱动商业成效平平，资金成本庞大。作为AI"两巨头"，微软和谷歌最新财季业绩整体表现均超预期，但微软智能云业务营收增速和谷歌广告业务营收均不及预期，导致财报发布当日股价以收跌结尾。华尔街此前有所介绍，收入按固定汇率计算为同比增长18%，与上个季度持平，Azure收入按固定汇率

标签： 微软 谷歌 ai

伦敦AI产业优势。2023年末，OpenAI联合创始人兼CEOSamAltman在X平台发文征集网友们2024年对OpenAI的愿望与期待。从网友的反馈来看，呼声最高的前五名分别是：AGI、GPT-5、性能更强的GPTs、更好的推理能力、开源。转发清单中，Altman对AGI作了"请再耐心一点"的批注，让人对2024年

标签： 伦敦 公司 谷歌

IT之家2月1日消息，根据国外科技媒体AndroidAuthority报道，谷歌计划在安卓15系统中，开辟专门的音频分享界面，凸显Auracast功能，方便用户向就近设备共享媒体音频。IT之家注：蓝牙特别兴趣小组于2022年宣布了Auracast功能，这是一种即将推出的蓝牙广播功能，号称将推动新的无线音频体验，将为用户

标签： 设备 安卓 谷歌

图片来源@视觉中国微软与谷歌堪称2024年至今表现最优秀的科技股。若不考虑1月30日的盘后表现，今年以来微软的股价累计上涨8.66%，市值达到3.04万亿美元，已超越苹果，成为全球市值最高的上市公司。谷歌也毫不逊色，谷歌-A今年以来累计上涨8.43%，谷歌-C则累计上涨8.60%，均超越2021年末时的高位，刷新纪录，

标签： 谷歌 微软 原因

智东西1月31日报道，今日，微软和谷歌同日公布2023年财报，上演了一场业绩大PK。微软这边，其联合OpenAI引入生成式AI技术的业绩拉动效果已显现。2023年全年微软营收2275.83亿美元，同比增长11.51%；2023年第四季度，微软营收达620.20亿美元，同比增长18%，这是微软单季营收首次突破600亿美元

标签： 微软 谷歌 市值

IT之家2月1日消息，市场调查机构PerfectRec通过谷歌收集了70多万条用户评价，展示了苹果四款iPhone15系列手机的满意度调查情况。整体而言，自苹果去年9月推出iPhone15系列以来，两款Pro系列的满意度处于下降趋势；而两款标准版满意度反而有所爬升。2023年9月苹果iPhone15Pro满意度为73.

标签： iphone it之家 谷歌

快科技2月1日消息，通常来说，手机的Pro版本由于配置更高等原因，满意度一般也会比标准版更高，但iPhone15系列则不然。近日，市场调查机构PerfectRec通过谷歌收集了70多万条iPhone15系列的评价，显示iPhone15Pro的满意度在四款机型中最低，续航差成为了最大的槽点。数据显示，在iPhone15系……

标签： 满意度 续航 谷歌 好评率

IT之家2月1日消息，根据谷歌官方披露的第4季度财报数据，2023年累计裁员超过12000人，在遣散费和其他费用上花费了21亿美元。而且谷歌并未停止裁员的步伐，2024年1月再裁员1000多人，又花费超过7亿美元。尽管进行了裁员，谷歌在2023年底的大部分核心业务都实现了增长。2023年第4季度，谷歌实现营收860亿美……

标签： 谷歌 裁员 费用 收入

IT之家2月1日消息，根据谷歌官方披露的第4季度财报数据，2023年累计裁员超过12000人，在遣散费和其他费用上花费了21亿美元。而且谷歌并未停止裁员的步伐，2024年1月再裁员1000多人，又花费超过7亿美元。尽管进行了裁员，谷歌在2023年底的大部分核心业务都实现了增长。2023年第4季度，谷歌实现营收860亿美……

标签： 谷歌 裁员 费用 收入

今日，《幻兽帕鲁》官方宣布，游戏玩家数已突破1900万，其中Steam玩家1200万，Xbox玩家700万。据微软称，《幻兽帕鲁》是迄今为止最大的第三方GamePass发行。在周三发布的一份新闻稿中，微软声称正在与Pocketpair合作，为Xbox版本的游戏提供支持。“我们正在为启用专用服务器提供支持，提供工程资源来……

标签： 玩家 游戏 官方 幻兽帕鲁

IT之家2月1日消息，市场调查机构PerfectRec通过谷歌收集了70多万条用户评价，展示了苹果四款iPhone15系列手机的满意度调查情况。整体而言，自苹果去年9月推出iPhone15系列以来，两款Pro系列的满意度处于下降趋势；而两款标准版满意度反而有所爬升。2023年9月苹果iPhone15Pro满意度为73.……

标签： 满意度 续航 苹果 iPhone

北京时间1月26日上午消息，据报道，腾讯大股东、荷兰科技投资公司Prosus及其南非母公司Naspers将在公司办事处进行比例高达30%的裁员。这导致近期大举裁员的科技公司名单进一步增加。上周，谷歌母公司Alphabet刚刚宣布裁员1.2万人“我们将适应宏观环境的变化。一段时间以来，我们一直在努力改善成本结构”，Pro……

标签： 裁员 腾讯 大股东 谷歌

《更新书堂》·第451篇内容来源|本文摘编自机械工业出版社书籍《认识创业》斯蒂芬·斯皮内利著轮值主编|智勇责编&值班编辑|金木研第8016篇深度好文：3301字|10分钟阅读一、商业机会成功创建新企业是从商业机会开始，而不是从金钱、战略、网络、团队或商业计划开始。创业过程的核心是商业机会。成功的创业者和投资者都知道，一

标签： 创业者 谷歌 搜索引擎

1月31日消息，根据谷歌母公司Alphabet于30日公布的2023年第四季度及全年财报显示，谷歌在2023年裁员了超过12,000名员工，遣散费及相关费用支出高达21亿美元，而且随着裁员的继续，相关支出仍在不停追加。谷歌表示，持续将资源投入AI和其他优先事项，这使经营团队仔细审视公司营运情况，找出可以消减成本的部分，

标签： 美元 谷歌 遣散费

IT之家1月31日消息，社交媒体巨头Meta的CEO马克・扎克伯格重申了其观点，即应用年龄验证应该由苹果和谷歌等应用商店负责，而不是社交媒体公司。扎克伯格的言论是其准备好的美国国会证词的一部分，此前他和其他社交媒体CEO因未能充分保护青少年用户而受到抨击。IT之家注意到，社交媒体公司因未能履行保护青少年用户免受其应用有

标签： 苹果 谷歌 扎克伯格

图片来源@视觉中国在接下来几天，当今全球最具影响力的七大科技巨头将分别公布2023年12月/2024年1月财季业绩。其中微软、谷歌和美国超微公司将于2024年1月30日盘后公布业绩，苹果、亚马逊和Meta将于2024年2月1日盘后公布业绩，而英伟达将于2024年2月21日盘后公布业绩，见下表。这七家公司承载了资本市场的

标签： 微软 英伟达 谷歌

美股财报季正在火爆进行中，隔夜，AMD、微软、谷歌三家科技巨头均发布了去年第四季度财报。谷歌，引发了市场对同样依赖广告收入的社交媒体的担忧，Meta股价走跌。谷歌在电话会上表示，公司将很快推出GeminiUltraAI模型，并且正在试验GeminiAI搜索功能。微软，在随后召开的电话会上，微软对备受关注的Copilot

标签： 微软 谷歌 amd

自微软喊出颠覆谷歌搜索的口号以来，两家公司的竞争就备受瞩目。北京时间周三，微软和谷歌再一次同日发布季度财报，命运截然不同，张力拉满。微软发布2024财年第二财季财报，营收、云业务收入增长均超过市场预期。微软股价在财报会议前一度上涨，最终收盘下跌0.28%，至每股408.59美元，仍为高位——过去52周，微软股价在最低点

标签： 资本 市场 谷歌

"大模型排位赛"权威榜单ChatbotArena刷新：谷歌Bard超越GPT-4，排名位居第二，仅次于GPT-4Turbo。然鹅，众多网友对此却表示"不服"、"不公平"。原来，谷歌AI掌门人JeffDean透露，Bard性能大幅提升，是因为搭载了新版大模型——GeminiPro-scale。这也就意味着，打"排位赛"的

标签： bing 谷歌 伯克利

美股七巨头中，微软在AI应用上遥遥领先，被市场广泛认可为最先利用AI推动业务增长的科技公司。一个典型的例子，就是代码存储平台GitHub。利用OpenAI的技术，微软GitHub平台上搭载了广受欢迎的AI编程助手GitHubCopilot。不过，微软的野心可不仅仅是打造一个热门的产品，据报道，微软同时还在积极推动使用G

标签： 微软 azure 谷歌

谷歌母公司Alphabet周二盘后公布第四季度财报显示，虽然营收和利润超出预期，但其主营业务广告营收不及预期，导致谷歌A股盘后下跌超4.5%。分析师表示，谷歌已经进入成熟增长的新阶段，不太可能再出现每个季度的爆炸性增长，市场应当调整预期。四季度营收、利润超预期但广告营收不及预期财报显示，谷歌四季度营收863.1亿美元，

标签： 谷歌 人工智能 alphabet