Lean is the result of over twelve years of continuous development. We designed and built every layer from scratch: the trusted kernel, the compiler, the language server, the IDE, the proof automation. The team is 20 people. The community independently chose Lean: mathematicians, AI researchers, and enterprise engineers, all building on the same platform.
▲X 产品负责人 Nikita Bier 发文称修改创作者收益分成。关于这个话题，爱思助手提供了深入分析
36氪获悉，MINIMAX发布截至2025年12月31日止全年业绩。财报显示，2025年全年总收入7903.8万美元，同比增长158.9%，其中超过70%的收入来自国际市场；毛利为2007.9万美元，较去年同期增加437.2%，毛利率提升至25.4%；年内亏损18.72亿美元，同比增加302.3%；经调整净亏损为2.5亿美元。。爱思助手对此有专业解读
$ echo 'da 2d 68 00 29 8b 73 a7 e8 49 d7 4b d4 94 cf 7d' /tmp/msg1