新闻中心 
-
10-24Meta FAIR 和 Samaya AI 团队利用 AI 提高维基百科的可验证性编辑|白菜叶可验证性是维基百科的核心内容政策：声明需要有引用的支持。维护和提高维基百科参考文献的质量是一项重要的挑战，迫切需要更好的工具来帮助人类完成这项工作。...
-
10-23陶哲轩上手Copilot：不可思议，它能从定理名字猜出我想要的方向尝鲜GPT-4之后，陶哲轩又用上了GithubCopilot。这一次，他的试用场景是学习Lean语言并利用其形式化数学定理。对于大模型来说，形式化的定理证明也算...
-
10-23聚焦计算赋能创新，第三届智能计算创新论坛成功举行新型计算方法的最新发展状况如何？能够帮助实现智能计算系统的先进技术是怎样的？如何利用智能方法辅助计算系统设计、调度和理论研究？怎样推动智能计算软硬件平台在科学研...
-
10-23你的GPU能跑Llama 2等大模型吗？用这个开源项目上手测一测在算力为王的时代，你的GPU可以顺畅的运行大模型（LLM）吗？对于这一问题，很多人都难以给出确切的回答，不知该如何计算GPU内存。因为查看GPU可以处理哪些LL...
-
10-212025世界VR产业大会签约金额超456亿元IT之家10月21日消息，世界VR产业大会宣布，2023世界VR产业大会签约项目数量116个，签约金额456.15亿元。该大会由工业和信息化部、江西省人民政府主...
-
10-20腾讯OCR团队斩获ICDAR大赛四项冠军在全球文字识别（OCR）领域顶级盛会ICDAR2023上，腾讯OCR团队基于自研算法，斩获四项冠军，这是继2017年、2019年、2021年以来，连续四届参会同...
