热门APP

东部战区今天对台演练为何公布代号
这种所谓的女权，其实就是“伪女权”，本质上依旧难以摆脱视角的局限性，让女主沦为争夺票房热度的工具人，很难有说服力。
下载
北京北站破例为名学生开东门
跟踪苹果产业链多年的天风国际证券分析师郭明錤提醒称，“当前AI产业进展正在加速中，苹果如果不加大投资，跟竞争对手的差距可能会扩大。”
下载
男子将养女掐死后扔进水库
新建丽水机场工程位于浙江省丽水市莲都区南明山街道上沙溪村附近，距市中心直线距离15公里，海拔高程162米。丽水机场定位为国内支线机场、旅游机场，飞行区等级为4C，本期按年旅客吞吐量100万人次、货邮吞吐量4000吨的规模设计。
下载
唐宫奇案
由于对Llama大模型的开发成果不满，扎克伯格被曝亲自下场组建新的“超级智能小组”；据称公司已经向多家知名AI公司的研究员开出“7至9位数”的薪酬包。
下载
雷军捐资亿成立守护资金消息不实
近日，LABUBU火遍全球。红星资本局此前报道，6月10日，在永乐2025春季拍卖会上，一款初代藏品级薄荷色的LABUBU最终以108万元的落槌价拍卖成交。拍卖直播备注栏标注，这是香港艺术家龙家升作品，尺寸为高131cm，是“全球唯一一只”。另一款全球限量15版的棕色LABUBU也拍出82万元高价。
下载
极挑男人帮张艺兴新片首映合体
陶哲轩: 好的，这是一个关于弯曲空间的问题。地球就是一个很好的例子。所以地球，你可以将其视为一个二维曲面。而只是在上面移动，你知道，它可能是一个带有一个洞的环面，或者它可能有许多洞。而且一个曲面先验地可以有许多不同的拓扑结构。即使你假设它是有限的、光滑的等等。所以我们已经弄清楚了如何分类曲面。初步近似地看，一切都由一种称为亏格的属性决定，即它有多少个洞。因此，球体的亏格为零，环面的亏格为一，以此类推。
下载
大风到北京城区了
公司表示，未来将持续探索AI Agent能力的上限与智能体服务应用的广度，以AI-Agentforce中台作为企业未来的“数智员工”，助力企业跨越边界限制，与AI Agent共同高效完成各类复杂任务，进而对传统工作模式产生颠覆性变革，为千行百业的效率提升注入强劲动力，并深度挖掘出更多隐藏于行业场景中的应用价值。
下载
郑乃馨吐槽中国厕所脏
5月16日，欣旺达又发布名为“闪充电池4.0”的系列电池产品，其中一款主打超充的动力电池可实现12C的峰值充电倍率，一分钟即可补能150公里。
下载
孤独症男孩因高颜值走红妈妈发声
在学习、考核、筛选后完成进阶，考核成绩前百名创客将成为首批研究员，参与青少年科技创新研究院未来科创项目课题研究。
下载
脱口秀节目讽刺美关税政策朝令夕改
【城主说】陶哲轩被誉为当今世界最天才的数学家，“数学界莫扎特”，。这位菲尔兹奖与数学突破奖得主，其工作的广度与深度常被拿来与百年前的巨人希尔伯特相提并论。然而，在一个人工智能以前所未有的速度渗透进人类智力活动最前沿的时代，即便是陶哲轩这样的大脑，也在重新思考数学的本质、证明的形态以及未来的研究范式。
下载

美因海关系统故障暂未征收关税
陶哲轩: 很多数学家参与了Lean的设计。它的设计宗旨是让每一行代码都类似于数学论证中的每一行。你可能想引入一个变量，你可能想证明一个矛盾。有各种你可以做的标准操作，而且它的编写方式是理想情况下应该像一一对应。实践中并非如此，因为Lean就像是给一个极其吹毛求疵的同事解释一个证明，他会指出，好吧，你真的是这个意思吗？如果这是零怎么办？你如何证明这一点？
下载
华人大妈持菜刀与警方对峙被击毙
陶哲轩: 是的，是的，是的。所以，复数意义上的人类，原则上在其表现良好时，拥有比所有个体人类总和多得多的智能。它也可能整体上更少。好的，但是，复数意义上的数学共同体是一个极其超级智能的实体，任何单个数学家都无法望其项背。你在这些问答和分析网站上能看到一些。比如有 Math Overflow，它是 Stack Overflow 的数学版。有时你会看到社区对非常困难的问题给出非常迅速的回复。实际上，作为一名专家，这令人赏心悦目。
下载
胡歌老婆
如今，一些令人担忧的研究模式正在肆虐，比如一个主要的有限元研究玩家（如 OpenAI）发表了一篇新论文（如 4v、r1、grpo、o1、4o），接着便会出现大批的追随者以及相关论文，每个人都争相就同一个主题发表论文。
下载
无忧渡开播
陶哲轩: 我认为，作为一名博士生，柿谷问题无疑引起了我的注意。事实上，它刚刚被解决了。这是我在早期研究中大量涉猎的一个问题。从历史上看，它源于日本数学家柿谷宗一在大约1918年提出的一个小谜题。
下载
正告台独势力
林依晨结婚10年，婚后丈夫长期定居美国，他们基本上不太见面，口罩时期他们一年也见不到几次。婚后林依晨还跟公婆同住，无论工作多晚永远第二天早上6点起床跟公公问安，还要做早饭，然后恭送公公上班。
下载
战胜焦虑的秘诀其实就是两个字
刘同学：我上面还有一个哥哥，我爸和我哥都在外面打工，家里就我和我妈。妈妈快60岁了，妈妈生我的时候年纪比较大了。高考前她对我说，别的妈妈都去陪考了，需要妈妈去陪你吗？我说，我非常勇敢，一个人可以的，我就让她在家做自己的事情了。
下载
外交部回应美欧日等指责中方联合演训
美团闪购“618”开门红据显示，1919酒类超市成交额破亿元，同比增长近80倍；歪马送酒成交额破亿元，增长超9倍；物美超市、天虹超市等商超渠道酒类成交额突破千万元。
下载
岁女孩长期食用腌制菜确诊胃癌
宋威龙出道的起点还挺高的，一开始就在欢娱，资源相当不错。刚出道不久就能够出演主角了，《我与你的光年距离》这部小网剧，当年也都是小范围出圈的。还有就是《凤囚凰》，这部剧当年的选角也是引发了讨论了，最后男主落到了宋威龙身上。可惜的就是，于正的审美了，浪费了宋威龙这么高的颜值。
下载
韩安冉说和殷世航是假玩
中国科学院院士、清华大学计算机系教授胡事民表示，国产芯片格局已基本明朗，高端芯片与美国仍有较大差距。而算法和模型优化能够实现卓越的性能提升，能够弥补国产算力不足，但原始创新仍然需要加强。
下载
虞书欣飞猪
但是，“主权AI”带来了世界各国认同的同时，造成了世界各国对主权AI过度的守护，形成了认识主权AI概念和提升主权AI能力的实践复杂性。
下载