• 我的订阅
  • 头条热搜
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年提出...……更多
中国科学院在分组加密算法的差分密码分析方面取得进展
...法的差分密码分析研究具有重要意义,为后续密码学相关研究者们进行分组加密算法的安全性全自动分析和各类运算操作建模方法性能评估提供了良好的研究基础和平台支撑。 ……更多
...力的增大等因素影响,卵巢相关疾病也逐渐增多。华为的研究者们致力于了解卵巢疾病的早期症状、发展过程以及有效的预防和治疗方法。联合复旦大学附属妇产科医院发起的卵巢功能研究项目,借助HUAWEIResearch创新研究平台能...……更多
华南理工建立眼科专用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,作为暗维度理论的积极研究者,他指出这一场景“为我们在弦论、量子引力、粒子物理学和宇宙学之间搭建了桥梁,同时为我们解开这些领域中的一些谜团提供了可能。”尽管目前尚未有直接证...……更多
更多关于科技的资讯:
精致餐饮品牌推抖音“年夜饭”套餐,解锁“场景营销”新思路
春节前夕,年夜饭销售紧俏,主打高品质的“精致餐饮”备受欢迎。为满足消费需求,抖音生活服务联合大董烤鸭、紫薇美力集团旗下餐饮品牌鲁采LU STYLE
2025-01-29 08:40:00
2025贺新春瓣瓣同心京津冀 欢欢喜喜过大年大年初一,天津的古文化街年味浓郁。一系列新春活动,吸引天南海北的游客前来逛街赏景
2025-01-29 09:09:00
厦门网讯(厦门日报记者 朱道衡)春节来鼓浪屿要怎么玩?一天之内能否逛完,只有两个小时该怎么玩?鼓浪屿景点众多,游客该如何串联
2025-01-29 09:37:00
阿里云首次亮相总台春晚,云技术支持全球观众看直播
1月28日晚,阿里云首次亮相中央广播电视总台蛇年春晚,云技术支持全球观众观看春晚直播。作为总台春晚云计算AI独家合作伙伴
2025-01-29 13:18:00
美国科技巨头“收割者”!国产DeepSeek干掉英伟达4.3万亿市值
快科技1月28日消息,临近春节,中国人工智能公司DeepSeek突然爆火,其发布的DeepSeek-R1大模型性能上比肩OpenAI o1
2025-01-28 09:06:00
英伟达回应股价遭DeepSeek暴击:DeepSeek是出色的AI进步
快科技1月28日消息,日前,美股收盘英伟达股价暴跌17%,市值一夜蒸发5888.62亿美元(约合人民币4.27万亿元)
2025-01-28 10:07:00
王晶监制电影《笑傲江湖》上线爱优腾:张雨绮版东方不败来了
快科技1月28日消息,今日,电影《笑傲江湖》在腾讯视频、爱奇艺、优酷三大平台上线,同时发布“春满江湖”版海报。海报中,东方不败(张雨绮饰)侧卧雪地
2025-01-28 10:07:00
7月11日上映!DC《超人》新预告发布:只身大战反派、怪兽
快科技1月28日消息,DC全新的《超人》发布了新版预告,展示了超人翱翔于冰原之上、只身大战怪兽的场景,卢瑟等反派人物也一一登场
2025-01-28 10:37:00
快来看哪个更牛!网友热捧DeepSeek创意写春联
快科技1月28日消息,据媒体综合报道,近日,随着新春佳节的临近,一股创意写春联的热潮正在网络上悄然兴起。而在这场创意盛宴中
2025-01-28 10:37:00
李子柒将首次亮相央视《春晚》:讲述服饰的非遗故事
快科技1月28日消息,据央视频官方透露,今晚李子柒将首次亮相央视《春晚》,并担任“春晚体验官”,讲述演出服饰上的非遗故事
2025-01-28 11:07:00
育碧再次大裁员!185名员工被裁 英国工作室永久关闭
据eurogamer报道,育碧近日宣布,将关闭位于英国莱明顿的工作室,并裁减公司185个职位。部分莱明顿工作的员工将通过远程合同继续留职
2025-01-28 11:07:00
全球罕见!中国这两座城市又有“雪窝子”了
快科技1月28日消息,据媒体报道,近日,山东半岛东北部的烟台和威海再次因其频繁的降雪而备受关注,被形象地称为“雪窝子”
2025-01-28 11:07:00
直角拐弯学废了:妈妈练完车回家过桥把女儿撞进水沟
快科技1月28日消息,今天,话题#妈妈练完车回家过桥把女儿撞进水沟#登上热搜。据报道,事发1月26日,一位年轻妈妈在练完车后驾车回家
2025-01-28 11:37:00
DeepSeek爆火 网友热议广东AI三杰
快科技1月28日消息,据媒体综合报道,近日,随着DeepSeek公司的崛起,其创始人梁文锋成为了公众瞩目的焦点。这位1985年出生于广东湛江的科技奇才
2025-01-28 11:37:00
斥资5个亿!迅雷将收购虎扑
快科技1月28日消息,据新浪科技报道,迅雷(XNET.US)已同意以5亿元人民币的总现金对价收购运营体育平台虎扑的上海匡慧网络科技有限公司
2025-01-28 12:07:00