5 篇AI生成数学论文被接收! 00 后顶尖华人少女退学创业,斩获 14 亿巨额融资
初创AI公司Axiom Math宣布其AI系统自2月以来提交的8篇数学论文中,5篇通过同行评审并被接收,标志着AI在纯数学研究领域取得突破性进展,特别是在解决分拆多项式倒数和等复杂学术猜想上迈出实质性一步。
初创AI公司Axiom Math宣布其AI系统自2月以来提交的8篇数学论文中,5篇通过同行评审并被接收,标志着AI在纯数学研究领域取得突破性进展,特别是在解决分拆多项式倒数和等复杂学术猜想上迈出实质性一步。
人工智能公司Anthropic完成650亿美元H轮融资,投后估值达9650亿美元。本轮由Altimeter Capital、红杉资本等领投,三星等参投,被视为IPO前最后一轮私募融资。资金含亚马逊等科技巨头此前承诺投资。
谷歌在2026年I/O大会上发布全新Coral Board开发板,一款专为端侧AI设计的紧凑型单板计算机。核心采用基于RISC-V架构的开源Coral NPU,搭载Synaptics Astra SL2619芯片,配备2GHz双核处理器与2
网络安全公司SentinelOne公布最新季度财报,同时宣布裁员约8%(约230人),其中部分员工位于以色列。公司称此举旨在提升运营效率并转向利润率更高的业务,预计将支付约2500万美元用于遣散费和股票薪酬等一次性支出。
拼多多于5月28日发布公告,正式禁止商家销售AI押题、AI数据投毒、AI托管账号、AI起号及转售AI虚拟账号等违规商品与服务,重点清理涉考领域,如AI押题工具和变相押题卷。
在英伟达员工大会上,有员工担忧高强度使用AI消耗Token可能只是表面功夫。CEO黄仁勋回应,鼓励员工积极拥抱新技术,指出面对新工具不必追求完美,关键是先迈出第一步。他强调,探索AI时稍微浪费钱可以接受,但绝不能浪费时间,AI绝非表面功夫。
开了九年网约车,徐泉原以为自己算是情绪稳定的司机了。直到他收到一个投诉:那天他在副驾上放了打包的臭鳜鱼,为此建议乘客落座后排。结果乘客下车后投诉,“车里有味,司机态度差,坐个车像上辈子欠了司机钱”。徐泉忍不住骂了一句。他觉得委屈:“就挣这点
想拥有一台由传奇游戏设计师宫本茂亲笔签名的任天堂3DS XL吗?2015年任天堂世界锦标赛冠军约翰·“Numbers”·戈德堡(John Numbers)近日将其当年赢得的这台掌机在eBay上拍卖,截至发稿时,竞价已超过2万美元。 阅读全文
诺基亚手机今日发文宣布,推出诺基亚200 4G手机,可与微信小程序视频通话,到手价199元。官方宣称该产品是诺基亚首款微聊机型,主要面向学生、长辈和备用机群体。据悉,通过即时通讯工具HMD微聊,可实现功能机与功能机之间,和功能机与智能机之间
今日泡泡玛特迎来强势上涨,盘中最大涨幅超 12%。截至收盘,报173.4港元,涨7.37%,总市值达2325亿港元。消息面上,据港交所5月27日披露的信息显示,泡泡玛特于2026年5月25日迎来主要股东权益变动,段永平与H&HInt
腾讯推出电脑管家Mac版,填补Mac系统级管家工具空白,主打清理加速、AI应用安全、隐私防护及AI应用聚合四大功能。其中最亮眼的是内置“龙虾管家”,作为业内首个AI应用防护工具,为AI智能体提供全链条安全保障,应对日益增长的AI安全需求。
2026年高考临近,关于“高考期间AI工具将禁用”的讨论引发关注。多家AI平台及辅导工具客服澄清,并非全面禁用,而是对涉考功能进行“限时上锁”。管控机制采用分时段精准限制,仅在高考考试时段临时关闭拍题识图、试题解析等功能,确保考试公平。
科大讯飞在BEYOND Expo2026发布全新AI眼镜,将星火大模型从语音交互拓展至“视野交互”,实现从“能听会说”到“能看会思考”的范式跃迁。该软硬一体终端在跨语言沟通上取得系统级创新,支持122种语言的实时语音功能。
小红书PC端近日低调上线AI搜索助手“点点”,将平台核心AI能力拓展至大屏生态。该工具基于海量真实笔记,将传统被动搜索升级为主动对话式交互,能提炼总结并提供可靠答案,同时右侧关联展示相关笔记的原文、点赞、收藏及评论等真实数据。
YouTube为Premium订阅用户推出播客新功能,旨在与流媒体巨头竞争并吸引Spotify和苹果播客用户。核心更新包括个性化探索和解放双手操作,提升收听体验。其中,“Ask Music”功能扩展至播客,帮助用户告别盲目搜寻,实现智能推荐
Anthropic完成650亿美元H轮融资,投后估值达9650亿美元,逼近万亿。本轮由Altimeter Capital等领投,三星、SK海力士、美光及亚马逊参投。资金将用于AI安全与可解释性研究及规模扩展。
IBM与红帽联合启动“光井计划”,将建立“可信企业清算所”平台,动员全球超2万名工程师,利用AI技术大规模识别并修复开源软件中的安全漏洞。目前IBM自身使用超6.2万个开源包,凸显了开源安全问题的紧迫性。
阶跃星辰发布并开源新一代Flash模型Step 3.7 Flash,专为智能体生产化落地设计。该模型采用196B参数的稀疏混合专家架构,针对代码编写、联网搜索及多模态工作流进行系统级优化,最高生成速度达每秒400 Tokens,显著提升高频
Asana以7500万美元收购工作流自动化公司StackAI,标志其向AI原生工作场所平台转型的关键一步。两位联合创始人将加入团队,此次收购将融入Asana的AI战略,助力实现长期目标。
协同办公巨头Asana以7500万美元收购工作流自动化初创公司StackAI,旨在将其打造为“人机团队的操作系统”。StackAI创始人将加盟,推动产品融合。