搜索优化
English
搜索
Copilot
图片
视频
地图
资讯
购物
更多
航班
旅游
酒店
房地产
笔记本
Top stories
Sports
U.S.
Local
World
Science
Technology
Entertainment
Business
More
Politics
时间不限
过去 1 小时
过去 24 小时
过去 7 天
过去 30 天
按相关度排序
按时间排序
7 天
陶哲轩众包数学项目完成度99.99%:仍未看到AI工具的重大贡献
大约在三周前,陶哲轩提出了一个众包项目,结合专业和业余数学家、自动定理证明器、AI 工具和证明辅助语言 Lean, 来描述与 4694 条 magma(原群) 方程定律相关的蕴含图,这些定律可以使用最多四次 magma ...
6 天
陶哲轩用AI证明方程理论,19天进度99.99%,论文即将上线
【导读】 AI已完全融入数学家的工作流中。陶哲轩刚刚宣布,最新方程理论项目已完成99.9963%,众包之力外加AI辅助取得了重大成绩。他认为,剩余大约700个让人类头疼的难题,AI或许更有潜力。
GitHub
2 个月
Lean 中文文档翻译
Lean-zh 是一个自发组成的团体,旨在推动 Lean 在中文学术和编程社区的普及和应用。如果你对 Lean 感兴趣,对编写 Lean 教程、翻译官方文档、开发 Lean 项目,或者任何其他形式的贡献感兴趣,欢迎加入我们。 项目目标 翻译和校对:提供 Lean 定理证明器官方文档的 ...
中時新聞網
4 天
台日合作微型电动车Lean3即将量产 通过新一轮募资
极智移动(Lean Mobility)宣布,通过新一轮筹资,累计筹资达46亿日圆(折合新臺币10亿元),达成量产都市微型电动车RideRoid「Lean3」重要里程碑。极智移动表示,现阶段车体及零件设计已完成,并充分考量生产效率及 ...
一些您可能无法访问的结果已被隐去。
显示无法访问的结果
反馈