AI破解六维球面数学谜题正成新风口
一个六维球面能否用复数（包含看似不可能的负一平方根）完整描述？这个由德国数学家海因茨·霍普夫（Heinz Hopf）在1947年提出的问题，悬置了近80年。如今，Anthropic公司的数学家莱文特·阿尔珀格（Levent Alpöge）借助人工智能，似乎给出了肯定答案——尽管结果尚未被完全验证。这已是他继雅可比猜想、发现两条新椭圆曲线之后，用AI攻克的又一开放数学问题。某些几何对象（如生活在三维空间中的二维规则球面）拥有"复结构"，即可以简洁地为球面上每一点指定一个不同的复数。其优势在于，相比通常的"实"数，可用于复数的数学工具多得多，使某些计算更易处理。球面复结构用途深远，例如把表面上复杂丑陋的方程与简单的多项式方程联系起来。在1947年的论文中，霍普夫提出：更高维的球面呢？他证明了高维球面没有复结构，却唯独无法证明一种情形——六维球面。此后数十年，众多专家正反两方面的证据交锋，却无人能给出证明。阿尔珀格使用Anthropi......阅读全文
AI破解六维球面数学谜题正成新风口
一个六维球面能否用复数（包含看似不可能的负一平方根）完整描述？这个由德国数学家海因茨·霍普夫（Heinz Hopf）在1947年提出的问题，悬置了近80年。如今，Anthropic公司的数学家莱文特·阿尔珀格（Levent Alpöge）借助人工智能，似乎给出了肯定答案——尽管结果尚未被完全验证。这
为何AI验证数学证明引发关注？
为何AI验证数学证明会引发如此广泛的关注？答案在于：一群研究者刚刚用人工智能系统，自动形式化验证了数论中被称为“246定理”、与素数相关的艰难证明——这是人类知识边界上最前沿的一块拼图。这被视为AI辅助数学研究的重大里程碑。Axiom Math团队首次借助其AI系统AxiomProver，对这条与素
研究显示：AI数学证明效果提升显著
问题提出：当两套研究同时借助 AI 攻克同一道难题 上周四，麻省理工学院（MIT）研究生 Seyoon Ragavan 将自己的一份量子密码学证明发给了朋友、加州大学圣巴巴拉分校（UCSB）博士生 Yao-Ting Lin。然而 Lin 当时正与导师、UCSB 教授 Prabhanjan Ana
数学证明AI化正成新风口
一个长期难题正迎来转机：如何让数学证明既严谨又可被机器验证？记者Kevin Hartnett在新书《代码中的证明》（The Proof in the Code）中，追溯了能攻克难题的计算机程序崛起之路，揭示“数学证明AI化”正成为新风口。问题始于2024年国际数学奥林匹克（IMO）。那年，谷歌Dee
Keynote－Speaker:－Emmanuelle－Claude
Emmanuelle Claude Miss Emmanuelle Claude (Master in Fine Chemistry and Business and P.Phil in spectroscopy analysis in organic chemistry and biology)
Claude综合征病例分析
Claude综合征为1912年法国神经病学家Claude首先描述，又称为红核下综合征，主要症状为同侧动眼神经麻痹、对侧共济失调，动眼神经麻痹可包括瞳孔散大、眼动受限，描述了解剖定位，即红核、动眼神经束、小脑上脚。该综合征为特殊中脑部位梗死，容易延误治疗，现将兰州大学第二医院收治的1例Claude综合
特邀主旨报告人：Emmanuelle－Claude
Emmanuelle Claude Emmanuelle Claude女士（精细化学和商业硕士,有机化学和生物光谱学分析硕士）, 2000年10月开始在Waters 公司担任蛋白质组学和基因组学的应用工程师，使用MALDI-TOF质谱仪开发自动化多肽指纹图谱（PMF）的方法。 多年来，她利用MA
为何折纸甜甜圈引发关注？
要用一张纸折出一个甜甜圈形状，需要折叠多少次？布朗大学数学家 Richard Schwartz 想知道，能否用最少的步骤做到这一点。在折纸（origami）艺术中，这是一道优雅而困难的几何谜题，经过数十年才由他确定了最高效的折法。问题提出：如何以最少折数构造环面数学家把甜甜圈形状称为“环面”（tor
数学家计划计算机证明费马大定理
原文地址：http://news.sciencenet.cn/htmlnews/2024/3/519642.shtm费马大定理是一个关于数字的著名定理，几个世纪以来一直困扰着数学界。现在，数学家希望开发一种计算机证明费马大定理的方法。这是一个雄心勃勃、为期数年的项目，旨在展示计算机辅助数学证明的潜力
多国研究团队宣称罗塔猜测已被证明－震惊数学界
一个由新西兰维多利亚大学数学家杰夫·惠特尔、加拿大滑铁卢大学数学家吉姆·吉伦和荷兰马斯特里赫特大学数学家伯特·杰拉德斯组成的研究团队日前宣称：他们经过15年的艰辛努力，终于找到了所有的必要的证据去证明著名的罗塔猜测。此消息一出，震惊数学界。 罗塔猜测是美国数学家和哲学家吉安-卡洛·罗塔19
数学突破－vs－工程现实：OpenAI－的方程证明意味着什么？
OpenAI可能声称解决了一个对许多现代技术而言至关重要、价值百万美元的数学问题，但不要指望事情会立刻发生变化——至少不会马上。本月早些时候，OpenAI声称其内部模型之一证明了纳维-斯托克斯方程在某些情形下会失效并给出无意义的答案。这些方程用于模拟流体的运动。专攻湍流问题的工程公司ReynKo首席
非球面镜和球面镜的区别
球面是整个面上使用一个曲率，就像从一个球面上切下来的，非球是不同曲率，比如可能是从椭圆上切下来的。非球的目的主要是为了解决球差等像差的问题，因为球面对于离轴光线聚焦点不同，造成视物变形模糊。 什么是球面镜片？球面镜片两面均为球面，每面的表面弧度统一，具单一曲率半径，加工设备简单，价格便宜，镜片
87年雅可比猜想难题终于被推翻
当无数人还沉浸在最近世界杯决赛的余兴中，数学界正酝酿另一种兴奋。在人工智能公司 Anthropic 工作的数学家 Levent Alpöge 在 X 平台随性地宣布，他借助数周前刚向公众发布的 Anthropic 大语言模型 Claude Fable 5，找到了代数几何中著名老问题“雅可比猜想”（
非球面镜片与普通球面镜片的区别
非球面镜片的表面弧度与普通球面镜片不同，球面镜片，使的像差和变形增大，结果出现明显的影像不清，视界歪曲、视野狭小等不良现象。现在非球面的设计，修正了影像，解决视界歪曲等问题，同时，使镜片更轻、更薄、更平。而且，还保持优异的抗冲击性能。在当今的眼镜行业，对细薄轻巧镜片的追求可谓登峰造极。非球面镜片既能
复照仪的结构和分类
复照仪又称“制版照相机”。拍摄原图以获底片的大型精密照相机。由图版、暗箱，承受图版和机架组成，附有镜头、滤色片、网目屏、三棱镜、照明器等部件，对原图可以等大、放大和缩小摄影。按承影面的最大面积分为全开、对开、四开。按装配形式分立式、卧式、吊式和分隔式。按使用方法可分为暗房式和暗盒式两种 。在镜头上
艾复咛的化学结构是？
艾复咛似乎不是一个标准的药品名，为您找到了最相近的司他夫定。司他夫定的化学名称为2'-脱氧-3'-叠氮-5'-O-(四氢-2'-呋喃基)胸苷，其分子式为C10H15N5O4，分子量为267.27。 如果您需要更多关于司他夫定的信息，例如用法用量、适应症、禁忌症等
《飞出个未来》编剧的剧情难题终于有解了：一个全新数学证明
一部动画片里的剧情漏洞，竟催生出一个全新的数学证明。在《飞出个未来》（Futurama）的“The Prisoner of Benda”一集中，编剧 Ken Keeler 为让角色们换回身体，亲手推导出一个关于“身体交换”的置换定理——这或许是最具娱乐性的数学成果之一。研究背景来自一集看似寻常的剧情
人工智能帮助数学家发现新的猜想和定理
中新网北京12月2日电 (记者 孙自法)国际著名学术期刊《自然》最新一期封面发表一篇计算机科学论文称，科研人员研发出一个机器学习框架，能帮助数学家发现新的猜想和定理。 该机器学习框架由知名人工智能(AI)企业DeepMind开发，已经帮助发现了不同纯数学领域的两个新猜想，这项研究展示出机器
球面镜的种类
球面镜分为凸面镜和凹面镜两类。①凹面镜：用球面的内侧作反射面的球面镜叫做凹面镜。②凸面镜：用球面的外侧作反射面的球面镜叫做凸面镜。
球面镜的应用
1、凹面镜的应用:A、利用凹面镜对光线的会聚作用:太阳灶。B、利用过焦点的光线经反射后成为平行于主轴的平行光:探照灯、手电筒以及各种机动车的前灯。2、凸面镜的应用:利用凸面镜对光线的发散作用:汽车观后镜 。
球面镜的分类
球面镜分为凸面镜和凹面镜两类。①凹面镜：用球面的内侧作反射面的球面镜叫做凹面镜。②凸面镜：用球面的外侧作反射面的球面镜叫做凸面镜。
OpenAI也降价了
·GPT-4o mini每百万token的输入价格为15美分，每百万token的输出价格是60美分，比GPT-3.5 Turbo便宜60%以上。7月19日，OpenAI发布GPT-4o mini，加入大模型价格战。在ChatGPT中，免费用户、Plus用户和团队用户即日起可访问GPT-4o mini
OpenAI称破解数学“千禧年难题”
开放人工智能研究中心（OpenAI）宣称，一个真正重量级的数学公开难题首次由计算机攻克。该机构公布了“千禧年难题”中与流体运动相关问题的解答方案。据《自然》报道，这家坐落于美国旧金山的人工智能（AI）公司于9月8日对外宣布，研究人员得出了流体最常用模型——纳维-斯托克斯方程的求解结果，证明该方程会出
做数学题，人工智能与人类高手不相上下
一年前，美国谷歌旗下DeepMind公司开发的人工智能问题解决器AlphaGeometry，在国际数学奥林匹克竞赛（IMO）中达到银牌选手水平，震惊了世界。IMO是为有天赋的高中生设置的难度极高的数学竞赛。DeepMind团队现在表示，系统升级后的AlphaGeometry2的性能已经超过了IMO金
南开大学启动“数学与人工智能实验班”项目
5月27日，南开大学数学科学学院与多点数智有限公司、智现未来科技有限公司、淡水泉投资管理有限公司正式签署合作共建备忘录，联合启动数学与人工智能实验班项目。 根据共建备忘录，数学与人工智能实验班将于2025年高考启动招生报名工作，并纳入“省身班”管理体系，采用“数学基础+人工智能技术”双轨培养以
人工智能破解埃尔德什数学难题取得重大进展
2026年5月20日，OpenAI宣布其内部AI模型给出了单位距离猜想的反例——这是1946年由匈牙利数学奇才保罗·埃尔德什（Paul Erdős）提出的著名难题。随后8月1日，名为Astra的未发布模型又取得10项数学进展，其中包括另外3道埃尔德什问题。许多数学家将其称为AI数学能力的"相变"，曾
人工智能是否真的破解了千禧年数学难题
流体运动看似简单，背后的方程却是数学界最著名的悬案之一。这道谜题如今似乎被人工智能解开，尽管这一成果本身也引发了激烈争议。九月八日，OpenAI 宣布在纳维-斯托克斯存在性与光滑性问题上取得突破——该问题分量极重，以至于有人为它的解答悬赏一百万美元，被视作指引整个流体力学方向的指南针之一。就在前一天
什么是非球面镜片？
非球面镜片。该镜片从镜片中心到周边，曲率半径逐渐增加（镜片表面逐渐平坦）。象散0.10D，像质很好；如果改用较平的+2.00D基弯,30度的场曲0.55D,象散0.71D,成像清晰度下降，像质就比较糟糕。
非球面镜的特点
非球面镜片的表面弧度是非球面设计的，这种设计比起球面设计镜片的优点是：更清晰经过特有的镀膜处理的非球面镜片更拥有完美的视觉表现，呈现更清晰，舒适的视觉效果。更轻松戴上非球面镜片后几乎感觉不到它的存在，它为您的 眼睛减肥，尽情享受它带给您的轻松随意。更自然非球面的设计，更自然，视觉变形少，视物更逼真。
球面镜的规格参数
（1）顶点:镜面的中心点O称为镜的顶点。（2）中心：球面的球心C称为镜面中心。（3）主轴：连结顶点O与镜面中心的点划线。（4）焦点：跟主轴平行的近轴光线射到球面上，反射光线会聚于主轴上一点，这一点称为焦点，用字母F表示。（5）焦距：焦点到顶点的距离叫焦距，用字母f表示。可以证明，近轴时（即入射光线靠