北京
分享至
行业动态
OpenAI称其模型可攻克数学难题，引学界质疑 美国人工智能公司OpenAI在GitHub平台发布700多篇数学手稿，声称其模型解决了数百个数学难题，涵盖代数、逻辑、几何和概率等多个领域。这一成果在全球数学界引发争议，有数学家感到振奋，也有人质疑成果的验证方式和研究被抢先发表。OpenAI声称其AI模型已解决300多个人类之前无法攻克的数学难题，但部分数学家对此持怀疑态度。
智元投入超2亿元入局高校具身智能，首批合作20余所高校 10月13日，界面新闻获悉，智元“元苼生态发展计划”与国内20余所高校开展合作，共建具身智能产教融合创新实践平台。首批合作高校包括北京大学、清华大学、浙江大学、上海交通大学等。据悉，智元将投入超过1000台具身智能设备，涵盖轮式、人形及四足机器人，并提供AIMA开发平台，机器本体与软件会员权益总额约2亿元。后续双方还将围绕课程共建、科研课题、师资培训及学生实训等开展合作。
从“为什么”到“怎么做” 在实践中传承科学精神 北京大学工学院与丰台教委合作开展的“工育青芽”科创进校园项目第二期结题仪式在北大新奥工学大楼举行。50余名中小学生展示了自制的水火箭、四足机器人等科创成果，体现了项目对学生工程实践能力的培养。项目通过全流程实践，引导学生从“为什么”到“怎么做”，从“想法”到“方案”，提升学生应对挑战和解决问题的能力。丰台区通过“四维联动”机制，整合高校、科技场馆和企业资源，为学生提供丰富的科创实践机会。
全球直播！Astra狂破整数乘法纪录，AI蜂群24小时击穿CS圣杯 数学家、极客和AI智能体在GitHub上合作，成功将OpenAI第109号数学难题的核心参数k从2^182提升至0.00129，实现了数亿倍的指数级突破。此次突破得益于人类直觉与AI的协同工作，尤其是人类研究者Jacob Sussman引入的E8几何概念，打破了算法阻力，最终实现了突破。这一成果标志着去中心化科学的崛起，预示着未来更多数学难题的攻克。
教育产业日报(10.12) : 行业动态 人工智能（AI）正推动生物医药新药研发变革，AlphaFold3等AI工具应用于真实科研生产场景。中国移动的“天工智衍”工作站提供科研智能服务，助力科研创新。全球经济体推进AI与基础科学融合，科研范式变革到来。我国职业教育首个未来实训中心项目将发布，世界职业技术教育发展大会将发布国际职业教育标准和白皮书。腾讯云以31.5%市场份额领跑中国教育云市场，助力教育企业智能化、全球化成长。天津渤海职业技术学院与泰国大城技术学院共建全球首个EPIP工程技术中心，深化职业教育“走出去”战略。
本文由小欧AI基于亿欧数据生成，如有问题及建议，欢迎通过网站底部联系方式和我们联系。
特别声明：以上内容(如有图片或视频亦包括在内)为自媒体平台“网易号”用户上传并发布，本平台仅提供信息存储服务。
Notice: The content above (including the pictures and videos if any) is uploaded and posted by a user of NetEase Hao, which is a social media platform and only provides information storage services.
