- 我的订阅
- 头条热搜
我们正处于一个信息大暴发的时代，每天都能产生数以百万计的新闻资讯！
虽然有大数据推荐，但面对海量数据，通过我们的调研发现，在一个小时的时间里，您通常无法真正有效地获取您感兴趣的资讯！
头条新闻资讯订阅，旨在帮助您收集感兴趣的资讯内容，并且在第一时间通知到您。可以有效节约您获取资讯的时间，避免错过一些关键信息。
从早期的专家系统到如今的深度学习，人工智能已经经历了多次变革和发展。每一次变革都伴随着新技术的出现和新理论的提出，而这些新技术和新理论往往都源于数学、逻辑学和计算机科学这三个领域。数学在人工智能中扮...……更多
2024-08-05 09:46:00逻辑学,人工智能,真面目,人工,逻辑,数学
...学科；既有教育目标，也有教学设计、教学方法，还涉及人工智能时代人机互动的教学思路。这批高质量、接地气的论文，集中反映了逻辑教育研究的最新成果，具有较强的针对性、指导性、可操作性，对我国基础教育阶段逻辑...……更多
2024-05-13 11:41:00出版发行,逻辑,发行,出版,基础,研究
...讯 “明年，全体本科生将会像学习语文、数学一样学习人工智能。”11月初，浙江大学（以下简称“浙大”）举办了首期人工智能通识教育师资培训班。据悉，到明年春季学期，人工智能通识课将正式融入浙大本科通识必修课，...……更多
2024-11-08 18:59:00浙江,人人,人才,人工智能,人工,智能
...论物理、数学和计算机科学，带领新时代青年一起揭开“人工智能世界”的“神秘面纱”。“课堂上有许多‘硬核’知识点”，这是兰州大学哲学社会学院2020级本科生李斌对这门课程的最初印象。对李斌而言，学习逻辑学等同...……更多
2024-02-01 05:06:00质量,学生,兰州大学,兰州,课程,大学
...源于弗里格和罗素，也恰因为罗素，哲学系一度有幸成了逻辑学家的家园，这在某种意义上挽救了哲学的颓势，为哲学多续了几十年的寿命——罗素当时也有可能把逻辑安放在数学系。但现在几乎所有好的逻辑学家都去了数学系...……更多
2024-02-22 10:25:00生物学,之间,数学,生物,数学,物理
...它所引发的思考和讨论，已经深深影响了数学、哲学乃至逻辑学的研究。罗素悖论的提出，更是激发了人们对于集合论、逻辑和元数学的深入探讨，促进了现代数学基础理论的建立。数学危机是数学发展过程中不可或缺的一部分...……更多
2024-09-23 10:49:00危机,人类,数学,数学,悖论,微积分
...，在尝过了弱水三千后，辛顿找到了只属于他的那一瓢：人工智能。在当时，人工智能谈不上什么大热研究方向，他找了一个正在研究神经网络的导师希金斯教授，这一下就唤醒了辛顿年少时的记忆： “ 我要的就是让机器实现...……更多
2024-10-09 01:40:00诺贝尔物理学奖,诺贝,物理学,物理,辛顿,菲尔德
...着行业的风评和进一步发展。2017年国务院印发《新一代人工智能发展规划》，其中提道：逐步新增人工智能课程，建设全国人才梯队，倡导在基础教育阶段开展少儿编程教育。这带动了相关概念走俏，多省随后发布文件将其纳...……更多
2024-03-25 08:25:00痛点,兴趣,需求,课程,推广,编程
...新、创新素养与跨文化领导力、商业与管理、数据科学与人工智能4个主题，开展为期30天的跨学科交叉融合课程的学习。访学团成员全部通过结业答辩，其中9名学生获得院士推荐信，访学团的出色表现也获得剑桥大学校方的高...……更多
2024-04-18 03:01:00生为,人才培养,模式,改革,人才,建设
...最好让孩子趁早接触哲学，以及伦理学、美学、修辞学、逻辑学、诗词等课程。这些课程有助于为孩子输送更多精神食粮，帮助孩子升华思想境界，提高思想觉悟，净化心灵，避免孩子只专注短线利益，而忽略长远利益，避免功...……更多
2024-02-29 09:02:00顶尖,人才,世界,科学,孩子,科学家
...人员开发出一个能解国际数学奥林匹克竞赛级别几何题的人工智能(AI)系统，表现超过了之前最好的自动化定理证明系统。该研究证明了AI能以接近人类最高水平破解复杂逻辑挑战的潜力，而这正是AI研究的一个主要目标。该论文...……更多
2024-01-18 17:19:00奥林,奥林匹克,人工智能,几何,竞赛,人工
12月2-3日，“逻辑学与基础教育”学术研讨会暨征文颁奖典礼在江苏省滨海县举行。滨海县副县长李品到会致辞，中国逻辑学会逻辑教育专委会主任吴格明教授宣读中国逻辑学会会长杜国平教授贺信，江苏省社科联党组成员、秘...……更多
2023-12-04 18:04:00滨海,逻辑学,江苏,颁奖典礼,征文,研讨会
本文转自：新华日报本报讯 （徐清） 12月2日—3日，“逻辑学与基础教育”学术研讨会暨征文颁奖典礼在滨海县举行。“逻辑学与基础教育”征文活动在滨海县委、县政府支持下，由中国逻辑学会指导，江苏省逻辑学会、中国...……更多
2023-12-05 05:27:00滨海,逻辑学,研讨会,研讨,逻辑,基础
...已经可以使用。OpenAI宣布，“新模型在推理能力上代表了人工智能能力的新水平，因此，计数器将重置为1”。根据OpenAI的自测，o1在竞赛编程问题（Codeforces）中排名第89个百分点，在美国数学奥林匹克竞赛（AIME）预选赛中位列...……更多
2024-09-18 15:01:00逻辑推理,重磅,推理,逻辑,模型,能力
江南时报讯 日前，盐城市逻辑学会与上海《检察风云》杂志正式签订合作协议，双方约定共同打造逻辑推理文学栏目，旨在学思践悟习近平法治思想和习近平文化思想，传播社会主义法治文化、中华优秀传统法律文化，普及逻...……更多
2024-12-24 11:03:00盐城市,盐城,逻辑,逻辑推理,上海,检察
本文转自：中国教育报#2023两会教育谈#逻辑学不仅是科技创新不可或缺的基石之一，也与自主知识体系建设、和谐社会构建息息相关。有全国政协委员建议，推广现代逻辑教育，让逻辑学更好地服务科技创新和社会发展。相信...……更多
2023-03-05 08:15:00评论员,中国,评论,天下,教育,逻辑
...讯 （薛超睿）3月30日下午，江苏省社科基金项目《中国逻辑学家大辞典》专家审稿会在盐城师范学院文学院举行。会议首先由中国逻辑学会副会长、江苏省逻辑学会会长、大辞典编委会主任、南京大学博士生导师张建军教授主...……更多
2024-04-04 00:58:00中国,评审,辞典,学家,逻辑,专家
...联合国教科文组织规定的第五个“世界逻辑日”，盐城市逻辑学会为普及逻辑知识，提高全社会对逻辑的重视程度，决定在前三届成功举办的基础上，今年继续面向全国网友，举办第四届盐城市逻辑知识有奖大赛。据盐城市逻辑...……更多
2024-01-09 00:18:00盐城市,盐城,第四届,逻辑,大赛,知识
...国古代科学家中的一位。在他之前和之后，还有如墨子的逻辑学、祖冲之的圆周率计算、贾思勰的农业科学等无数科学成就，这些都是中国古代科学的瑰宝。它们或许没有现代科学的精确性和系统性，但在当时的历史条件下，这...……更多
2024-04-12 22:12:00中国,科学,张衡,科学,中国,地动仪
...刚结束国际数学奥林匹克竞赛中，谷歌旗下DeepMind派出了人工智能参赛，并取得了第二名银奖。据了解，DeepMind的AI数学模型由数学推理模型AlphaProof 和几何求解模型AlphaGeometry （阿尔法几何）组成。此次奥数比赛共有六道题，涉...……更多
2024-07-27 16:43:00奥数,人工智能,银牌,人工,赢得,智能
...数据进行训练，以能够自然地理解和生成自然语言文本的人工智能模型。这些模型可以用于自然语言处理任务，如文本分类、文本生成、语言翻译、问题回答和摘要生成等。最近几年，由于深度学习技术的进步，大型语言模型已...……更多
2023-02-24 18:22:00人工智能,人工,数学,智能,问题,工作
...子关注到了！《墨经》把理论和实践相结合，还建立了以逻辑学为核心的完整体系的名辩学。《墨经》甚至上可以说是中国古代微型的百科全书。虽然许多的知识在今天或许已经成为共识，但是《墨经》所代表的墨家对知识的重...……更多
2024-05-28 19:31:00墨子,贡献,机关,数学,墨子,墨家
...青年影迷问我，如何提高自己的审美。这事儿简单，先把逻辑学的内容学习一下，然后跟影视剧作品要逻辑即可。学会了逻辑学，面对《金手指》和《坚若磐石》这类烂片，就会呵呵一笑了。 ……更多
2024-04-15 13:51:00坚如,磐石,金像奖,张艺谋,金手指,金像
...题，尤其是唐三藏从印度带来的因明学，就有一套完整的逻辑学，只可惜太深奥，我们太注重实用就没人去研究了。二、墨家的主张实现不了与儒家不同，儒家倡导仁爱，墨家则倡导“兼爱“，所谓的交相利，兼相爱。也就是对...……更多
2023-05-14 18:17:00墨子,墨家,儒家,逻辑,科学,实践
...村论坛年会举办期间接受记者采访时谈到，数学对于推动人工智能(AI)等的发展有着重要贡献，而人工智能也可以帮助数学发展，但不可能改变数学。2024中关村论坛年会主题为“创新：建设更加美好的世界”。谈到创新，丘成桐...……更多
2024-04-28 16:44:00数学,帮助,数学,科学,清华大学,人工智能
...创新与实践大赛)，以及工信部直属单位举办的YCL(青少年人工智能编程水平测试)考级。她提到，如果拿下白名单赛事的名次，学生可以认证科技特长生，在小升初、中考和高考中，如果所在地区的学校有科技特长生的招生政策，...……更多
2024-03-17 00:31:00科创,赛道,少儿,家长,编程,教育
...非马”的经典论点震惊了当时的学界，更在后世的哲学和逻辑学发展中留下了深远的影响。今天，就让我们一同走进这位辩论高手的世界，看看他是如何在那个“百家争鸣”的时代，运用语言的力量，进行一场场精彩绝伦的辩论...……更多
2024-12-31 09:09:00公孙,辩论,时期,高手,公孙,辩论
...报道称在聊天机器人竞技场（Chatbot Arena）上，OpenAI 的新人工智能模型 o1-preview 和 o1-mini 问鼎榜首。聊天机器人竞技场简介聊天机器人竞技场是一个比较人工智能模型的平台，它利用 6000 多个社区评分对新的 OpenAI 系统进行了评...……更多
2024-09-21 09:33:00大哥,模型,任务,数学,模型,人工智能
他是中国人工智能知识表示研究领域的一个拓荒者。他在贵阳创立了一个研究非单调逻辑的团队，长期以来促进中西方科学家的交流。他对各种形式的非单调逻辑，包含缺省逻辑、回答集程序以及信念修改贡献了大量的结果，...……更多
2024-08-07 20:24:00张明,才望,博学,张明,贵州,贵州大学
...础模型（大语言模型）的理论和算法、自监督学习、可信人工智能。袁洋袁洋是清华大学交叉信息学院助理教授，博士生导师。2012年毕业于北京大学计算机系；2018年获美国康奈尔大学计算机博士学位；2018-2019年前往麻省理工学...……更多
2024-09-24 13:36:00维图,院士,逻辑,模型,一致,理论
更多关于科技的资讯：
快科技1月30日消息，春节假期休息的你去电影院看片了吗，如果去看会首选《封神第二部：战火西岐》吗？1月29日，《封神第二部:战火西岐》在春节档上映
2025-01-30 23:38:00
2025 年央视春晚上，撒贝宁因眉毛过粗登上热搜，被网友戏称为“浓眉大眼”以及“蜡笔小新同款眉”。就连撒贝宁自己也在节目里吐槽了这个梗
2025-01-30 23:38:00
快科技1月30日消息，影驰最新发布了RTX 5080圣刃OC显卡。现在这款新品已经来到我们评测室，下面为大家带来图赏。影驰RTX 5080圣刃OC显卡搭配刃式装甲进行外观设计
2025-01-30 23:38:00
快科技1月31日消息，索泰RTX 5080 16GB SOLID OC显卡现已发布。现在这款新品已经来到我们评测室， 下面为大家带来图赏
2025-01-31 07:38:00
快科技1月31日消息，耕升RTX 5080追风显卡正式发布，为游戏玩家带来了新一代利器。现在这款新品已经来到我们评测室
2025-01-31 07:38:00
快科技1月31日消息，据灯塔AI显示，影片《哪吒之魔童闹海》预测票房上调至50.5亿。2019年上映的《哪吒之魔童降世》最终票房为50
2025-01-31 07:38:00
家电补贴，是最近几个月横贯在所有国内消费者心中的一个词，似乎每次遇到国内经济状况面临较大压力时，家电补贴都会强势上线。它就像一个终极版本答案一样
2025-01-31 08:08:00
发现并归纳元素周期律的门捷列夫曾经说过，“科学是从测量开始的”，这句话的意思是说，没有精密测量就没有现代自然科学，而测量精度的提高往往会带来新的科学规律发现
2025-01-31 08:08:00
“大家值班辛苦了，今天的情况怎么样？”1月29日8时30分，雄安城市计算中心内的雄安云网科技有限公司（以下简称“雄安云网公司”）总经理助理曹英走进雄安城市计算中心地下一层的智能城市运维中心
2025-01-31 08:37:00
1月31日消息，看完蛇年春晚《借伞》，唤醒了人们对《白蛇传》这一经典传说的美好记忆，也让杭州这座充满浪漫与传奇色彩的城市再次成为众人瞩目的焦点
2025-01-31 08:38:00
快科技1月31日消息，快科技1月31日消息，据媒体报道，本田技研宣布将于2025年4月1日起进行一系列组织和运营改革。据悉
2025-01-31 08:38:00
快科技1月31日消息，近日网上流传了一份DeepSeek母公司深度求索发出的倡议书，其中号召中国科技公司团结起来。从倡议书中可以看到
2025-01-31 09:08:00
快科技1月31日消息，优派推出了新款23.8寸显示器VA24G25，首发仅399元。这款显示器配备23.8寸IPS面板
2025-01-31 09:38:00
1月31日消息，据国内媒体报道称，近日在江西九江都昌县，一辆尼桑车停在鞭炮灰烬上起火，殃及旁边的奔驰车，导致两车烧毁。上述事件也是引发了网友的热议
2025-01-31 09:08:00
一、前言：更贴近游戏玩家需求的准旗舰显卡NVIDIA在2025年开年推出了全新的GeForce RTX 50系显卡，旗舰级别的GeForce RTX 5090 D价格直接来到了16000元之上
2025-01-30 22:38:00