全文已有哈工大数学系研究生运用lean4彻底跑通！

cuikun-186 · 发表于 2026-9-26 08:26

崔坤的《哥德巴赫猜想的严格证明》已经完成，全文已有哈工大数学系研究生运用lean4彻底跑通！

风花飘飘 · 发表于 2026-9-26 10:32

好👌，大家都来鼓掌……
wangyangke来了让它滚出去！

cuikun-186 · 发表于 2026-9-27 09:40

1111112222333

cuikun-186 · 发表于 2026-9-28 10:01

11111111111111111

cuikun-186 · 发表于 2026-9-28 17:51

那些装睡的人永远是不会醒的！

真理之下无权威！！！

cuikun-186 · 发表于 2026-9-29 08:56

人工智能的唯一性是遵循逻辑！！！

cuikun-186 · 发表于 2026-9-29 17:22

111222266666

		自动登录	找回密码
密码			注册