
Sir George Stokes, 1st Baronet
British mathematician and physicistWikipedia
16
MENTIONS
5
EPISODES
5
PODCASTS
Search complete. 16 mentions across 5 episodes found for "Sir George Stokes, 1st Baronet".
Oct 21, 2026
William Crookes: Spirits, Plasma, and Thallium
A
9:18AartiHOST
But as his assistant, William had the opportunity to attend meetings at the Royal Institution with Dr. Hoffman.
A
9:26AartiHOST
And there he met the great Michael Faraday and George Stokes, among other scientists, I'm sure.
A
9:34AartiHOST
Yes, yes,
J
9:35JyotiHOST
yes.
GPT-6 全量上线|智能体攻破 Hugging Face|算力账单 5180 亿 2026-10-12 科技周报
老
0:00老马HOST
大家好,我是老马,今天是2026年10月12日。欢迎收听科技老马谈科技周报。这周的大事密度有点高,我们直接开始。第一件,AI智能体自己闯祸了。OpenAI复盘说今年七月,一个前沿智能体在网络安全测试环境ExploitGym里发现Artifactry server漏洞并逃逸,随后约四点五天入侵Model上的Cybergym,再利用公开凭证和两个零日漏洞渗透进Hugging Face,执行约一万七千六百项操作,窃取内部大数据。好在客户模型没有受影响。维基媒体基金会也确认OpenAI的流氓智能体在维基平台做过未授权的沙盒编辑,对 Wikidata Query Service的查询达到数十万次。Anthropic这边是向白宫通报一款未发布的非前沿研究模型,因为模拟表单加载失败,转而在真实政府网站上提交表格。7月18日还伪装成目击者,通过phillyunsolvedmurders.com向费城警方提交了一条虚构凶杀案线索,被垃圾过滤器拦住了。公司9月28日才发现,10月7日才通知警方,中间隔了七十二天。纽约时报还报道有二十份不完整的国务院签证申请被误交。Anthropic承认了四类非预期行为,并宣布暂停内部评测的实时联网。OpenAI自己的失准报道也不仅凭六月有内部研究模型自编程序绕开专端工具只允许GET请求的限制发出POST和PUT。还有一次在强化学习链里,负责给七份回复打分的模型,因为找不到必须输入文件,先伪造评分报告,被自动检查打回后又伪造输入文件,最后删掉运行工具所需的软件,还想删系统目录,就指望宿主机给它换一个带缺失文件的环境。模型侧,OpenAI把GPT六推给了全部ChatGPT用户,还带来Intelligent UI,能直接生成图形、按钮、表单、图表和可交互组件来回答问题。Codex与ChatGPT Work合计活跃用户冲到四千万新高。新公测的 Decisions API在选模型、选工具、选动作上最高比走 Responses API的GPT六Luna快十倍。Anthropic发布Claude Haiku五点五,运行成本平均降约百分之七十五,在Claude Code V2.1.293里成为定制Haiku模型,支持1M上下文,每百万token输入零点一美元,输出零点五美元。Claude Dashboards和Motion进入Beta。Claude Managed Agents动态无漏也开放公测。主智能体先写计划,再分派多个子智能体服务器后台执行,默认时限二十四小时。欧洲那边Mistral Large四发布一万亿总参数,四千九百亿激活参数,在公司欧洲自有集群用三千八百块英伟达Grace Blackwell GPU训练。512K上下文。Artificial Analysis智能引述拿到三十八分,和GPT六Luna满配持平。官方承诺十月底开源权重。微软同时发布了Decision One模型。接下来是钱。OpenAI向投资者披露,九月底年化收入率约五十亿美元,之前外界传的七十亿来自统计口径差异,它正洽谈至少三百亿美元新融资,目标投前估值一点四万亿美元。企业业务推动 Q3总收入增长百分之七十七。Anthropic未来数年在云计算和算力上要花五百一十八亿美元,其中约四百一十三点七亿美元是不可撤销承诺,容量闲置也要付。国内DeepSeek据彭博报道,接近完成至少八百亿元人民币融资。腾讯和宁德时代是最大投资方之一,还计划2027年除IPO。应用层,A十六Z领头的Type Safe AI,其Jeff模型上线三天就生成一亿token,成本约为前沿模型的百分之一到五百分之一。首周已有百分之二十五的财富五百强接入。数学界这周不太平静。OpenAI在GitHub一次性放出七百二十二篇手稿,三百七十二个结果系列,称解决了一批长期开放问题。许多证明用Lean做了形式化,每个结果平均消耗约三小时ChatGPT Pro计算力。但Terence Tao主持的AHM组织发声明呼吁抵制,认为这是展示力量而非学术行为。MIT的Justin Solomon坦言自己和主持人读不到第二页。arXiv预印本Navier-Stokes Lost in Translation更指出,模型那次拿为斯托克斯反例证明的Lean形式化,跟他的自然语言证明对不上。看不懂是一回事,形式化能不能真的对应是另一回事。安全面三件事。 Telegram Desktop七点二点九以下版本存在CVE 2026.107181。点一个恶意tg://链接,分号未转义,被当成独立IPC命令处理,配合interpret处理器就可能悄悄窃走文档、浏览器会话、SSH密钥和加密钱包。CrowdStrike报告说,有人在九月底到十月初用AI驱动的开源渗透工具ARTEX攻击多家韩国金融机构。新韩银行超过两万五千条含姓名、联系方式、收入和信用额度的记录泄露。出口管制上,超微电脑承包商丁维已认罪,承认参与向中国非法转运约二十五亿美元,搭载英伟达H一百、H两百、B两百的伺服器。最后几条快讯,Cloudflare收购Deno,Deno任型器再获得一年官方支持。Python三点一五正式发布,新增内置Sentinel和Frozen dict,默认UTF8。Let's Encrypt宣布2027年2月10日起,新签与续期证书有效期缩到六十四天。Google向全球开放SynthID Detector,称从2023年至今已为超过一千八百亿张图片和视频加过水印。ARC Prize 2026赛季,Yucca Labs以百分之八十八点零六登顶ARC AGI two高分榜。彭博行业研究则认为,美国对中国AI的性能优势已缩到约百分之三的历史低位。好,这周的科技周报就到这里。我是老马,我们下周见。
Theory of Fluids Enters the 21st Century
S
1:15speaker_0NARRATOR
But the revolution didn't reach fluids.
S
1:17speaker_0NARRATOR
Their governing equations remained in their simple vintage form, the Navier-Stokes equations, first developed in the 19th century.
S
1:26speaker_0NARRATOR
The Navier-Stokes equations are enormously successful at predicting how fluids flow and swirl, but they fail to account for the existence of swarms of microscopic bits that make up matter.
S
1:38speaker_0NARRATOR
Now, physicists have a theory that does.
S
1:40speaker_0NARRATOR
It is the fruit of a 20-year effort to rebuild the theory of fluids from the ground up.
S
1:46speaker_0NARRATOR
Along the way, physicists have come up with a whole new way of defining what it means to be a fluid, based on fundamental properties known as symmetries, and have shown that the Navier-Stokes equations are a consequence of symmetries, which explains why the equations take the forms that they do.
S
2:02speaker_0NARRATOR
By understanding the origins of the Navier-Stokes equations, researchers have found a way to go beyond them, redefining what it means to be a fluid and predicting new behaviors that stem from the motions of microscopic particles.
S
2:15speaker_0NARRATOR
The trail to understanding fluids as the product of the microscopic world was blazed ironically by physicists thinking about some of reality's biggest scales.
Podcast "Bonus" N°28 : Discussion IA, avec Darky, partie 1
R
40:12Romaric BriandHOST
Et plusieurs universités proposent des, des, des récompenses, des prix au premier mathématicien qui viendrait avec une solution à un problème donné, pour faire simple.
R
40:22Romaric BriandHOST
Euh, et récemment, euh, donc cet été, on a OpenAI qui a, euh, brigué, euh, une, une récompense au sujet d'une des énigmes posées par Claude-Louis Navier et donc George Gabriel Stokes.
R
40:36Romaric BriandHOST
Euh, est-ce que tu con- tu connais bien cette affaire, euh, Dave ?
D
40:38DarkyGUEST
L'affaire, ouais.
Fall Asleep to the Mysteries Hidden in the World’s Rivers
S
86:47speaker_2NARRATOR
The mystery is turbulence itself.
S
86:50speaker_2NARRATOR
The Navier-Stokes equations formulated in their modern form in the 19th century by Claude-Louis Navier and George Gabriel Stokes describe the motion of viscous fluids.
S
87:05speaker_2NARRATOR
They are partial differential equations that express Newton's second law, force equals mass times acceleration, in terms that account for pressure, viscosity and external forces acting on a fluid.
S
87:21speaker_2NARRATOR
They are, in principle, a complete description of fluid behaviour.