微信 Feed
探索目录
产品能力
给 Agent
目录
API
注册
登录
返回 硅星人Pro
姚班校友主导,Claude攻克费马大定理首个完整形式化证明
硅星人Pro
2026年09月06日
查看原文
登录后站内阅读
已收录文章摘要,完整内容可前往原文阅读。
人类和费马大定理纠缠了三个半世纪,Claude这次只用了11天!?
查看完整文章
本周AI项目推荐:ego lite,open desi...
上一篇
图形学大佬、前微软全球研究合伙人童欣加盟,Meshy ...
下一篇