知洞—基于大模型的智慧题库 | OPENAIGC开发者大赛高校组金奖

作品名称:知洞—基于大模型的智慧题库参赛团队:杭州电子科技大学知洞产品项目组作品简介知洞是一款基于人工智能大模型技术的智慧教育应用产品,针对考研要求的高数、英语、政治等提供智能出题、智能批改、智能解析等功能。应用背景现有的教育模式通常采用“一刀切”的方式,难以满足学生个体差异化的学习需求;教师工作...

清华校友用AI破解162个高数定理,智能体LeanAgent攻克困扰陶哲轩...

因为文献中不存在其他用于定理证明的终身学习框架,因此研究者进行了一项消融研究,使用七个终身学习指标,来展示LeanAgentAI智能体在处理稳定性-可塑性权衡方面的优越性。这些结果有助于解释LeanAgentAI智能体在sorry定理证明性能方面的优势。研究者为原始的14个代码库课程计算了这些指标。具体来说,消融研究包括七个...

OPENAIGC开发者大赛高校组金奖 | 知洞—基于大模型的智慧题库

知洞利用人工智能大模型技术以及改善后的逻辑思路,为学生提供个性化的学习体验以及精确的解题思路,并辅助教师进行教学和管理工作。核心技术和创新点知洞智慧题库的创新之处在于其深度融合了大模型技术,实现了个性化的学习体验。系统能够根据学生的学习行为等智能推荐学习内容,并通过实时智能解析与批改功能,提供即时反馈,...

特色专业 | 通用人工智能实验班:通识、通智、通用

“人工智能是一个非常大的交叉学科,本身就有一个庞大的体系。”通班的领衔创立者,北大人工智能研究院院长、讲席教授朱松纯介绍说。通用人工智能的研究目标是寻求统一的理论框架来解释各种智能现象,并研发具有高效的学习和泛化能力、能够根据所处的复杂动态环境自主产生并完成任务的通用人工智能体,使其具备自主的感知、...

人工智能的2024:大模型太雷同,卷应用的时候到了|海斌访谈

OpenAI是人工智能旷野里醒目的坐标，是其他企业模仿和追逐的对象，以至于业内认为现在的大模型都太雷同了。到了2024年，应用端的突破也许比大模型本身更值得期待。大模型“太雷同”OpenAI打响了人工智能阶段性突围的一枪。这之后，美国、中国等地的科技公司的恐惧和热情都被激发出来了。恐惧来自于被时代抛弃的风险，...

25考研题源外刊阅读《金融时报》双语精读版训练--警惕人工智能...

阅读理解题WhatisthemainmessageconveyedbyOpenAI'sexperimentwithGPT-4,asdiscussedinthearticle?a)OpenAI'sadvancedAIchatbotGPT-4successfullyassistedinthecreationandreleaseofabiologicalweapon.b)OpenAI'sGPT-4providedonlyaslightimprovementineffortsto...

AI制造的美女,“卷”翻了真人网红

01全球第一届“AI小姐”选美比赛落幕,摩洛哥AI网红肯萨·蕾莉夺冠,成为“AI小姐”。02肯萨·蕾莉在社交媒体上拥有20多万粉丝,她的形象和技术受到关注。03然而,部分观众对AI网红的美感表示质疑,认为它们过于刻板印象。04事实上,AI网红的兴起引发了关于美丽、性别刻板印象和资本驱动的讨论。

“造假”的谷歌,暴露了AI大模型行业的致命问题

实际的交互过程是工作人员用一组静态的图像再配合易于AI大模型理解的提示词——“这是一个游戏”。这才使Gemini答出“在玩石头剪刀布”。这两种交互差别非常大，意味着谷歌将一个靠着拼音注释理解少儿读物的AI，包装成秒解深奥高数题的样子展示给大众。正如那难以发现的“最终解释权归商家所有”套路一样，谷歌也玩...

GitHub上读北大:AI高数等130多门课 讲义考题答案全有

从计算机系统导论,到人工智能专业课,这里都能找到,并且画风清奇。先看导论。除了常规的期中期末考卷,点开PV操作,可以看到许多奇怪的操作题:带有情节的考题,可以锻炼同学们的想象力实际应用能力。只是不知道,顾客走进的时候,从梦中惊醒的理发师,会理出怎样的车祸来。

当AI学会高数:解题、出题、评分样样都行

“高等数学里程碑式的研究”,114页论文让AI文理双修,也许不久后机器出的高数试卷就会走进高校课堂,这下可以说“高数题不是人出的了”。编译|王晔编辑|青暮人工智能虽然给我们带来了诸多便利,但也不免受到了各种质疑。在互联网领域表现良好的人工智能,在数学领域的很多表现却被认为是“出乎意料地糟糕”。基...