“微软”的搜索结果
加州理工华人用AI颠覆数学证明！提速5倍震惊陶哲轩，80%数学步骤全自动化
新智元报道了加州理工学院团队在形式化数学工具Lean Copilot方面的最新进展。Lean Copilot是一个自动化数学证明工具，能够辅助数学家进...
Arena-Hard：开源高质量大模型评估基准
该文章介绍了一个专注于AIGC领域的专业社区，关注微软 & OpenAI、百度文心一言、讯飞星火等大语言模型（LLM）的发展和应用落地的平...
“AI刘强东”直播首秀引热议：谁将无工可打？
在这篇文章中，作者通过一系列实例探讨了人工智能（AI）在各个领域的应用及其对未来工作环境的影响。文章开头提到了以刘强东为原型的AI...
文本生成8K、360度全景世界！Model 3重磅发布
这篇文章介绍了专注于AIGC领域的专业社区，关注微软 & OpenAI、百度文心一言、讯飞星火等大语言模型（LLM）的发展和应用落地的情况。文...
AI 正在“吸干”全球电力？更可怕的事还在后面
本文探讨了人工智能（AI）技术发展中面临的能耗问题，特别是对电网造成的压力。文章首先提到了人们对AI能耗的担忧，以及微软在训练GPT-6...
AI教母李飞飞：AI学术界没钱没资源！没有拨款将会凋亡
随着科技公司提供的高薪酬和资源，越来越多的科研人才选择离开学术界，转投科技大厂。这一现象引起了AI领域的广泛关注，包括斯坦福大学...
英伟达市值一夜蒸发超1.5亿，美国担忧 AI 热潮熄火｜钛媒体AGI
AI热潮在股市中显现出冷却的迹象，特别是在美股市场上。超微电脑（SMCI）和英伟达（NVDA）这两家公司的股价在短时间内经历了剧烈的下跌...
走近李生教授：培养出周明、王海峰等数位AI科学家，NLP国际最高奖项得主的科研之路
李生教授是中国自然语言处理领域的杰出科学家，他的科研生涯和教育事业为中国人工智能领域的发展做出了巨大贡献。本文详细回顾了李生教...
4000亿参数，国产大模型硬刚Llama 3？｜钛媒体AGI
随着中国加速研发AI大模型技术，追赶美国，如今已迎来新的节点。北京时间4月18日，Meta推出了新版开源大模型Llama 3，并推出了8B和70B的...
2024年值得关注的6大生成式AI趋势
2023年标志着人工智能（AI）领域的一个飞跃年份，特别是生成式AI技术的迅猛发展。中国市场上涌现出200多个大型AI模型，尽管它们的发布伴...
