#数学

IT

AI闯入数学界后，人们才懂柯洁的处境

AI开始“卷”数学：Lean成了大模型的新考场，但离RSI还很远人们曾把柯洁视为AI冲击人类的样本；如今，数学家也被推到相似的处境。OpenAI近期在数学形式化方向密集动作，引发…

万能的Siri
2026年11月4日
1.3K
IT

北大90后王虹斩获菲尔兹奖，韦东奕曾连续多日旁听其讲座

北京时间7月23日晚，2026年菲尔兹奖正式揭晓。王虹与邓煜同时摘得这一数学领域的最高荣誉，后者获奖的消息同样令学界振奋，但今天的主角，无疑是王虹——这位1991年出生的广西姑娘，…

万能的Siri
2026年7月24日
3.5K
IT

享年95岁！美国GPS之母去世：本人从不用GPS

如果今天你的手机导航能精准地将你带到那个藏在巷子深处的咖啡馆，你最该感谢的人之一，刚刚离开了我们。 1月22日，被誉为“GPS之母”的美国数学家格莱蒂丝·韦斯特（Gladys We…

IT小埋
2026年1月22日
6.5K

DeepSeek发布全家桶应用API
2026年11月13日下午10:37
Share to:

又是一件科技圈的标志性事件，大家怎么看？11月13日，DeepSeek正式开放了全家桶应用API。现在，只要在原有的API中开启相关参数，就能解锁深度思考搜索、文件上传等对话功能；语音及底层能力（包括OCR、ASR、TTS）也以独立接口形式开放，支持单独调用或自由组合。开发者们可以轻松在自己的应用中搭建复杂的对话场景，甚至一比一复刻出完整的DeepSeek App体验。#大厂科技动态#
【报道称SpaceX裁撤Grok Imagine视频团队约60名员工，仅留少数人员维持产品】
2026年11月13日下午10:18
Share to:

科技圈又有动静了。11月13日有消息说，SpaceX旗下的AI团队上周裁掉了大约60人，这些人是专门负责Grok Imagine图像和视频生成工具的，只剩几个留守维持。这个工具现在还能用，但没了主力团队，后面怎么发展有点悬。知情人士透露，马斯克的xAI现在把重心转向了AI编程工具和Grok Bot智能体产品。看来图像生成这股劲儿先放一放了，不知道Grok Imagine还能撑多久。#大厂科技动态#
Anthropic：已部署修复方案以解决Claude认证问题
2026年11月13日下午8:05
Share to:

又是一件科技圈大事，大家怎么看？

11月13日有消息说，Anthropic的状态页面更新了动态——之前有用户登录Claude.ai和Claude Code时卡在认证环节，现在团队已经搞定了修复方案，正在盯着系统慢慢恢复。（广角观察）#大厂科技动态#
腾讯混元：发布全新实时语音模型Hy Realtime
2026年11月13日下午7:46
Share to:

又是一件科技圈的大事，大家怎么看？11月13日，腾讯混元推出了一款叫Hy Realtime的实时语音模型。官方说法是，这个模型在语音理解、指令执行和拟人化表达这些基础对话技能上表现挺不错，还额外加上了Agentic工具调用和唱歌的功能。眼下，Hy Realtime已经在元宝语音通话、腾讯客服这些产品里跑起来了，过几天也会登陆腾讯云，对外提供API接口。#大厂科技动态#
谷歌发布Gemini 4 Hydrogen
2026年11月13日上午7:24
Share to:

又一件科技圈大事，大家怎么看？11月13日，谷歌悄悄扔出一枚新炸弹——Gemini 4 Hydrogen。相比Gemini 3.8 Flash，新模型在高推理档位下把任务完成速度拉到了2.5倍，Terminal-Bench 4.1测试得分从18.2%飙升到57%，那些爱编故事的“幻觉”也大幅收敛。Gemini应用的免费用户不用操心，系统会自动挑模型，碰到合适的提示词就悄悄切换到Hydrogen上阵。这个模型能吞下100万词元的输入，还能吐出同样规模的内容，API价格也很直白：每百万输入词元1.50美元，每百万输出词元7.50美元。除了模型本身，谷歌还搬出了个叫Orchestrator的新功能，能在不同模型间灵活派活，堪称AI界的“调度大师”。#大厂科技动态#
OpenAI据悉以1.25万亿美元估值融资150亿美元
2026年11月12日下午11:06
Share to:

又是一件科技圈的大新闻，各位怎么看？11月12日，有消息曝出，OpenAI正以1.25万亿美元的惊人估值，计划融资150亿美元。#大厂科技动态#
【英伟达宣布CEO黄仁勋辞职，CFO科莱特·克雷斯出任临时CEO】
2026年11月12日下午10:28
Share to:

又是一件科技圈大事，大家怎么看？

最近科技圈又爆出一条消息，虽然不算炸裂，但也够让人琢磨一阵子。事情是这样的，有媒体曝出，某家曾经风头无两的“AI四小龙”成员，如今过得有点“拧巴”。

简单说，当年一起出道搞计算机视觉的几家明星公司，如今有的忙着上市，有的忙着转型，有的则在默默消化过去几年疯狂扩张的“后遗症”。而这家公司最新的动向是，他们把曾经捧在手心里的一个重要业务——AI教育产品线，给“外包”出去了，交给了另一家专门做教育信息化解决方案的公司。

这操作表面上看，是及时止损，把不赚钱的包袱甩掉，让专业的人干专业的事。但往深了想，说明这潭水比外界看到的还要深。要知道，他们以前可是在财报和发布会上，反复强调教育场景是AI落地的重要阵地，是To B业务的增长引擎之一。现在把引擎拱手让人，要么是这引擎太耗油，拉不动整艘船；要么是船体漏水太严重，得先把能卸的货都扔下去减重。

更有意思的是，接盘方也算不上什么大富大贵的主儿，更像是同行之间的“物资调剂”。这背后折射出的，是整个AI视觉赛道从“讲故事、抢风口”到“算利润、熬血条”的残酷转变。大家不再比谁的朋友圈更豪华，谁的白皮书写得玄乎，而是比谁能更体面地活到下一个春天。

这出戏码，不知道其他几位“小龙”看了，心里是在盘算着“幸亏不是我”，还是在默默检查自己的船舱里，还有几个这样的“发动机”在漏水。#大厂科技动态#
Meta与供应商签署长期采购协议，推动数据中心供应链低碳制造
2026年11月12日下午8:35
Share to:

又是一件科技圈大事，大家怎么看？11月12日，Meta宣布与多家供应商签下长期采购大单，涵盖低碳水泥、近零排放钢材、电动卡车运输和再生塑料等领域，目标是推动数据中心供应链上下游向低碳制造转型。具体来看，Meta与Sublime Systems达成多年合作，助力至少18万吨低碳水泥的生产；与瑞典钢铁企业Stegra签下多年协议，支持近零排放的原生钢材制造；还与MacroCycle Technologies达成长期合同，计划在美国东南部建一座商业化工厂，年产量可达5000吨高价值再生PET。Meta方面表示，这些多年期承诺意在为供应商提供稳定的收入预期，从而推动低碳技术从实验室走向规模化落地。（广角观察）#大厂科技动态#
Humanlaya发布亿元专家招募计划，覆盖金融、医疗等领域
2026年11月12日下午7:38
Share to:

又是一件科技圈的大新闻，大家怎么看？

11月12日，前沿AI数据实验室Humanlaya悄悄启动了“攀登者计划”——一个有点壕、也有点野的招募项目。他们打算砸1亿元，专门招募金融、医疗、工业、法律这些领域的实战派专家。更让人侧目的是，公司还承诺给这些专家“不限量Token”，用于跑研究项目，并且可以根据实际贡献在论文和成果中署名。#大厂科技动态#
【摩根大通：到2030年美国人形机器人产量将达30万至40万台】
2026年11月12日下午7:19
Share to:

又是一件科技圈的大新闻，不知道各位怎么看？
11月12日，摩根大通给出了最新预测：随着人形机器人从“展厅秀”走向“真干活”，到2030年，美国的人形机器人产量有望达到30万到40万台；到了2035年，这个数字更可能冲上150万台。
劳动力短缺、成本下降、产能爬坡，这些因素正叠加推动制造业、物流和仓储企业加速引入人形机器人，来顶替那些重复又枯燥的人力岗位。
但别急着下结论——大规模商用还有不少坎要迈，比如硬件瓶颈、AI训练数据不足、算力吃紧，以及产能跟不上野心。目前除了特斯拉，大多数美国厂商的年产量目标也就1万到3万台。（广角观察）#大厂科技动态#