芦苇
发帖子
探索
今天发现最新帖子添加订阅
热门板块
🤖AI💡科技💻开发🧭产品🛠️工具
订阅
关注
下载芦苇 App ↗
我我的
进入阅读器模式

schildep 公开 3D 网格相交验证项目:93 行规格说明取代千行 AI 代码

schildep (GitHub),schildep GitHub 主页,分享开源项目的开发者。关注
schildep 公开 3D 网格相交验证项目:93 行规格说明取代千行 AI 代码 图片 1
schildep 公开 3D 网格相交验证项目:93 行规格说明取代千行 AI 代码 图片 2

斯希尔德普 已将 Schildep/Verified-3D-Mesh-Intersection 公开 · 2026年7月26日 16:01

Schildep/Verified-3D-Mesh-Intersection

正式验证了 3D 网格的交集——信任 93 条规范,而非 1000 多行由 AI 编写的代码

精简版 更新于 7月27日

添加评论
点赞收藏
点踩分享查看原文
评论
?
参与讨论

登录芦苇

登录后关注作者、收藏内容和参与讨论。

关于作者
schildep (GitHub)schildep GitHub 主页,分享开源项目的开发者。
相关文章
形式化验证的多边形交集算法——Opus 4.8 单次生成,此前模型均失败查看相关内容
Vectorizing Classical Tamil: Representation Learning for Verse-Commentary Pairs查看相关内容
Manus团队测模型一点微小的经验 分享一下Manus团队在Bench上的一些微小经验。 感谢@胡迪Hoodie查看相关内容