日前，中国科学院大数据挖掘与知识管理重点实验室联合南方周末，发布《 2018 中国K12 在线教育消费者调查报告》。报告显示，中小学在线数学市场被四大品牌占据，其中洋葱数学一家独占62%的市场份额。调查显示，76.7%的受访家长表示为孩子选择在线教育。其中，在小学、初中学段得家
......
本文由站长之家用户投稿发布于站长之家平台，本平台仅提供信息索引服务。为了保证文章信息的及时性，内容观点的准确性，平台将不提供完全的内容展现，本页面内容仅为平台搜索索引使用。需阅读完整内容的用户，请查看原文，获取内容详情。
（推广）
特别声明：以上内容(如有图片或视频亦包括在内)均为站长传媒平台用户上传并发布，本平台仅提供信息存储服务，对本页面内容所引致的错误、不确或遗漏，概不负任何法律责任，相关信息仅供参考。站长之家将尽力确保所提供信息的准确性及可靠性，但不保证有关资料的准确性及可靠性，读者在使用前请进一步核实，并对任何自主决定的行为负责。任何单位或个人认为本页面内容可能涉嫌侵犯其知识产权或存在不实内容时，可及时向站长之家提出书面权利通知或不实情况说明，并提供身份证明、权属证明及详细侵权或不实情况证明（点击查看反馈联系地址）。本网站在收到上述法律文件后，将会依法依规核实信息，沟通删除相关内容或断开相关链接。
随着大型语言模型的出现，人工智能和数学问题求解领域取得了显著进展。这些模型在面对复杂的数学挑战时仍然存在问题。对工具交互的优势和挑战进行的全面分析为未来的研究提供了重要见解，有望开发更先进和适应性更强的推理代理。
日前，2023阿里巴巴全球数学竞赛获奖名单正式出炉，瞿霄宇、李一笑、郝天泽、张盛桐荣四位获得金奖，他们平均年龄仅为22岁，有着不凡的天赋，热爱数学也更热爱生活。阿里数学竞赛已连续举办五届，正在成为发掘数学新星的闪亮舞台，走出了十余名新生代数学家。公开资料显示，阿里巴巴全球数学竞赛以不设报名门槛、赛题趣味十足闻名，共吸引了来自全球70多个国家和地区超过25万人次参与，已成为全球规模最大的在线数学竞赛，全社会对数学的热情正在被点燃。
智谱AI发布MathGLM数学模型，旨在增强大模型在数学推理方面的性能。它能够精确计算算术运算，包括基础算术运算和复杂混合运算，并提升模型的中文数学解决能力。MathGLM还在解决不同年级数学问题和数学应用题上进行了实验，取得了较好的结果。
上海交大生成式人工智能研究组的阿贝尔模型在数学推理领域取得了重大突破，打破了美国AI公司在这一领域的霸榜局面，成为国内开源模型排行榜首。阿贝尔项目的成功背后是有监督精调方法的巧妙运用，以及精心策划的训练数据。尽管仍然存在一些挑战和局限性，但这一成就为国内的人工智能研究团队赢得了国际认可，为AI领域的发展注入了新的活力。
根据洛图科技数据显示，2023年前8个月，中国便携式显示器在线上公开零售市场的监测销量达到20.2万台。2023年全年中国便携式显示器线上市场的零售规模将达到32.1万台，同比增长62%。14-16寸为便携式显示器市场的第一尺寸段，累计份额达到66%。
随着高端手机需求的增加，以及苹果iPhone在印度实现了量产，印度高端化智能手机市场份额大幅提升，从2019年的0.8%增长至2023年上半年的6.1%。市场研究公司IDC的数据显示，苹果是印度800美元以上智能手机细分市场的最大赢家，上半年占据了67%三星仅占31%。Counterpoint预测，这些机型将占第四季度印度iPhone15整体出货量的25%，相比去年同期的iPhone14Pro/Max机型出货量增长4%。
今天下午，阿里巴巴将在北京大学举办2023阿里巴巴全球数学竞赛颁奖典礼，获奖名单正式出炉。其中金奖是阿里巴巴全球数学竞赛的最高荣誉，此次共有4人获奖，其中3名来自北京大学，1名来自美国斯坦福大学。大量新生代数学家通过数赛走向更大的舞台，如获得首届金奖的青年数学家韦东奕。
对标GPT-4代码解释器，港中大最新研究放了个“大招”:他们开发了一个叫做MathCoder的大模型，数学能力直接在竞赛级“题库”Math上超过GPT-4。做到这一点靠的就是无缝集成代码的能力——在遇到数学问题时，它不仅能用自然语言推理能自动编写和执行代码来建模、推导公式与方程。通讯作者为李鸿升，为港中大电子工程系副教授，同时也就职于上海人工智能研究室。
近日， 2023 南京人工智能产业发展大会正式开幕。会上，信通院发布可信 AI 评估结果，三六零（601360.SH，下称“360”）集团的自研认知型通用大模型 360 智脑以4+级别通过模型开发、模型能力两个模块验证，成为业界为数不多通过4+级别验证的大模型之一，这也是目前国产大模型达到的最 高能力级别。 此前，信通院联合大模型工作组百余家单位，共同研制了《大规模预训练模�
数学通才「猛犸」模型给开源语言模型带来了「推理春天」，面对GPT-4都有一战之力!数学推理问题是语言模型绕不过的痛点，在各种黑科技的加持下，开源模型的推理性能依然不够看。滑铁卢大学、俄亥俄州立大学、香港科技大学、爱丁堡大学的研究人员联合开源了一个专为「通用数学问题」定制的大模型MAmmoTH和一个指令调优数据集MathInstruct.论文链接:https://arxiv.org/pdf/2309.05653
