什么是 Cajal？
Cajal (YC W26) is massively scaling formal verification to accelerate scientific discovery. We deploy superhuman AI mathematicians to high-impact applied domains, starting with quantum computing and finance. We do this with Lean - a framework that allows us to formally verify any mathematical statement, grounding AI in truth and validating the tools discovered by our systems.
?
还没有评论，来抢沙发吧！
X 上关于 Cajal 的真实讨论
去 X 发帖