把数学变代码接近完成,真正的颠覆是把代码变回数学
jfischoff · x · 2026-09-06
Tunguz 提出一个判断:把所有数学转化为代码的工作已接近完成,但真正的影响将出现在我们能反过来把所有代码变成数学之时——即形式化验证与可证明正确的软件。jfischoff 转发了这一观点。
「漫话AGI」频道最新
- Claude Code 创作者：把 AI 当打字员用，注定拿不到生产力红利 — rohanpaul_ai · 2026-09-06
- Ethan Mollick：Agent 时代工作微观过程正失去实证观测 — emollick · 2026-09-06
- a16z：数据中心建设支出半年激增超 250 亿美元 — a16z · 2026-09-06
- 前 OpenAI 研究副总裁 Brundage:没有哪家 AI 公司能长期保持显著领先 — AdrienLE · 2026-09-06
- 经济学人发文批数据中心「道德恐慌」：担忧愚蠢且短视 — andsoitis · 2026-09-06
- 「GPT-6 达不到这四项就不配叫 AGI」引热议 — GaryMarcus · 2026-09-06