不得了，这个名叫Gauss（高斯）的新AI Agent，有点杀疯了的感觉。 因为它只用了三周的时间，就完成了陶哲轩和Alex Kontorovich提出的数学挑战—— 在Lean中形式化强素数定理（P … Continue reading 陶哲轩18个月没搞定的数学挑战，被这个“AI高斯”三周完成了
标签： Gauss
消息称三星高斯 AI 大模型支持中文，用于国行 Galaxy S24 系列手机
感谢网友 软媒新友1933769 的线索投递！ 11 月 14 日消息，在本月早些时候的三星人工智能论坛 2023 上，三星官方正式公布了其自研的生成式 AI 产品 Gauss（高斯），以传 … Continue reading 消息称三星高斯 AI 大模型支持中文，用于国行 Galaxy S24 系列手机
