推文

@Daviswh · 2026-10-16 00:00

OpenAI is putting $5 million toward mathematicians who will check, understand, and push past what AI proves. I think that money is aimed at the real bottleneck. Models spit out results faster every month. Math still will not treat an unread proof as a theorem.

曝光 7 · 评论 0 · 点赞 0 · 书签 0