从低空出发，看航空制造国产替代的一线样本｜OpenTalk回顾
10月27日，36氪举办了以「从“卡脖子”到自主可控:航空制造国产替代进行时」为主题的OpenTalk直播活动，邀请蓝霄航空创始人兼CEO王刚、吉太航空科技总经理孙鹏、二零八先进科技创始人兼总经理王飞作为分享嘉宾，就航空增程器自主研发、智能航电系统架构、惯性导航技术发展等话题展开了深入分享，并与观众进行了在线互动。
「聚焦太空内生价值」，算力上天的中国路径与现实切口｜OpenTalk回顾
8月26日，国务院新闻办公室举行新闻发布会，工业和信息化部介绍“十五五”时期加快推进新型工业化有关情况。会上明确，未来五年将加快打造航空航天、低空经济等新兴支柱产业，加快新一代通信网、算力网规划建设，加强6G技术研发。商业航天与算力基础设施的政策信号再一次密集释放。
难评！OpenAI刚官宣的NS方程大突破，被数学家手撕了…
数学史级别的大新闻，愣是被OpenAI整成了一出连续剧。刚被数学家指控抢成果，OpenAI紧急官宣:一个尚未发布、能力显著超过GPT-6 Astra的内部模型，已经解决了纳维–斯托克斯存在性与光滑性问题。
难评，OpenAI刚官宣的NS方程大突破，被数学家手撕了……
数学史级别的大新闻，愣是被OpenAI整成了一出连续剧。刚被数学家指控抢成果，OpenAI紧急官宣:一个尚未发布、能力显著超过GPT-6 Astra的内部模型，已经解决了纳维–斯托克斯存在性与光滑性问题。
OpenAI这是拿千禧年难题当Benchmark刷啊。。。
《纽约时报》最新追访，补出了这场冲突中此前没有披露的细节。其中最关键的一条，是OpenAI更新了关于用户数据的说法:Buckmaster过去两个月的Codex提示词，绝不可能以任何方式影响内部模型。
从“卡脖子”到自主可控：航空制造国产替代进行时｜OpenTalk直播预告
航空制造高度集成先进材料、精密制造、机载系统与适航认证能力，产业链长、协作密度高，既是检验高端制造体系的综合考题，也是带动上下游产业链升级的重要引擎。
触乐怪话：有点想念内森·德雷克
触乐怪话，每天胡侃和游戏有关的屁事、鬼事、新鲜事。严重怀疑是病在某游戏的关键大版本节点！
太空算力的中国长跑：趋势、路线和解法｜OpenTalk直播预告
全球算力需求正呈指数级增长，但地面数据中心面临电网容量、散热效率、土地与水资源消耗等多重瓶颈。在此背景下，将计算资源部署到近地轨道，正从一个科幻命题变为被认真讨论的产业方向。
Claude狂写1.8亿行证明，挖出数百个bug
偶买噶，1.8亿行证明啊，Claude几周就写完，还一口气挖出数百个bug！就在今天，Anthropic官方发文：他们的「前沿红队」（Frontier Red Team）联手一家专做软件安全证明的公司Theorem，发布了一项新研究。