热门APP

记者为取证吃到吐
陶哲轩坚信，我们正处在一个相变 phase transition的前夜。就像当年LaTeX取代所有其他排版工具一样，随着AI助手的不断进化（例如提供更智能的代码补全和引理搜索），将证明形式化的成本与收益之比正在迅速变化。
下载
好的一次性内裤有两个标准
陶哲轩: 是的，爱因斯坦曾有类似的引述，宇宙最不可理解之处在于它是可理解的。对。而且不仅仅是可理解的，你可以建立一个方程，实际上对此存在某种数学上的可能解释。因此，在数学中存在一种称为普适性的现象。因此，许多宏观尺度上的复杂系统源于微观尺度上大量的微小相互作用。通常，由于常见的复杂性爆炸形式，您会认为宏观方程必定比微观方程复杂无数倍。如果您想完全精确地求解它们，它们确实如此，就像您想模拟一盒空气中的所有原子一样，阿伏伽德罗常数是庞大无比的。粒子数量庞大。如果您真的要追踪每一个粒子，那将是荒谬的。然而，某些定律在宏观尺度上涌现，它们几乎不依赖于微观尺度上发生的事情，或只依赖于极少数参数。因此，如果您想模拟一个箱子中百京个粒子构成的气体，您只需知道它的温度、压强、体积和少数几个参数，比如五六个。它几乎模拟了您需要知道的关于这些10^23个或其他数量粒子的一切。
下载
记者为取证吃到吐
商用车领域同样动作频频。前不久，上海首个兆瓦级超充站“交通强国1号站” 投运，华为带来的全液冷兆瓦级超充，充电电流高达2400A，补能效率比传统方案提升近4倍，每分钟可补能约20度电。仅需15分钟即可完成一次完整充电，补能效率接近燃油车水平。
下载
一次性内裤爆雷
陶哲轩: 因此，普适性并非百分之百可靠的依据。全球金融危机就是其中一个著名的例子。人们认为抵押贷款违约具有高斯型行为，即如果你调查10万拥有抵押贷款的美国人，就能知道他们中有多少比例的人拖欠抵押贷款。如果一切都是不相关联的，那么就会呈现钟形曲线，你就可以利用期权和衍生品等工具来管理风险。而且这是一个非常优美的理论。但是，如果经济中存在系统性冲击，导致所有人同时违约，那就是非常典型的非高斯行为了。而这一点在2008年并未得到充分考量。现在我认为人们对这种系统性风险实际上是一个更大的问题有了更多的认识。仅仅因为模型看起来很美观、很理想，它可能并不符合现实。
下载
王力宏方否认烧毁百万级古董钢琴
亿纬锂能也在重卡领域推出了兆瓦级电池LF230P-453kWh等4款产品，分别对应短倒运输与干线物流等不同运营场景。根据亿纬锂能提供的相关信息，其即将量产的下一代“兆瓦级”453kWh电池新品仅需18分钟即可完成10%至80%的电量补给，配合1500kW超充技术，每年可为用户节省大量充电时间，创造超过5万元的运营增收。
下载
又一个被女儿送进去的反派
另一边德国国防部长皮斯托利斯再次在到访乌克兰时表示，不会向泽连斯基政府提供堪称进攻性的“金牛座”导弹，但德国依然支持乌克兰用军事手段抗俄；
下载
二级演员公款旅游被撤职
有报道称，虽然美方宣称未参与以色列行动，但难逃干系。在袭击发生后，特朗普再次呼吁伊朗和美国就伊核问题达成协议。
下载
二级演员公款旅游被撤职
陶哲轩: 数学家将此形式化的方法是：数学找到了一个形式体系，可以理想化地将某个极其大或极其小的量，精确地变为无穷大或零。通常，当你这样做时，数学会变得简洁很多。在物理学中，我们开玩笑说假设球形奶牛。现实世界的问题存在各种实际效应，但你可以将其理想化，将某些量推向无穷大，将另一些量推向零，这样数学处理起来就会简单得多。
下载
宋祖儿竟然有这么多待播剧
经湖北省纪委常委会会议研究并报湖北省委批准，决定给予张桂华开除党籍处分；按规定取消其享受的待遇；收缴其违纪违法所得；将其涉嫌犯罪问题移送检察机关依法审查起诉，所涉财物一并移送。
下载
武契奇回应塞尔维亚首都爆发大规模抗议
在长沙五一商圈，今年6月新开业的“酋长码头”南非商品线下品牌集合店让人眼前一亮。公司相关负责人表示，“酋长码头”将非洲文化与电商元素相融合，致力于构建集选品、供应链、营销于一体的生态平台，将非洲优质的葡萄酒、茶叶、护肤品等产品，通过线上与线下渠道引入中国市场，让消费者能便捷地接触非洲原产地直供商品。
下载

晚会
在上个月举行的一加 Ace 5至尊系列新品发布会上，一加公布了“一加 X 雪王主题系列配件”，该系列配件有移动电源、磁吸能量卡、散热背夹可选。IT之家查询发现，以下产品均为 6 月 17 日 20:00 在 OPPO 商城独家发售：
下载
白鹿王星越眼神
至此法比安-鲁伊斯已经在他最近8场代表巴黎圣日耳曼出场的比赛里打进3球，这已经追平了他本赛季前47次出场打进的进球数。
下载
陈幸同王曼昱
指挥部传输关键情报：对抗“迷雾”的核心在于精准识别“特征”！创客需化身“特征猎手”，学习从海量数据中提取关键信息，并训练ai识别模型。
下载
全棉时代回应
有了政府和商业两个层面的广泛合作，学术交流、人才培养、航天科普和教育、国际合作协调等各个层面的航天合作自然也会滚动起来。这样的合作，就是我们期望的全面合作。当中国和包括拉美在内的全球南方深度融合，美国通过脱钩达到孤立中国的企图就无法实现。而拉美则可以搭上中国这列快车。这是双赢的结果。
下载
韩媒再为金秀贤发声
陶哲轩: 是的，他有点特立独行，即使在那些倾向于持有某种理想主义观点的数学家中也是如此。我从未见过他。我想我有一天会很想见他，但我从未有过机会。我认识见过他的人，他对某些事情总是有着强烈的看法。他并不是完全与数学界隔绝。我的意思是，他会做讲座，写论文等等。但在某个时候，他就是决定不与社区的其他人打交道了。他心灰意冷了或者别的什么。我不知道。然后他决定隐退，到圣彼得堡采蘑菇或者别的什么。那没关系。你可以那样做。我的意思是，那是事情的另一面。我的意思是，我们解决的很多问题，其中一些确实有实际应用，那很棒。但如果你不再思考一个问题……所以他从那时起就没在这个领域发表过任何东西，但那没关系。还有很多很多人也这样做了。
下载
嘘国王在冬眠
每一位父亲，无论对错，无论是否被子女理解，都尽了自己为人父的最大心力，这一轮的比较，徐爸爸即便不如梁爸爸，也是一位值得尊敬的好父亲。
下载
赛琳娜低价出售男友送的钻戒
特朗普在文件中列出了11笔未偿债务，包括作家简·卡罗尔（E. Jean Carroll）就性侵诽谤诉讼赢得的两项赔款裁决，以及刑事欺诈案34项重罪判决产生的债务，这些债务因特朗普提起上诉已暂停执行。
下载
国内航线已取消航班余架次
商业航天方面，阿根廷Satellogic公司是拉美的佼佼者。这家公司成立于2010年，计划建立一个200颗低轨卫星组成的低价对地观察星座，使用50公斤级小卫星获取0.5米高分辨率及150公里幅宽的低分辨率图像。到目前为止，它已发射50颗卫星，其中前八颗采用中国火箭发射，后续订单全部交给了SpaceX。该公司被普遍看好，目前已在纳斯达克上市。
下载
好想来檀健次
在陶哲轩的数学观中，存在一个反复出现的核心主题，一个深刻的二元对立：结构（Structure）与随机（Randomness）。他认为，数学中绝大多数对象，比如圆周率的数字，看起来都是随机的，不具备任何明显规律。然而，数学家花费大量精力研究的，往往是那些罕见的、具有优美结构的对象。而数学中最深刻、最困难的问题，恰恰诞生于这两股力量的交汇处。
下载
三胞胎齐放飞奶奶血压已飙升
一年一度的父亲节如约而至，娱乐圈的爸爸们也在这一天被子女的爱包围着。可是，有的爸爸过父亲节收获的是满满称赞声，有的爸爸过父亲节却收获了满满的骂声，比如尔冬升。
下载