DeepSeek开源数学大模型,高中、大学定理证明新SOTA
DeepSeek开源数学大模型,高中、大学定理证明新SOTAAI 技术与数学发现的进展,正前所未有地交织在一起。
搜索
AI 技术与数学发现的进展,正前所未有地交织在一起。
我们正在见证又一轮技术革新,这一次是 AIGC 为个体提供表达自我的工具,让创作变得更加容易和普及,但背后的推动力却并不是「大」模型。
现存的LLM是否真的有用?在工作中真实使用LLM的场景都有哪些?谷歌DeepMind科学家详细分享了他是如何「玩转」AI,帮助自己提质增效的。
你面对主播可能不是真的小姐姐。
马斯克“最新直播”,不好好扣他那polo衫扣子,拿个手机打光晃来晃去。
最近,这几位TED演讲者,在外网形成了病毒式传播,然而,他们竟然全都不是真人?!答案揭晓后,五百万网友简直惊掉下巴。这5张图里,你能发现几个bug?
近年来,基于从头算参考计算的机器学习力场 (MLFF) 的开发取得了巨大进展。虽然实现了较低的测试误差,但由于担心在较长的模拟时间范围内会出现不稳定性,MLFF 在分子动力学 (MD) 模拟中的可靠性正面临越来越多的审查。
眼见为实?在AI时代,这句话该过时了。
但可能打不过公园里的老大爷?
陶哲轩一场新鲜出炉的演讲,为我们带来了一场干货满满的思想盛宴。