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

报告研究的重点企业有Allied Vision, Axiom Optics, Corning Inc, FLIR Systems, Ghopto, Pembroke Instruments, Rafael Advanced Defense Systems Ltd, Sony, SWIR Vision Systems, Teledyne Technologies, ...

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

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

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

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

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

2024年9月4日，来自广东深圳的人工智能公司Lianhe Sowell International Group ...

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

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

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

DoNews9月14日消息，据IPO早知道消息，BingEx ...