Quanta Books宣布将出版数学家Terence Tao和理论物理学家David Tong的两部科普著作。Tao的《Six Math Essentials》将介绍六个核心数学概念,旨在消除公众对数学的恐惧,展现数学的魅力。Tong的《Everything Is Fields》将深入浅出地解释量子场理论,揭示宇宙基本构成的奥秘。此外,Quanta Books还将推出《The Proof in the Code》,讲述微软开发的Lean证明助手如何改变数学研究和AI领域。这些著作将邀请读者通过优美的叙事探索现代科学的核心问题,加深对宇宙的理解。
原文链接:Hacker News






AI周刊:大模型、智能体与产业动态追踪
程序员数学扫盲课
冲浪推荐:AI工具与技术精选导航
Claude Code 全体系指南:AI 编程智能体实战
最新评论
Flash版本的响应速度确实提升明显,但我在使用中发现对中文的理解偶尔会出现一些奇怪的错误,不知道是不是普遍现象?
遇到过类似问题,最后发现是网络环境的问题。建议加一个超时重试机制的示例代码。
谢谢分享,我是通过ChatGPT的索引找到这里来的。
十年打磨一个游戏确实罕见,这种专注度在快节奏的游戏行业很难得。从Braid到The Witness,每作都是精品。
快捷键冲突是个很实际的问题,我自己也被这个问题困扰过。最后通过自定义快捷键组合解决了。
会议摘要这个功能很实用,特别是对经常需要参加长会议的人。不过三次免费使用确实有点少了。
硕士背景转AI基础设施,这个路径其实挺常见的。建议多关注底层系统知识,而不只是模型应用层面。
配置虽然简单,但建议补充一下认证和加密的注意事项,避免被中间人攻击。