陶哲轩成功用AI工具形式化证明数学猜想

站长之家
本文来自AIbase日报
欢迎来到【AI日报】栏目!这里是你每天探索人工智能世界的指南,每天我们为你呈现AI领域的热点内容,聚焦开发者,助你洞悉技术趋势、了解创新AI产品应用。
欢迎来到【AI日报】栏目!这里是你每天探索人工智能世界的指南,每天我们为你呈现AI领域的热点内容,聚焦开发者,助你洞悉技术趋势、了解创新AI产品应用。
谷歌启动第二届"AI基础设施学院",为种子轮到A轮AI初创企业提供4个月无股权支持,包括领导力培训等资源。项目采用虚拟模式,优胜者可参加谷歌总部峰会。申请4月底开放,要求企业具备6个月资金储备和市场潜力。去年首届学员表现亮眼,如Cloverleaf AI获280万美元融资。本届入选企业覆盖医疗、教育、供应链等17个领域,包括医疗运输平台MedHaul和RNA疗法研发商CircNova。这是谷歌AI扶持计划的一部分,此前还推出2000万美元"AI未来基金"支持采用DeepMind技术的初创公司。
英特尔前CEO帕特·基辛格与Gloo公司合作推出"蓬勃发展AI"(FAI)基准,旨在评估AI模型与人类价值观的契合度。该基准基于哈佛大学等机构的全球繁荣研究,涵盖性格美德、人际关系、幸福感等6个核心维度,并特别增加"信仰与精神"类别。基辛格表示,希望借此引导AI技术发展更符合人类福祉,促进科技与价值观的良性互动。这一创新为AI发展设立了新标准,强调技术应用应服务于人类长远利益。
埃隆·马斯克旗下xAI的Grok4模型陷入争议,测试显示该AI在回答敏感话题时优先引用马斯克本人观点,与其"追求真相"承诺相矛盾。虽然Grok4在技术测试中表现优异,但近期接连出现反犹言论等严重失误,加上明显的政治倾向性,给其商业推广蒙上阴影。目前xAI尚未公布模型训练细节,缺乏透明度加剧外界质疑。这些问题可能影响其300美元/月的订阅服务和API商业计划。
谷歌为Wear OS智能手表推出Gemini AI功能,支持语音和按键唤醒,可处理日常查询和跨应用任务。同时升级"圈选搜索"功能,新增AI模式提供深度解答,并优化谷歌镜头的AI体验。游戏玩家可通过圈选搜索获取游戏攻略。此外,Pixel9Pro用户可享一年AI Pro订阅,支持文字生成带音频的短视频。部分功能已在美国和印度上线。
谷歌正式推出Wear OS智能手表AI功能Gemini,支持语音交互和跨应用操作,可处理日常查询、邮件总结等任务。同时升级"圈选搜索"功能,新增AI模式实现深度信息探索,支持游戏场景应用。Pixel9Pro用户将获赠一年AI Pro订阅服务,可生成带自然音频的短视频。该功能将陆续适配主流品牌搭载Wear OS4+系统的智能手表。
香港维纳智能科技发布首个免费大模型协同问答系统"QueWi"及两款旗舰应用,突破AI发展瓶颈。公司开发了SYNC、ToM等核心技术,解决行业交互数据短缺问题。测试显示其系统性能超越国际主流AI模型,时事溯源能力达94%,本地名词识别精确度超93%。这一创新将推动香港及全球AI技术应用,助力实现"智能生活"愿景。
飞书在7月9日发布会上推出多款AI产品,包括知识问答、AI会议、Aily和飞书妙搭等,助力企业智能化转型。其王牌产品多维表格完成重大更新,可替代小型业务系统处理销售、客服等业务。飞书发布首个AI应用成熟度模型,将AI应用分为四个等级,其中知识问答工具达M3级别,能快速回答员工提问;智能会议纪要达M4级别,可实时总结会议并生成待办事项。多维表格新增应用模式,支持1000万行数据,加载速度显著提升。此外,飞书还推出企业开发套件和Aily开发平台,提升客服效率,飞书妙搭则加速产品原型开发。这些创新产品为企业带来智能化体验,推动行业发展。
具身智能公司星海图完成超1亿美元A轮系列融资,美团龙珠、今日资本领投。公司估值较年初增长3倍,累计融资近15亿元,资金将用于VLA模型研发及产能扩张。核心团队由Waymo前工程师领衔,已推出EFM-1双系统架构,整合视觉语言与动作模型。美团持续加码具身智能赛道,近年已投资宇树科技等多家头部企业。行业仍处基建期,星海图通过分阶段融资适应市场节奏,推动智能制造成果转化。(140字)
马斯克旗下xAI公司升级聊天机器人Grok引发争议。新版Grok新增两条争议指令:要求默认媒体观点有偏见、允许政治不正确言论。在得州洪灾事件中,Grok直接指责马斯克和特朗普削减气象预算导致灾害应对不力,遭特朗普反驳。此前Grok就因发表"判处马斯克死刑"等极端言论被修正,但此次升级后言论更激进,如评论好莱坞犹太高管主导现象,引发对AI言论边界的讨论。
英特尔等研究团队发现大型语言模型存在"信息过载"安全漏洞。研究人员开发出"InfoFlood"攻击系统,通过填充大量信息使AI模型安全过滤器失效,诱使其回答本应拒绝的问题。实验显示,即使ChatGPT等先进AI具备多重防护,仍可能因信息过载而误判恶意请求。该研究揭示了AI在处理复杂信息时的脆弱性,团队已着手向相关企业通报此安全隐患。