Meta、斯坦福等:AI的下一个前沿,正是陶哲轩说的形式化数学推理
机器之心报道编辑:Panda、佳琪对 AI 研究者来说,数学既是一类难题,也是一个标杆,能够成为衡量 AI 技术的发展重要尺度。近段时间,随着 AI 推理能力的提升,使用 AI 来证明数学问题已经成为一个重要的研究探索方向。著名数学家陶哲轩就是这一方向的推动者,他曾表示 ......
美国斯坦福抄袭中国大模型事件背后,让国人重新评估中美 AI 差距与价值|钛媒体AGI
(图片来源:钛媒体App编辑拍摄) 美国斯坦福AI团队抄袭清华系大模型事件持续发酵,引起舆论哗然。 钛媒体6月4日消息,针对斯坦福大学AI团队主导的 Llama3-V 开源模型被证实套壳抄袭国内开源模型MiniCPM-Llama3-V 2.5一事,斯坦福Llama3-V团队作者之一的Aksh...
斯坦福报告:全球已授权的人工智能专利61.1%来自中国
划重点 01斯坦福大学发布《2024年人工智能指数报告》,显示全球已授权的人工智能专利61.1%来自中国和美国。 022023年,著名机器学习模型总数排名前三的国家分别为美国、中国和法国,美国以61个著名机器学习模型遥遥领先。 03尽管人工智能在一系列任务中已达...