【极客周刊】我们必须知道，我们必将知道。

在 1900 年巴黎第二届国际数学家大会上，数学家希尔伯特提出了新世纪数学家应当努力解决的 23 个数学问题。这些问题不仅被认为是 20 世纪数学的制高点，还激发了整个数学界的想象力，造就了 20 世纪一大批著名的数学家。

希尔伯特认为数学的发展在于问题的提出和解决，「任何一个问题都有解，只需推演，就可以得解，数学中永远没有我们知道的。」

就在一生科学事业接近结束时，他再次拒绝相信杜波瓦-雷蒙及其追随者信奉的「愚蠢的 ignorabimus（不可知）」。对着话筒，他坚定有力地说出了最后一句话： "Wir mussen wissen. Wir werden wissen.（我们必须知道，我们必将知道。）" 如果你能找到柯尼斯堡演说最后部分的录音，仔细听还能听到结尾处希尔伯特的笑声。

今天，尽管哥德尔的不完全性定理打破了绝对信念，但刻在这位乐观数学家墓碑上的「Wir mussen wissen. Wir werden wissen」依然支撑着无数人的信念。

日常的表象背后，我们终将知道那些规律和秘密。

比如，我们的二手手机去了哪？

从三四线城市开始，到区域性贸易中心城市，「搞不定的」最后会汇集到华强北。华强北统一「加工」，流到一二线枢纽城市，最后再分销到三四线小城市。每一个从业者在各自的环节都有着明确的定位，他们都知道，「要让专业的人做专业的事」。

来自公园新作者小猴子 sunny 的力作刷爆了朋友圈，感谢这个热爱硬件的作者拥有调查记者的灵魂。他还研究了一下虚拟运营商为什么没人用？没有 4G、资费太贵、营销跑偏是他诊断出的症结。

与手机的「硬」相对，「柔软」的水果生意也能爆发出新价值。九个月，不迁就用户、不靠补贴，许鲜这家水果电商从 0 做到了 1000 万。瞄准目标用户、及时调整策略、联结供应商似乎都是火爆的元素，许鲜创始人徐晗说：「我们没怎么花钱，A 轮融的数百万美金钱现在才只花了一半不到。」

事实上与互联网＋任何东西都是灵丹妙药的癫狂相比，另类的许鲜为那些想要实实在在带来改变的创业团队启发了一种新可能——从对互联网的盲目崇拜回归到关注商业的核心和本身，把技术的手段用的淋漓尽致并能深刻理解所处行业最朴素的本质规律。

抛去这些实在的客观物质，对于「云上的」文艺播客来说，是无心插柳的不刻意支撑了百万播放量的「大内密谈」？

在创始人相征看来：「我觉得一档好的节目应当是知识、观点和段子的集合，而这三者出现的顺序和优先级应该是段子－知识－观点。如果只有段子，那就是很浮躁的搞笑节目；如果只有知识，那就很枯燥；如果只有观点，那又会讲得比较空。」对于观众来说，感性的温度让它更亲近：「大内密谈」的主播们都很真实，不会为了端着去刻意表现什么，这让我感到我面对的不是一个冰冷移动介质背后很虚无的声音，而是一种很真实的生活状态，每一期节目就好像我和几个老朋友一起聊天一样，而不是单纯的主播在讲话。这是一个有温度的电台。

另一家以音乐众筹为入口的著名「厂牌」乐童，正在尝试「线上音乐人经济平台」和「硬件众筹」两个方向上的转型。

当然，作为极客公园，少不了的就是好产品

关于在线文档协同，石墨给出了一个好范例——

轻便简洁，深度结合手机端，以微信服务号替代邮箱。Web 上编撰的文档可直接通过二维码分享给微信好友。如果有人在文档中 @ 你，你可以在微信上直接收到通知、打开查看。在协作编辑状态下，用户当前编辑段落前，会显示他的小头像。以沉稳内敛的古典石墨茶色为基础的这款应用，没有过多的颜色，在字体着色方案里，只提供甄选出来的 12 种可选颜色，并且还会这些小细节上不断精益求精。页面边角的处理，使它更像是一张质感的纸；底部文字并非上下居中，而是略向下压，这个设计灵感来源于传统落款盖印的布局。

而另一款来自阿里巴巴的钉钉，这款解决企业沟通和报销等需求的应用解决了像美克美家、康帕斯这样的中小企业用户的需求，这些用户是互联网极客之外的世界，他们有着大量未被启动的需求。这些需求看似细小琐碎，却是互联网最能提升效率的地方。比如请假、报销、从云盘分享照片给客户。

有没有想过通过触觉来「感受」虚拟世界呢？欣赏翩翩起舞蝴蝶，感受它们驻足，亲吻指尖的细微触觉。Gloveone 就是这样一款「虚拟现实」手套，戴上它便可以在虚拟世界里模拟真实的触感。

37 度手环，它拥有心率、血压检测等其他手环不具备的功能，官方甚至宣称它可以感知用户情绪——而售价只有 99 元。来自金立方同学的评价是：「我认为 37 度手环更像一个朴实的记录者，通过每日 24 个时点检测，以提早发现异常信号——这跟苹果手表联合医院做的事情应该是不谋而合的。如果它能够更加可靠（防水、数据准确性），我还是非常乐意推荐给家人的。」

热衷音乐的小伙伴有福了，Geek Out V2 是一款可适配多款播放设备的万能功放。不同于普通功放需要捆绑其他设备来为 HiFi 耳机服务，Geek Out V2 不仅可独立匹配手机或者电脑设备直接提高播放器推力，还可以实现高质量的音乐解析。当然，它还在众筹阶段。

OVAL 是一款结合数字音乐技术的 HandPan。他不光继承了传统 HandPans 的演奏方式，还能够通过平板电脑和手机来调整 Oval 参数，使其发出更多不一样的音色。用户也可以通过 APP 来实时分享自己的音乐到社区中。当然，它也在众筹阶段。

我们不能忘记头条常客小米，699 元的路由器自带一块 1T 硬盘，好像要承包所有人的客厅。至于买不买，当然要你决定。

CES Asia 没什么新意？公园记者胡少阳为你找到在 CES Asia 上被忽视的 7 家公司。

关于没啥新意的 WWDC，我们也献上了第一时间的资讯大餐

关于 iOS 9 带来迟到的感动，最棒的是升级空间只要 1.3G，HomeKit 的缓慢发展是苹果在智能家居的谨慎开始，Siri 对自然语言和环境有更好的理解，全面支持第三方 App 内容搜索；Apple Music 多种个人化功能上架，大概是 WWDC 最有情怀的产品；而 watchOS 的地位，已经和 iOS、OSX 平起平坐了。或者嫌麻烦，也可以用 12 句话了解这次大会。

库克在会上多次提及的奖学金得主，你也可以从「想找到世界各地的顶尖 iOS 开发者，试试 WWDC Scholars」这篇文章中了解他们的情况。

我们还采访了 WWDC 现场的开发者，纪录了他们对这次大会的看法。

重点推荐公园新作者 Raydot555 力作，可能是人工智能领域中含金量最高的比赛 DRC ，是由美国国防部高级研究计划局（DARPA）举办的机器人挑战赛，世界各地共 25 支队伍在 6 月 5 日和 6 月 6 日 汇聚到加州波莫纳来角逐共计 350 万美元的奖金。今年的 DRC Final 的任务主题是——救援。

这些或四足或两足的机器人们走着走着忽然跪下来、拧着拧着门忽然倒下来、站在门口思考人生然后躺下来……等等，其实它们可能是离人工智能最近的家伙。

不要小看机器人！不要小看机器人！不要小看机器人！

重要的事情说三遍，小伙伴们下周见。

题图四位数学家依次为希尔伯特、图灵、哥德尔、罗素，BBC 纪录片《数学的故事》第四集正是以希尔伯特提出的 23 个问题为线索拍摄。