数学证明AI化正成新风口
一个长期难题正迎来转机：如何让数学证明既严谨又可被机器验证？记者Kevin Hartnett在新书《代码中的证明》（The Proof in the Code）中，追溯了能攻克难题的计算机程序崛起之路，揭示“数学证明AI化”正成为新风口。问题始于2024年国际数学奥林匹克（IMO）。那年，谷歌DeepMind将新训练的AI程序AlphaProof投入竞赛题目（非正式参赛）。在顶尖学子两天解六道高难题目的赛场上，AlphaProof拿下42分中的28分，达到银牌线，登上头条。AlphaProof是数学定理求解器，用于证明数学命题。仅仅四年前，训练AI自动化数学推理还是一大挑战；而谷歌DeepMind等团队希望借此赋予AI更广的推理能力，有朝一日用于现实问题，并用逻辑摆脱“幻觉”——那些凭空捏造的信息。诸多程序的成功，要归功于证明辅助程序Lean。2013年，当时还是微软研究院软件工程师的Leo de Moura推出Lean，本用于......阅读全文
人工智能参加国际奥数仅比金牌差一分
在从围棋到战棋类游戏的所有领域战胜人类后，美国谷歌公司旗下DeepMind现在表示，它在解决数学问题方面即将击败世界顶尖学生。7月25日，DeepMind宣布，其人工智能系统已经解决了本月在英国巴斯举行的2024年国际数学奥林匹克竞赛（IMO）所出6个题目中的4个。人工智能给出了严谨、循序渐进的证明
数学证明AI化正成新风口
一个长期难题正迎来转机：如何让数学证明既严谨又可被机器验证？记者Kevin Hartnett在新书《代码中的证明》（The Proof in the Code）中，追溯了能攻克难题的计算机程序崛起之路，揭示“数学证明AI化”正成为新风口。问题始于2024年国际数学奥林匹克（IMO）。那年，谷歌Dee
全流程数学研究智能体发布－自主攻克多项长期公开数学难题
7月6日，中国科学院数学与系统科学研究院（以下简称数学院）发布基于大语言模型的数学研究智能体“数学机械化智能体（MechMath Agent Team，简称MMAT）”，该智能体搭建起了覆盖数学研究全流程的研究框架，是数学家的全新智能研究助手，这标志着我国大模型驱动的定理证明技术实现前沿科研级突
谷歌推出两大数学模型，19秒解开IMO2024几何问题
·六道题每题可得7分，总分最高42分。谷歌DeepMind的人工智能系统在今年国际数学奥林匹克竞赛中最终得分28分。今年金牌的门槛是29分，在正式比赛的609名选手中，58名达到了这一门槛。·DeepMind表示，尽管基于自然语言的方法可以访问更多数据，但会产生看似合理但不正确的中间推理步骤和解决方
数学家计划计算机证明费马大定理
原文地址：http://news.sciencenet.cn/htmlnews/2024/3/519642.shtm费马大定理是一个关于数字的著名定理，几个世纪以来一直困扰着数学界。现在，数学家希望开发一种计算机证明费马大定理的方法。这是一个雄心勃勃、为期数年的项目，旨在展示计算机辅助数学证明的潜力
实验证明声音能在真空中传播
芬兰科学家首次证明，声音可在真空中传播。他们首次实现了让声波在两个晶体之间极小的真空传输，这一成果有望用于开发手机或其他设备内的微机电组件。相关论文刊发于最新一期《通信物理学》杂志。1979年大热的科幻电影《外星人》的标志性口号是：在太空中，没有人能听到你的尖叫。因为太空是真空，其中没有任何粒子，而
同离子效应的实验证明
原理在已经建立起溶解平衡的难溶电解质的溶液中，加入含有相同离子的另一强电解质溶液时，由于离子浓度的增加，会使平衡向着生成沉淀的方向进行移动，从而达到新的溶解平衡。可见相同离子效应会也使沉淀的溶解度降低。实验步骤[用品] 试管、饱和硝酸银溶液、饱和醋酸银溶液、饱和醋酸钠溶液、饱和硝酸钾溶液、饱和氯化铅
实验证明声音能在真空中传播
原文地址：http://news.sciencenet.cn/htmlnews/2023/8/507191.shtm ?声波穿过真空间隙（艺术图）。图片来源：sciencealert网站科技日报北京8月23日电 （记者刘霞）芬兰科学家首次证明，声音可在真空中传播。他们首次实现了让声波在两
“征服”数学，AI是否有能力“回答世界”
最近，专门为人工智能（AI）设立的AI国际奥林匹克数学竞赛（IMO）即将进入尾声，其结果将随今年7月于英国巴斯举行的65届IMO大会同步揭晓。这项赛事的目的是推动发展大语言模型的数学推理能力，训练出更高数学水平的新AI模型。 纯数学领域中的重大发现是推理和创造力的灵感结晶，往往意味着人类智慧
助手还是对手？AI工具将如何改变数学领域
原文地址：http://news.sciencenet.cn/htmlnews/2023/2/494250.shtm ChatGPT的横空出世让人们对聊天机器人的兴趣如野火般蔓延，数学家们开始探索人工智能（AI）如何帮助他们完成工作。英国《自然》杂志网站在2月17日的报道中指出，机器学习等AI工
实验证明动量空间存在“量子龙卷风”
德国维尔茨堡—德累斯顿卓越集群ct.qmat团队改进了原来的既定方法，首次通过实验证明了“量子龙卷风”（即量子涡旋）的存在。对这一量子现象的证实标志着量子材料研究的一个重要里程碑。相关论文发表在最近的《物理评论X》上。 科学家早已知晓，电子可在量子材料中形成涡旋。例如在量子半金属砷化钽（TaA
卢瑟福的a粒子散射实验证明了什么
卢瑟福的a粒子散射实验证明了：原子的全部正电荷和几乎全部的质量都集中在一个很小的核上。卢瑟福α粒子散射实验的结果证明了原子具有核式结构，原子的全部正电荷和几乎全部的质量都集中在一个很小的核上。实验目的卢瑟福从1909年起做了著名的α粒子散射实验，实验的目的是想证实汤姆孙原子模型的正确性，实验结果却成
噬菌体侵染细菌实验证明了什么
本题考查的是噬菌体侵染细菌的实验。该实验分两组，一组用35S标记噬菌体的蛋白质外壳，结果放射性在上清液中，而上清液中只含噬菌体颗粒，所以结论是：噬菌体的蛋白质外壳未进入细菌体内。另一组用32P标记噬菌体的DNA，结果放射性在沉淀物中，结论是噬菌体的DNA进入细菌体内。总体来看，该实验证明在噬菌体前后
噬菌体侵染细菌的实验证明了什么
噬菌体侵染细菌的实验证明了噬菌体蛋白质进入了细菌细胞，就说明蛋白质是遗传物质。实验：即让噬菌体去感染细菌，接着把噬菌体与细菌的悬浮液剧烈地震荡以除去附在细菌表面的噬菌体，再分别测定噬菌体蛋白质的量以及与细菌连在一起的DNA的量。结果发现大多数DNA留在细菌中，而大多数蛋白质已清除掉了。于是赫尔希和蔡
多国研究团队宣称罗塔猜测已被证明－震惊数学界
一个由新西兰维多利亚大学数学家杰夫·惠特尔、加拿大滑铁卢大学数学家吉姆·吉伦和荷兰马斯特里赫特大学数学家伯特·杰拉德斯组成的研究团队日前宣称：他们经过15年的艰辛努力，终于找到了所有的必要的证据去证明著名的罗塔猜测。此消息一出，震惊数学界。 罗塔猜测是美国数学家和哲学家吉安-卡洛·罗塔19
做数学题，人工智能与人类高手不相上下
一年前，美国谷歌旗下DeepMind公司开发的人工智能问题解决器AlphaGeometry，在国际数学奥林匹克竞赛（IMO）中达到银牌选手水平，震惊了世界。IMO是为有天赋的高中生设置的难度极高的数学竞赛。DeepMind团队现在表示，系统升级后的AlphaGeometry2的性能已经超过了IMO金
网传手机辐射可爆出爆米花－试验证明难实现
6部手机同时被呼叫，手机辐射并没有把玉米炸开检测手机的辐射值 手机爆爆米花实验 接听电话、收发信息、上网聊天……现代社会，手机在人们生活中的作用越来越大。然而，最近网上疯传的一段视频，吓坏了不少人：视频中，4部手机同时来电，几秒钟之后，围在手机中间的
日本实验证明离子技术可杀灭禽流感病毒
日本夏普公司8月27日发表的一项实验结果称，通过向密封空间喷射高浓度离子，可有效杀灭悬浮在其中的禽流感病毒。这种“除菌离子技术”目前被用于空气净化器。 据日本共同社报道，禽流感病毒如果发生异变，极有可能变成新型流感在人类之间传染。夏普计划今后积极开发能产生高浓度离子的空气净化器，宣传其预防新型流感
美科学家实验证明高空坠落硬币不会砸死人
美国科学家通过实验证明一枚从高空下落的硬币不会砸死人 如果从50英尺（约合15米）的高度下落，一便士硬币的下落速度只有每小时25英里（约合每小时40公里） 北京时间3月9日消息，据国外媒体报道，长久以来，很多人就相信从摩天楼上落下的一便士硬币如果击中一个人的头部会要了这个人的命，
实验证明两种辨别地沟油传言不靠谱
近日，网上一直在流传两种简易辨别地沟油的方法，一种方法是把蒜瓣扔进热油中，如果是地沟油大蒜就会变成红色，还有一种方法是，把油放进冰箱2个小时，地沟油会出现白泡沫。这一说法在网上被传得神乎其神，这个方法真的可以轻易鉴别地沟油吗?11月23日，记者就对传言的两种说法分别进行了实验，信
网传大蒜能测地沟油－实验证明纯属“装蒜”
大蒜放进食用油和废油一段时间后，均没有发生变化 去餐馆吃饭总担心地沟油的问题，近日两个鉴别妙招在网上火了，道具很常见还便宜。第一种将大蒜放进油里，变红就是地沟油，因为大蒜遇到地沟油里的黄曲霉素会起反应；第二种是将油放进冰箱，如果出现白色泡沫，也是地沟油 。5月19日，记者找来废油和食用油进行实验
实验证明熟肉放6小时－菌落总数上升258％
日前，北京正式实施《北京市消夏露天餐饮经营管理暂行办法》，其中规定禁止在消夏露天餐饮场所制售凉菜，在消费者中引起了不小的争议。 在长沙，市民消夏也最爱吃凉菜，很多人从市场、夜市上买点熟猪头肉、豆腐丝、毛豆等凉菜，就能享受一顿简单的消夏餐了。湖南省疾病预防控制中心食品安全监测科科长、副主任医师梁
动物实验证明达菲可使脑神经细胞过度兴奋
日本科研人员近日通过大白鼠实验证明，抗流感药物达菲可使脑神经细胞过度兴奋。 据日本《朝日新闻》网站9月29日报道，在美国华盛顿大学从事研究的日本学者和泉幸俊等人分别配制了达菲和达菲在动物体内分解后产生的药效成分“OCB”的水溶液，然后把大白鼠的脑神经细胞分别浸泡到两种溶液中。约10分钟后，两种溶液中
实验证明用检测卡测瘦肉精不可靠
接二连三的食品安全事件让一种名为“食品检测卡”网购商品销售火爆。然而，当这种宣称能准确快速测出“瘦肉精”的检测卡在接受专业测试时，发现成功率极低。 今年7月，扬州大学兽医学院的研究者们在对“瘦肉精”检测方法进行探讨时，发现网上有一种“食品检测卡”非常受消费者欢迎，很多店铺月销量过4000
实验证明不同土壤水分对玉米容重的影响
用玉米作为实验材料, 进行分根实验研究不同土壤水分条件下容重对玉米生长的影响. 种子根平分在装有土娄土的分隔的白铁皮桶中.使用容重器测 量的结果显示：土壤容重分4 种处理: 低容重( 两边容重都为1. 20 g#cm- 3 ) 、中容重( 两边容重都为1. 33 g#cm- 3) 、高容重( 两边容
临床试验证明OMP对于促进骨骼生长具有积极作用
你知道吗，你身体中的骨骼每三年就会全部重生一次！ 一提到骨，很多人的脑海中就会浮现起恐龙博物馆中的恐龙化石。不过，令人难以想象的是，我们身体中的骨却是活的，它每时每刻都在新生和溶解，成年人的骨骼每三年就会全部再生一次。 从我们一出生，骨骼的再生周期就开始了，不论年龄，一
网传吃隔夜菜会致癌－实验证明无科学依据
北京农学院的检测人员将需要检测的菜品分装到玻璃瓶中，以便在不同时间段检测菜品中亚硝酸盐的含量。 一段时间以来，隔夜菜不能吃，吃了会致癌的说法在网上疯传——“肉类亚硝酸盐比蔬菜高”、“隔夜菜冰箱放18小时亚硝酸盐全超标”。按照这个说法，隔夜菜放久了，能够致癌的亚硝酸盐会大大超标。 那么，这种说
早期临床试验证明一种新疟疾疫苗有效
一个国际研究团队日前在英国《自然》杂志上报告说，在早期临床试验中，志愿者在注射一种新疟疾疫苗后，起到了100%的保护作用。如果能进一步验证它的有效性，未来有望在全球抗疟疾进程中发挥重要作用。 由德国蒂宾根大学学者领衔的研究团队为35名从未感染过疟疾的成人受试者注射了不同剂量的新疫苗。疫苗内含有
专家实验证明：活性炭口罩拦截PM2.5不靠谱
昨天，实验人员正在利用自行发明的粉尘测试仪器测定熏香散发出的颗粒物浓度值。 在信息技术日新月异的今天，轻点鼠标，信息即可通过网络在人群中快速传播。虽然方便获取，但也让我们饱受虚假信息之苦。从“谣盐”风波到北京水安全传言，各种伪科学、假科学充斥网络，时时考量公众的认知，甚至严重危害社会秩序和安全
煎炸过食品的油还能吃吗？实验证明油明显变质
家里的油烧热了没用完，放起来下次再用；路边摊点的油条吃起来很香，但那锅油似乎没见换过……这样的情况普遍存在，但烧热过的油以及反复煎炸食品的油是否吃起来安全？华商报记者联合陕西中食安第三方监管有限公司，通过实验为您揭晓答案。 读者疑惑 反复使用的油敢不敢吃？ 家庭主妇汪女士平时很关注食品安全