• 我的订阅
  • 头条热搜
Transformer打破三十年数学猜想!Meta研究者用AI给出反例,算法杀手攻克数学难题
...具有挑战性,因为其数学结构较为复杂且解的空间巨大。研究者是通过以下步骤应用PatternBoost的:首先生成一个初始数据集,并使用Transformer模型对其进行训练以生成新样本。将这些新样本作为局部搜索的起点,经过多轮迭代后...……更多
数学因不严格的论证而得到丰富,很多命题建立在尚未证明的猜想上
...依赖于好几个假设而不只是依赖于一个假设。这个领域的研究者好比是发现了一处数学美景,他们急不可耐地想把地图画出来,尽管还有许多他们并不了解的事情。这时常是一个很好的研究策略,就是从将来找到严格证明的前景...……更多
...真正的秘密揭开之前,我们提前和科幻作家陈楸帆以及AI研究者、清华大学交叉信息研究院助理教授许华哲展开了一场猜想之旅。被誉为“中国的威廉·吉布森”的陈楸帆,其代表作之一《荒潮》曾荣获全球华语科幻星云奖最佳...……更多
P/NP问题50年:基础理论举步维艰,但AI正在不可能中寻找可能
...通过大规模模拟取得了众多进展,比如探索核聚变反应。研究者们使用一种科学方法的范式:首先对于物理系统建立假设;然后使用模型进行预测;再用实验模拟检验该预测,而不是直接实现核聚变反应。如果测试结果与预期不...……更多
...大数据研究的技术手段仍停留在较为初级的阶段。此外,研究者对数据分析方法的运用也趋于单调,法律实证研究在整体上仍以基础的平均数、频数、方差等描述性统计方法为首要工具。未来该如何开展大数据挖掘与法律研究,...……更多
Yann LeCun说自回归要完,DeepMind论文证明自回归能实现通用计算
...性有界自动机都可以用一个受限 (2, 2)-Lag 系统模拟。之前研究者已经证明 Lag 系统具有计算通用性,但原始的证明依赖于一种少有人知形式的寄存器机(register machine )的简化。这里并不方便利用这个证明。于是,该团队开发了...……更多
AI识别方言困难!专家探索用算法度量方言差距,提议构建统一框架
...够取消数据获取的壁垒,将语音数据开放成公共资产,对研究者而言是一大利好。尽管信也科技金融业务带来的客服语音积累了方言语料,但从大量语音中提取方言数据又是另一个挑战,从10000小时的语音数据中找出100小时的方...……更多
与OpenAI o1技术理念相似,TDPO-R算法有效缓解奖励过优化问题
...保生成的图像能够符合下游任务目标以及用户偏好,许多研究者开始探索如何对预训练扩散模型进行奖励或偏好驱动的微调训练 —— 这就是所谓的扩散模型对齐(Diffusion Model Alignment)。目前,最流行的对齐方法之一便是源于大...……更多
Scaling Law瓶颈,Cursor编程为什么这么强?新研究掏出秘密武器
...时无两,其表现卓越、性能强大。近日,Cursor 一位重要研究者参与的一篇相关论文发布了,其中提出了一种方法,可通过搜索自然语言的规划来提升 Claude 3.5 Sonnet 等 LLM 的代码生成能力。具体来说,他们提出的方法名为 PlanSearch...……更多
AI蛋白质折叠:在生命宇宙中漫游,远眺生物经济的流光
...非常大的搜索空间,构型是千变万化的;另一方面,虽然研究者普遍接受蛋白质折叠到最小能量状态,但对于“能量函数到底是什么样的”这个问题,研究者们莫衷一是。巨大的研究价值,加上有限的研究手段和缓慢的研究进展...……更多
布局颠覆性技术,领存突破MRD码复杂算法
...,在通信系统和存储系统中具有重要的价值,世界各地的研究者和科研机构都对MRD码有所研究。但由于其理论的复杂性,一直没有实现从理论到实践的突破。目前,理论界公认的MRD码叫Gabidulin码,它由Ernst M. Gabidulin在1985年提出...……更多
中国科学院在分组加密算法的差分密码分析方面取得进展
...法的差分密码分析研究具有重要意义,为后续密码学相关研究者们进行分组加密算法的安全性全自动分析和各类运算操作建模方法性能评估提供了良好的研究基础和平台支撑。 ……更多
华南理工建立眼科专用AI数据集,推动病理性近视自动筛查工具面世
...开始研究眼科 AI,当时眼科图像分析尚未成为热门方向,研究者少、论文也少。不过,他有幸获得一些数据资源,相关成果也获得了不错的影响力。这让他深刻认识到,如果想推动这个领域的发展和壮大,必须让公开数据集更加...……更多
这样吃还能影响寿命,你吃对了吗?
...分的种类和数量不同。Part 1:食物选择对于寿命的影响有研究者通过建立模型,来研究不同的食物选择搭配对寿命产生的影响。在研究中,研究者根据 Meta 分析和全球疾病负担的研究数据,使用生命表方法来估计预期寿命随水果...……更多
用AI自动设计智能体,数学提分25.9%,远超手工设计
...伦比亚大学、非营利人工智能研究机构 Vector Institute 等的研究者制定了一个新的研究领域,即智能体系统的自动化设计(ADAS,Automated Design of Agentic Systems),并提出了一种简单但有效的 ADAS 算法,名为元智能体搜索(Meta Agent……更多
连甲骨文都没记录夏朝,周朝为何却知晓夏朝的存在
...无论是断层传承还是故意销毁,夏朝在甲骨文中的缺失给研究者带来了诸多挑战。夏朝作为中国历史上的第一个王朝,对于理解中国古代文明的发展具有重要意义。 然而,由于甲骨文是研究古代历史的主要来源之一,夏朝在甲...……更多
让旅行商不再迷茫!物理学家用量子计算机更快解决 TSP 问题
...路线。随着技术的不断进步,比如人工智能 (AI) 的加持,研究者可以通过快速分析大量数据,更有效地解决路线规划和优化等问题。同样,研究者们认为,能够提供计算加速的量子计算机,非常有助于改善 TSP 的近似值。 2、使...……更多
无表情人脸预测政治信仰,AI准确率惊人!斯坦福研究登国际顶刊
...以评估人们是否也能从中性的面部图像中预测政治倾向。研究者向他们展示了第一项研究中收集的标准化面部图像。每个评分者都被要求评估照片中个人的政治倾向。评分者完成了5000多项评估,并对结果进行了分析,以确定他...……更多
AI表现直逼国际奥数优秀选手, 它要 “征服”数学了吗?
...去尝试。”一年后,数学家与DeepMind合作,利用机器学习算法,在纽结理论和表示论这两个数学分支的大型数据库中,也有了类似的发现。与此同时,该算法还发现了数据库中一些潜在的有趣关系。进一步分析后,研究人员还找...……更多
孕妈妈一滴血或可预测胎儿先心病风险
...学医学院附属新华医院孙锟教授认为,这项工作为先心病研究者提供了非常有价值的蛋白质组学资源,有助于进一步探索先心病发病机制,并为潜在的治疗策略提供线索。预测模型还需验证完善目前,上述预测模型涉及数十种蛋...……更多
科学家为材料设计打造深度学习框架,实现热辐射器的材料选择
...谱发射率),现有的研究也未形成通用的设计框架,导致研究者在仍需要在优化设计前调研大量文献以确定波长选择性发射器的材料和初始结构参数。(来源:Light-Science & Applications) 而在此前,胡润课题组已经开展了许多...……更多
大模型时代下的机器人应用:我们离具身智能还有多远?| 新程序员
...机器人应用对于算力的需求也日益增加。作为硬件架构的研究者,面对日新月异的机器人应用,这对我们来说既是机遇也是挑战。尤其是在大模型逐渐占领机器人控制领域的今天,如何实现实时性地大模型控制、保证机器人正确...……更多
智慧互通(IICT)荣获2023中国电子学会技术发明一等奖
...作办公室批准设立,旨在奖励优秀人才和优秀科技成果的研究者,鼓励发明创造,激励创新精神。在评审过程中,由权威专家组成的鉴定委员会认为,“片上光谱多维感知器新技术及重大应用”项目技术复杂、难度很大、创新性...……更多
安全强化学习方法、理论与应用综述,慕工大、同济等深度解析
...化学习面临的挑战是什么?二、安全强化学习的研究方法研究者们提出了多种方法来处理安全强化学习的问题,可以大致分类为基于模型的方法和无模型的方法。1. 基于模型的安全强化学习方法:基于模型的安全强化学习方法通...……更多
智能机器化学家“小来”,来了!
...小来”的诞生“小来”的诞生凝结了研究团队老中青三代研究者的智慧。中国科学技术大学教授、中国科学技术大学合肥微尺度物质科学国家研究中心主任罗毅,在谱学方面见解独到。他带领团队对重要元素与化合物进行深入的...……更多
风云气象卫星首幅!中国科学家获得大气中氨气浓度全球分布图
...中国卫星实现氨气全球探测提供了可能。在本项研究中,研究者基于最优估计理论研发出一套氨气柱浓度的全物理反演算法,结合“风云-3D”气象卫星红外大气探测干涉仪载荷的响应函数和观测光谱,通过分析氨气的红外吸收特...……更多
卵巢癌何以成为女性第一杀手?专家解读
...体技术的卵巢癌体外诊断产品。该试剂盒注册研究的主要研究者周琦表示:“这意味着卵巢癌早期诊断有了新的希望,也希望该试剂盒能走出国门,在更多临床实践中使用,结合影像技术等诊断手段,通过早诊早治进而提高卵巢...……更多
最新美国国家人工智能科学院院士介绍
...。IlyaSutskever,来自OpenAI。他是自然语言处理领域的杰出研究者,特别是在基于Transformer的模型方面取得了令人瞩目的成果。Sutskever是GPT系列模型的重要贡献者之一,这些模型在自然语言生成和理解方面展现出了强大的能力。Andrej...……更多
中国天眼第一次探测到宇宙信号!数千次重复发现何秘密?
...体现象,比如中子星的爆发或快速旋转。此外,也有一些研究者认为,它们可能是外星文明的通信信号,但这一观点目前仍属于假设。中国天眼通过其强大的接收能力和高精度的测量方法,成功捕捉到了这些罕见的信号。研究人...……更多
关于暗物质隐藏地点的新理论
...大学的物理学家Ignatios Antoniadis,作为暗维度理论的积极研究者,他指出这一场景“为我们在弦论、量子引力、粒子物理学和宇宙学之间搭建了桥梁,同时为我们解开这些领域中的一些谜团提供了可能。”尽管目前尚未有直接证...……更多
更多关于科技的资讯:
苹果在欧盟多国停售iPhone 14/SE:USB-C全面替换Lightning
快科技12月28日消息,苹果目前已经在大多数欧盟国家下架了iPhone 14系列和iPhone SE机型,包括奥地利、比利时
2024-12-28 08:08:00
3万一只AI宠物:正成为日本富人的新玩具
快科技12月28日消息,由日本机器人Groove X公司制作的,长得像果宝特攻的陪伴机器人LOVOT,正在成为日本富人的新“宠物”
2024-12-28 08:08:00
《蝙蝠侠2》延至2027年
马特·里夫斯的《蝙蝠侠2》由2026年10月上映延至2027年10月与观众见面,延误了一整年。负责规划DC宇宙的滚导在社交平台解释说
2024-12-28 08:39:00
vivo系统新增“仅开屏禁止”传感器选项:从源头杀死摇一摇广告
快科技12月28日消息,如今手机App摇一摇广告几乎已经成了众矢之的,所有用户都在吐槽、质疑,严重影响手机日常体验,每天都会有无数次被迫打开电商软件
2024-12-28 08:39:00
车机存安全漏洞:约80万辆大众电动车位置信息公开暴露数月
快科技12月28日消息,据德国最权威的媒体《明镜》最新报道,软件公司Cariad的一项安全漏洞,导致约80万辆大众集团(包括大众
2024-12-28 08:39:00
双旦购机就选华为nova 13系列:性价比之选“nova 13香”
临近元旦,节日氛围愈加浓厚,许多人开始准备选购一台新手机,奖赏自己过去一年的努力与付出。如果你的预算是3000-4000元价位
2024-12-28 09:09:00
首颗已点亮 长城汽车成立芯片公司:紫荆半导体落户南京
快科技12月28日消息,近日,南京江北新区与长城汽车股份有限公司战略合作签约活动举行,长城汽车培育的RISC-V车规芯片设计公司紫荆半导体落户新区
2024-12-28 09:09:00
专家:中国密集的城市电动车是优先 燃油车污染空气严重!
12月28日消息,国际欧亚科学院院士,住房和城乡建设部原副部长仇保兴近日公开表示,中国密集城市电动车是优选。城市之间的竞争能够引发技术的合理性和投资的效益
2024-12-28 09:09:00
雷军有对手了!余承东抖音粉丝数突破300万:刚入驻半个月
快科技12月284日消息,根据抖音平台显示,余承东抖音粉丝数目前已经正式突破300万。值得注意的是,余承东在12月12日晚才刚刚入驻抖音
2024-12-28 00:08:00
卢伟冰回应“REDMI汽车”:完全没计划
快科技12月28日消息,卢伟冰在年度总结直播中提到了汽车业务,还回应了网友呼声很高的REDMI汽车。他明确表示:完全没有REDMI汽车的计划
2024-12-28 00:08:00
天上掉下一堆黑色石头 泰国夫妻捡走后感觉身体倍棒
一次雷暴天气,让泰国南部的一个村庄震惊不已!一对夫妻在自家的棕榈种植园,发现了一堆大小不一、颜色是亮黑色的神秘岩石,总重量超过44磅
2024-12-28 00:08:00
淘宝杀到日本服 这次打的又是什么算盘
要说,国内哪家公司对电商这事儿情有独钟,想必非阿里莫属了。马老板上日本住了几年,结果那边的电商市场就被盯上了。这不,前阵子阿里巴巴国际在日本推了个 TAO
2024-12-28 00:38:00
本文转自:环球时报编者的话:近期,几家外卖平台陆续出台“防疲劳机制”,利用弹窗提醒、强制下线等措施减少“过度跑单”。这些机制在一定程度上是外卖平台主动推进骑手保障工作的新举措
2024-12-28 06:43:00
杭州江南实验学校操场的跑道边立了不少带有摄像头的设备,孩子们无论是跑100米,还是1000米,所有数据不需要体育老师掐秒表
2024-12-28 07:36:00
“乐奇,看一下我的水杯在哪里?”这个问题盲人姑娘蔡琼卉不是对着人说的,而是对着架在鼻子上的眼镜来说的。“你的水杯在你面前桌子的左下角
2024-12-28 07:36:00