Yestino - The Signal
English
中文
AI
科技
商业
国际
游戏
娱乐
体育
事件雷达 · 组织
Why Lean
跨来源追踪 Why Lean 相关的事件,最近的排在前面。
邮件订阅
订阅 RSS
Navier-Stokes lost in translation: Why Lean verification of AI autoformalisation does not guarantee correct natural language proofs
H
Hacker News
L
Lobsters
3 小时前