【新智元导读】最近，陶哲轩向广大网友和数学爱好者发起了挑战：大众数学爱好者、证明助理、自动化助手和AI联合起来，是否可以证明扩展几个数量级的数学问题？ 想参加陶哲轩发起的「众包」数学研究项目吗？ 机会来了！ AI辅助证明数学研究，越来越可行了 ...

近日，Blue Cat Audio 宣布对其全部32款音频插件和应用程序进行了重要更新，其中包括8款免费插件。这次更新旨在提升混音、母带制作以及音效设计等领域的工作效率与创作自由度，尤其为用户提供了多显示器高DPI缩放支持，使其在当前高分辨率显示领域 ...

这次舱外行走中的SpaceX宇航服，是SpaceX历经2年多时间开发的新款宇航服，相较NASA传统宇航服更加轻便、合身。据报道，北极星黎明号中宇航员所着的宇航服几乎全是柔软材质，采用了从航天器中回收的热绝缘和防辐射纺织设计，更加易于制造，成本更低。

日活跃用户超百万、总用户超千万、营收超一亿美元——《Gorilla ...

公理太空公司(Axiom Space)目前正面临严重的财务困境，该公司目前承担了美国宇航局(NASA)两项关键的商业项目：首先是在近地轨道上开发一个私人空间站，作为国际空间站退役之后的商业运营空间站；然后是为阿尔忒弥斯计划开发登月宇航服。据《福布斯》报道，公理太空公司由亿万富翁卡姆·加法里安和美国宇航局主管迈克· ...

近日，著名音频插件开发商Blue Cat ...

9月6日下午，澎湃研究所举办 《数智中国2029：拥抱下一代信息技术》研讨会，朱嘉明、史丹、彭文生、郑磊四位嘉宾主讲，图为圆桌对话环节 ...

2021年3月，闪送宣布完成1.25亿美元D2轮融资。该轮融资由顺为资本、五岳资本、SIG海纳亚洲、天图投资、海松资本、Alpha Square Group、Axiom Asia Private Capital、千山资本及中财荃兴资本共同投资。

印度批27亿美元开发可回收火箭和空间站核心舱，还要探索月球金星,月球,宇航员,飞船,载人飞船,火箭,空间站 ...

闪送于2024年9月13日向美股SEC披露招股书，拟在纳斯达克上市，股票代码为FLX，承销商包括中金、中信里昂、德银和瑞银。公司是中国最大的独立一对一专送快递服务提供商，已于7月8日通过中国证监会备案。

宇航员尼克-黑格（Nick Hague）和亚历山大-戈尔布诺夫（Aleksandr ...

9月25日，华润怡宝的母公司的华润饮料在港交所披露聆讯后的招股书，或很快在香港主板挂牌上市。其此前于2024年4月22日递表。中银国际、 中信证券 、美林、瑞银为其联席保荐人 ...