• 我的订阅
  • 头条热搜
...篇计算机科学论文称,研究人员开发出一个能解国际数学奥林匹克竞赛级别几何题的人工智能(AI)系统,表现超过了之前最好的自动化定理证明系统。该研究证明了AI能以接近人类最高水平破解复杂逻辑挑战的潜力,而这正是AI研...……更多
信息学奥赛冬令营在成都举行 将选拔国家队选手
...办、四川省成都市第七中学承办的2023全国青少年信息学奥林匹克(National Olympiad in Informatics,简称NOI)冬令营暨2023国际信息学奥林匹克竞赛中国国家队选拔在成都拉开帷幕。全国青少年信息学奥林匹克竞赛是一项面向全国青少...……更多
AI表现直逼国际奥数优秀选手, 它要 “征服”数学了吗?
最近,专门为人工智能(AI)设立的AI国际奥林匹克数学竞赛(IMO)即将进入尾声,其结果将随今年7月于英国巴斯举行的65届IMO大会同步揭晓。这项赛事的目的是推动发展大语言模型的数学推理能力,训练出更高数学水平的新AI...……更多
奥林匹克竞赛里选最聪明的AI:Claude-3.5-Sonnet vs. GPT-4o?
...学生成式人工智能实验室(GAIR Lab)推出的OlympicArena[1] (奥林匹克竞技场)满足了这个需求。奥林匹克学科竞赛不仅是对人类(碳基智能)思维敏捷性、知识掌握和逻辑推理的极限挑战,更是AI(“硅基智能”)锻炼的绝佳练兵...……更多
...伦敦4月19日电(记者张薇)国际奥委会19日在伦敦发布《奥林匹克AI议程》,在展望人工智能可能对体育带来哪些影响的同时,提出了国际奥委会引领全球体育领域开展人工智能计划的框架。国际奥委会主席巴赫以及众多体育、...……更多
中小学生也能玩转人工智能,超千所学校参与这场“AI奥林匹克”
...烈炫酷的高科技挑战赛——第三届长三角青少年人工智能奥林匹克挑战赛(简称“AI奥林匹克”)总决赛。“AI奥林匹克”总决赛现场。 上海市教委供图“AI奥林匹克”由上海市教委主办,赛事共吸引了江浙沪皖三省一市31个城市...……更多
...英子通讯员李乃辰照片由各学校提供近日,2024年上海头脑奥林匹克创新大赛暨第45届世界头脑奥林匹克选拔活动圆满落幕。在这场汇聚了全国11个省份497支代表队,以及来自韩国和德国7支观摩交流队伍的盛大赛事中,市北区参赛队伍...……更多
周口天立学校举办2024周口人工智能创新挑战赛
...天立学校学区副校长冯空军在开幕式上向家长讲解信息学奥林匹克竞赛的概念、考试科目及赛制安排和高校通过竞赛强基计划录取的情况,冯校长向家长们讲述了天立集团在竞赛强基上的优势以及周口天立学校学子在信奥赛中取...……更多
第三届长三角青少年人工智能奥林匹克挑战赛总决赛在虹口举行
日前,第三届长三角青少年人工智能奥林匹克挑战赛(以下简称“AI奥林匹克”)总决赛暨颁奖会在位于虹口的上海市第五中学举行。本次大赛聚焦“让世界充满AI”主题,激发青少年对人工智能的兴趣,以线上线下融合的方式...……更多
...文转自:人民网-江西频道近日,在全国中学生地球科学奥林匹克竞赛预赛(江西赛区)举办前夕,受江西省抚州市广昌县科学技术协会邀请,东华理工大学地球科学科普宣讲博士团走进广昌,与广昌一中高中学子们进行面对面...……更多
第45届世界头脑奥林匹克决赛落幕 中国参赛队伍收获多
...(陈静刘慕洁)记者26日获悉,在刚刚落幕的第45届世界头脑奥林匹克决赛中,上海市向明中学和上海师范大学天华学院分别获得“汽车影院”题目高中组和大学组冠军;上海市大宁国际小学的两支参赛队分别斩获“人工智能装置”...……更多
本文转自:温州日报温州市中等幼儿师范学校获“头脑奥林匹克”4个一等奖本报讯 (通讯员 优仕) 近日,由中国上海头脑奥林匹克协会、上海市科技艺术教育中心、上海教育报刊总社、上海市松江区教育局共同举办的2024年上...……更多
...年科技创新大赛、太空车竞赛、少儿手绘地图大赛、学科奥林匹克竞赛等,活动覆盖面广,吸引上万人次参与。2023年,组织全州35支队伍参加全省机器人竞赛,获冠军1个、一二三等奖20个、优秀奖9个、优秀指导教师4名;联合州...……更多
第26届中国机器人及人工智能大赛海南赛区总决赛开幕
...务执行和场景应用等方面的综合能力,堪称机器人界的“奥林匹克”。比赛现场。主办方供图海南科技职业大学近年来通过承办和参加中国机器人及人工智能大赛,不仅取得了各项比赛的优异成绩,更以赛促建,研发了众多创新...……更多
又一国际赛事在成都举办 2023世界机器人大赛--ENJOY AI赛项城市选拔赛在新津区开幕
...官方专业赛事,被各大主流媒体广泛赞誉为机器人界的“奥林匹克”,并已连续入围了教育部办公厅公布的“2022—2025学年”面向中小学生的全国性竞赛活动名单。此次在新津举办的ENJOY AI 2023全球青少年人工智能竞赛成都城市选...……更多
科创教育火了,家长们闯进了少儿编程赛道
...别是高考,如果拿下的是“信奥赛”(全国中学生信息学奥林匹克竞赛)市一等奖、省二等奖、国赛三等奖以上,就可以走强基计划或自主招生,有机会被‘985’院校录取。”2022年9月,教育部印发《2022—2025学年面向中小学生的全...……更多
网传“韦神”将离职北大?学校回应:没这回事!
...有着太多的神化。90后数学天才韦东奕,16岁就拿下国际奥林匹克数学竞赛金牌,因手拿馒头拎配大瓶矿泉水的采访视频而意外“出圈”,被称为北大的“扫地僧”。不虚荣、不浮躁、醉心数学,不管外界的纷纷扰扰,韦东奕始...……更多
明年全面开设人工智能与编程课程
...的小学六年级、初一年级学生组建“石狮市青少年信息学奥林匹克竞赛代表队”,学习编程专业知识与参赛技巧,力争在国家级、省级各类赛事中取得佳绩;推动全市信息科技教师参与到石狮市人工智能与编程校本课程教育资源...……更多
...学生创新发明大赛暨“英创工程”新闻发布会28日在北京奥林匹克塔举行。记者从会上获悉,大赛即日启动,11月举行总决赛。参赛大学生须7月31日前进行参赛报名、完成作品制作。主办方中国信息协会宣布大赛分为创新发明赛...……更多
课赛同向 勇攀高峰
...的纪录。中国机器人及人工智能大赛被誉为机器人界的“奥林匹克”,以其悠久的历史和广泛的影响吸引了国内众多知名院校参与。“我校是此次人工智能创新赛项一等奖获得者中的两所职业院校之一,打破历届大赛中本科高校...……更多
第十五届全国运动会各项筹备工作有序推进
...中心两个区属场馆。在场馆改造过程中,将运用大数据、人工智能、物联网、数字孪生等新一代技术赋能老场馆,如在天河体育中心建设基于数字孪生的一体化智慧运营管理平台,通过高精度地图和高精度定位等技术,实现座位...……更多
代表武汉亮相世界舞台,这些小学生赴美迎战世界头脑奥林匹克决赛
...鑫通讯员王雯婷李欣当地时间5月21日晚,2024年世界头脑奥林匹克总决赛(OdysseyoftheMind2024WorldFinals)在美国爱荷华州立大学开幕。在这场世界级青少年科技创新盛事中,来自华中科技大学同济医学院附属小学的人工智能装置组(...……更多
成都世运会会徽发布 中国结里“藏着”大熊猫与芙蓉花
...供图)作为成都世运会的重要标志,这一会徽有效传达了奥林匹克精神,凸显了中国传统元素和成都特色,彰显了“团结、包容、多样性”的价值观。“成都世运会会徽的构图参考了中国结,这种古老的手工编织工艺品简洁而优...……更多
温州学子斩获国赛4个一等奖
本文转自:温州都市报“头脑奥林匹克”创新大赛在沪举行温州学子斩获国赛4个一等奖温都讯 日前,2024年上海头脑奥林匹克创新大赛暨第45届世界头脑奥林匹克选拔活动在上海举行,温州市中等幼儿师范学校的5支队伍通过努...……更多
科技领先 创迎未来
...能作品创作中学组二等奖、第二届长三角青少年人工智能奥林匹克挑战赛中学组二等奖、合肥市“三好学生”“新时代好少年”。经验分享:追风赶月莫停留,平芜尽处是春山。洪翔从小就爱钻研,对身边的事物充满了好奇。父...……更多
14岁的高二男孩李上 即将迈进燕园求学
...学继2022年以13岁的年龄首次参赛就摘取了全国中学生数学奥林匹克竞赛金牌后,东北育才学校超常教育实验部学生李上2023年再次获得该项竞赛金牌。前不久,北京大学发布2024年“数学英才班”入选信息,李上凭借出色的竞赛成...……更多
喜报!山东省泰安第二中学成功入选教育部首批全国中小学科学教育实验校
...来,泰安二中学科竞赛成绩突出,在全国中学生五大学科奥林匹克竞赛、科创大赛、人工智能大赛等级别最高、影响最广的各项比赛中,先后有200多名同学获全国一等奖,并通过保送、自主招生、强基计划进入清华大学、北京大...……更多
国际天文奥林匹克竞赛在京开幕 涵盖理论、观测及实测等
...国新闻网中新网北京11月8日电 (记者 陈杭)第27届国际天文奥林匹克竞赛7日在北京天文馆开幕。本届竞赛由欧亚天文学会和北京天文馆主办,共有来自9个国家的53位选手和20位领队及观察员参赛。7日,第27届国际天文奥林匹克竞赛...……更多
...高考理科/选科物理省排名达到一定位次者,全国中学生奥林匹克(数学、物理、化学、生物、信息学)竞赛全国决赛金牌、银牌、铜牌或省级一等奖获得者可申请奖学金。 ……更多
...赛事——巴黎奥运会资格系列赛上海站中,这位快71岁的奥林匹克运动“掌舵者”用一下午的时间,赶场观看了攀岩、滑板和霹雳舞决赛以及赛后派对。在融合体育、音乐、文化与艺术的节日氛围中,沉浸式感受更年轻、更城市...……更多
更多关于科技的资讯:
估值一年翻17倍,巨头创企疯狂涌入,AI搜索火爆了
智东西12月2日报道,当前AIGC能力正不断向网页、PC桌面端、手机App和端侧硬件渗透,微信聊天框内容搜索、相册图片检索
2024-12-03 12:04:00
大疆的又一次搅局,给创作者带来了真正的「小蜜蜂」
适合所有创作者的「小」麦克风。从 2022 年下半年开始,每当提及领夹式无线麦克风这个产品品类,都很难忽略大疆作为「鲶鱼」下场
2024-12-03 13:32:00
骁龙8s Elite再次被确认:性能区间已清晰,新机时间也已确认!
说到手机性能的时候,感觉没有多少用户会提起性能过剩这句话了,原因也很简单,那就是很多新功能都需要强悍的算力。尤其是今年下半年
2024-12-03 13:32:00
NeurIPS 2024 | 数学推理场景下,首个分布外检测研究成果来了
本文将介绍数学推理场景下的首个分布外检测研究成果。该篇论文已被 NeurIPS 2024 接收,第一作者王一鸣是上海交通大学计算机系的二年级博士生
2024-12-03 13:33:00
图结构转文本序列,大模型直接读懂!图推理性能大涨
大语言模型直接理解复杂图结构的新方法来了:将图(Graph)转换为适合Transformer架构的线性token序列。belike
2024-12-03 13:33:00
DeepMind用语言游戏让大模型学AlphaGo自我博弈,数据限制不存在
自我博弈,很神奇吧?我们终于朝着真正自主、自我完善的人工智能迈出了重要一步?上周末,一篇 Google DeepMind 的论文引发了 AI 圈的关注
2024-12-03 13:34:00
美欧亚三洲开发者联手,全球首个组团训练的大模型,全流程开源
11 月 22 日,Prime Intellect 宣布通过去中心化方式训练完成了一个 10B 模型。30 号,他们开源了一切
2024-12-03 13:34:00
全球五大巨头GPU总量曝光!2025年等效H100或超1240万块
【新智元导读】AI巨头的芯片之争,谷歌微软目前分列一二。而xAI作为新入局者,正迅速崛起。这场竞争中,谁会成为最后赢家
2024-12-03 13:34:00
百元投影 “卷王” 登场!哈趣 Q1 深度评测,性价比究竟有多能打?
追剧已经成为了日常生活中的必备节目,追剧也有很多姿势,火车上追剧、床上追剧、厕所里追剧、飘窗上追剧……等等各种场景,还有些人喜欢窝在沙发里
2024-12-03 13:34:00
清华UCSD提出全新微调方法,8B小模型媲美GPT-4o!科学问题正确率提高28%
【新智元导读】最近,一支来自UCSD和清华的研究团队提出了一种全新的微调方法。经过这种微调后,一个仅80亿参数的小模型
2024-12-03 13:34:00
电竞利器:双飞燕M760有线游戏耳机深度评测,249元到手
在当今的电子竞技世界里,拥有一款性能卓越的游戏耳机是每一位玩家的梦想。头戴式游戏耳机以其出色的隔音效果、沉浸式的音效体验以及舒适的佩戴感成为了众多游戏玩家的首选
2024-12-03 13:34:00
月收入暴增476%,红利正当时,语聊转向东南亚再探社交新蓝海
语聊不只在沙特大有可为,在印尼也同样有市场。作为东南亚人口最多、GDP最高的国家,印尼的年轻活力凸显。较高的互联网普及率
2024-12-03 13:35:00
美国双11,TikTok放弃和Temu拼低价
今年黑五,字节麾下的TikTok试图 绕开拼多多海外版Temu的低价优势,踩下了“正面硬刚”的急刹车。如同国内抖音上线比价频道
2024-12-03 13:35:00
851个零件复刻全球最贵光刻机!ASML推出High NA EUV乐高套装:售价1650元
快科技12月3日消息,光刻设备制造商ASML近日在其官网纪念品商城推出了一款特别的产品——High NA EUV光刻系统TWINSCAN EXE:5000的乐高模型套装
2024-12-03 13:37:00
告别玩手机晕车!荣耀300系列全球首发360度全场景晕动舒缓显示
快科技12月2日消息,荣耀300系列延续了"祖传"的护眼屏幕,不仅仅对视觉友好,甚至还加入了防晕车功能。荣耀300系列全球首发360度全场景晕动舒缓显示
2024-12-03 13:38:00