极智移动（Lean Mobility）宣布，通过新一轮筹资，累计筹资达46亿日圆（折合新臺币10亿元），达成量产都市微型电动车RideRoid「Lean3」重要里程碑。极智移动表示，现阶段车体及零件设计已完成，并充分考量生产效率及 ...

【导读】 AI已完全融入数学家的工作流中。陶哲轩刚刚宣布，最新方程理论项目已完成99.9963%，众包之力外加AI辅助取得了重大成绩。他认为，剩余大约700个让人类头疼的难题，AI或许更有潜力。

除了感谢众多志愿者为该项目付出的不懈努力，陶哲轩表示现在拥有许多出色的可视化工具来检查（尚未完成的）蕴含图的各个部分。例如，下图描绘了方程 1491：的所有结果，陶哲轩将其昵称为「Oberlix 定律」（它有一个「同伴」——Asterix ...

LeanAgent ...

在科学研究的各个领域，人工智能（AI）正不断挑战传统的边界，尤其是在数学这个深奥的领域。最近，清华校友团队利用AI成功证明了162个未被人类证明过的数学定理，包括解决了陶哲轩难以形式化的多项式Freiman-Ruzsa猜想，这一突破标志着AI在基础科 ...