• 我的订阅
  • 头条热搜
Transformer打破三十年数学猜想!Meta研究者用AI给出反例,算法杀手攻克数学难题
...具有挑战性,因为其数学结构较为复杂且解的空间巨大。研究者是通过以下步骤应用PatternBoost的:首先生成一个初始数据集,并使用Transformer模型对其进行训练以生成新样本。将这些新样本作为局部搜索的起点,经过多轮迭代后...……更多
数学因不严格的论证而得到丰富,很多命题建立在尚未证明的猜想上
...依赖于好几个假设而不只是依赖于一个假设。这个领域的研究者好比是发现了一处数学美景,他们急不可耐地想把地图画出来,尽管还有许多他们并不了解的事情。这时常是一个很好的研究策略,就是从将来找到严格证明的前景...……更多
...真正的秘密揭开之前,我们提前和科幻作家陈楸帆以及AI研究者、清华大学交叉信息研究院助理教授许华哲展开了一场猜想之旅。被誉为“中国的威廉·吉布森”的陈楸帆,其代表作之一《荒潮》曾荣获全球华语科幻星云奖最佳...……更多
P/NP问题50年:基础理论举步维艰,但AI正在不可能中寻找可能
...通过大规模模拟取得了众多进展,比如探索核聚变反应。研究者们使用一种科学方法的范式:首先对于物理系统建立假设;然后使用模型进行预测;再用实验模拟检验该预测,而不是直接实现核聚变反应。如果测试结果与预期不...……更多
...大数据研究的技术手段仍停留在较为初级的阶段。此外,研究者对数据分析方法的运用也趋于单调,法律实证研究在整体上仍以基础的平均数、频数、方差等描述性统计方法为首要工具。未来该如何开展大数据挖掘与法律研究,...……更多
...橱开始实验,再将样品送入仪器分析——实验数据在送达研究者手中的同时,也进入数据库。无需多时,实验分析报告就传到了研究人员手中。这就是AI化学实验线未来的工作模式。负责搭建AI化学实验线的上海有机所研究员左...……更多
AI识别方言困难!专家探索用算法度量方言差距,提议构建统一框架
...够取消数据获取的壁垒,将语音数据开放成公共资产,对研究者而言是一大利好。尽管信也科技金融业务带来的客服语音积累了方言语料,但从大量语音中提取方言数据又是另一个挑战,从10000小时的语音数据中找出100小时的方...……更多
Yann LeCun说自回归要完,DeepMind论文证明自回归能实现通用计算
...性有界自动机都可以用一个受限 (2, 2)-Lag 系统模拟。之前研究者已经证明 Lag 系统具有计算通用性,但原始的证明依赖于一种少有人知形式的寄存器机(register machine )的简化。这里并不方便利用这个证明。于是,该团队开发了...……更多
与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,当时眼科图像分析尚未成为热门方向,研究者少、论文也少。不过,他有幸获得一些数据资源,相关成果也获得了不错的影响力。这让他深刻认识到,如果想推动这个领域的发展和壮大,必须让公开数据集更加...……更多
ChatGPT中短期产业化方向主要为:文字模态的AIGC应用、代码开发相关、图像生成领域、智能客服
...券研究部预测、绘制·前瞻:ChatGPT模型的亮眼表现背后是研究者在Transformer模型前进的道路上发现了人类反馈强化学习这一方法带来的潜力,对产业界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...……更多
卵巢癌何以成为女性第一杀手?专家解读
...体技术的卵巢癌体外诊断产品。该试剂盒注册研究的主要研究者周琦表示:“这意味着卵巢癌早期诊断有了新的希望,也希望该试剂盒能走出国门,在更多临床实践中使用,结合影像技术等诊断手段,通过早诊早治进而提高卵巢...……更多
更多关于科技的资讯:
本文转自:人民网-辽宁频道人民网沈阳11月17日电 11月15日,在沈鼓集团总装车间,沈鼓研制的国内首台八级整体齿轮式压缩机组顺利下线
2024-11-17 12:04:00
国产智驾加持!上汽奥迪A5L Sportback有望明年年初发布
快科技11月17日消息,上汽奥迪宣布,其全新车型A5L Sportback将于2025年初发布。这款车型与一汽奥迪的全新A5L三厢轿车均为奥迪A5的国产版本
2024-11-17 12:52:00
正式发行20年!经典游戏《半条命2》免费领取:还有海量更新修复
快科技11月17日消息,为庆祝经典游戏《半条命2》正式发行20周年,V社宣布在北京时间11月19日凌晨2点之前,用户可以在Steam平台上免费获取这款游戏
2024-11-17 12:52:00
Intel确认会出3D V-Cache大缓存CPU!遗憾的是:你可能用不上…
快科技11月17日消息,在近日的一次采访中,Intel技术传播经理Florian Maislinger证实,Intel正在开发具有大缓存产品
2024-11-17 13:22:00
谷歌Gemini AI惊人回复 用户请求帮助:竟收到“请去死吧”!
快科技11月17日消息,据媒体报道,谷歌的AI聊天机器人Gemini近日又引起了争议。一名密歇根州的研究生在使用该机器人辅助作业时
2024-11-17 13:52:00
零跑高管回应被称为小理想:不希望把这个标签贴在身上
快科技11月17日消息,在广州车展期间,零跑汽车高级副总裁曹力接受媒体采访时表示:并不排斥“小理想”称号,零跑还是零跑
2024-11-17 13:52:00
奇瑞高管:未来顶多只有5家中国品牌存活下来
快科技11月17日消息,广州车展期间,奇瑞品牌营销中心副总经理姚飞接受媒体采访时表示:打价格战的时候,说明汽车行业已经开始整合了
2024-11-17 14:52:00
不再只靠iPhone和Mac!苹果3大方向打造全新产品线
快科技11月17消息,随着iPhone、Mac等产品逐渐成熟,苹果也在积极尝试不同领域,据媒体报道,苹果正探索三个主要方向来推出新产品
2024-11-17 14:52:00
共享电动车被吐槽是价格刺客:20分钟收费9.9元 比打车还贵
快科技11月17日消息,据报道,近日,武汉东湖风景区因为秋景正浓,不少市民和游客纷纷来到这里骑行打卡。该景区投放的有共享电动车
2024-11-17 14:52:00
覆盖城市到乡村、大路到胡同!长城全场景NOA正式全国开城
快科技11月17日消息,在2024广州车展上,长城汽车宣布全场景NOA技术全国开城,并推出焕新升级的Coffee OS 3
2024-11-17 14:52:00
小米15定制版发货慢被喊话去拧螺丝 雷军:我已经专门催了
快科技11月17日消息,日前,小米集团总裁卢伟冰微博发文称,去小米昌平手机智能工厂慰问一线生产团队,小米15的交付非常不错
2024-11-17 14:52:00
您的浏览器不支持!贵州省2024年加力支持消费品以旧换新活动,家电以旧换新、家居商品换新促销火热进行中。贵州省家电以旧换新
2024-11-17 15:12:00
华硕ROG游戏手机9幻影白配色亮相:后置独特点阵LED
快科技11月17日消息,华硕官方近期揭晓了ROG游戏手机9的全新幻影白配色实拍美图。该版本以纯净无瑕的白色后盖为核心设计
2024-11-17 15:22:00
路特斯CEO:即便美国把关税加到100% 我们也要去美国卖车
快科技11月17日消息,日前,路特斯CEO冯擎峰接受媒体采访时谈到了出口美国的看法:美国是全球第一大豪车市场,这样的豪车市场我们永远不会放弃
2024-11-17 15:52:00
荣耀300真机图曝光!虞书欣有望代言
快科技11月17日消息,今天,博主“小白测评”分享了一张虞书欣手持神秘新机的照片,新机预计为荣耀300系列手机,并且有可能是虞书欣代言
2024-11-17 15:52:00