Popular repositories Loading

1. Moonshine Moonshine Public

   Moonshine: autonomous mathematical exploration, from the first step to the farthest horizon.

   TeX 41 6

2. DeepMath DeepMath Public

   一个开源数学大模型项目，旨在探索大模型是否具有数学创造能力，以及大模型在前沿数学研究中的潜在能力。

   TeX 33 2

3. Creative-Intelligence Creative-Intelligence Public

   An open project exploring mathematical creativity in AI—whether it can move beyond solving existing problems to originate new ideas and expand the frontiers of mathematics alongside humans.

   Python 10 6

4. DeepSeek-math-exploration DeepSeek-math-exploration Public

   AI × Math 社区与同济 DeepMath 团队的前沿数学能力探索活动：研究问题、探索成果与验证记录，以及供大家使用的开源多智能体研究工作台。

   JavaScript 4