近日,AI 初创公司 Axiom 宣布其模型在没有人类干预的情况下,自动完成了两个数学猜想的证明——埃尔德什问题(Erdős Problem)中的 481 号和 124 号。 据称,481 号问题仅用时 5 小时,代码量为 656 行;124 号问题则耗时超 24 小时。值得关注的是,这些证明均通过 ...
IT之家 1 月 26 日消息,随着 NASA “阿尔忒弥斯二号”载人绕月任务临近,为后续登月计划准备的新一代宇航服研发取得重要进展。Axiom Space 上周发布了一段视频,展示其为 NASA “阿尔忒弥斯三号”任务研发的 ...
本轮融资资金将用于癌症和神经退行性疾病等多个项目的临床前开发,加速进入临床 I 期试验。 投资界(ID:pedaily2012)12月14日消息,Molecular Axiom(微哲默理)公司宣布完成A轮融资。本轮融资由深圳东方富海领投,金浦健康基金、锐合资本跟投。据悉,本轮融资 ...
创投圈的00后面孔越来越多了。 投资界获悉,Axiom Math正式完成首轮6400万美元(约合人民币4.6亿元)融资,由B Capital领投,Greycroft、Madrona和Menlo Ventures等机构参与,投后估值3亿美元(约合人民币20亿元)。 缔造Axiom的正是00后洪乐潼(Carina Hong)——在广州出生 ...
美国国家航空航天局(NASA)的“阿尔忒弥斯”登月计划正稳步推进,其配套新一代宇航服的研发工作取得关键突破。Axiom Space公司近日公布了一段测试视频,展示了专为“阿尔忒弥斯三号”任务设计的AxEMU(舱外机动装置)登月宇航服的实际测试场景。这款新型宇航服被视为支撑人类重返月球的核心装备之一。
Axiom.ai是一款无代码浏览器自动化插件,帮助用户快速简单地自动化网站操作和重复任务。它提供可视化网络抓取、数据录入、电子表格自动化等功能,用户可以在任何网站或Web应用程序上使用它。Axiom.ai支持自定义构建机器人,无需编码。同时,它还可以与Zapier ...
吴说获悉,据 @defioasis,在 Solana Meme 存量市场竞争下,作为错过 TRUMP MELANIA 的新入场者,Axiom 自 3 月以来快速崛起,交易量份额占比达到 47%,对 Photon 和 BullX 冲击较大;依靠与华语头部社区及 KOL 合作,GMGN 市场份额则相对保持稳定。不过,Axiom 单用户平均交易 ...
创投圈的00后面孔越来越多了。 投资界获悉,Axiom Math正式完成首轮6400万美元(约合人民币4.6亿元)融资,由B Capital领投,Greycroft、Madrona和Menlo Ventures等机构参与,投后估值3亿美元(约合人民币20亿元)。 缔造Axiom的正是00后洪乐潼(Carina Hong)在广州出生长大 ...