陶哲轩IMO演讲全文:一次性解决一千个问题,AI让数学摆脱蛮力计算
陶哲轩IMO演讲全文:一次性解决一千个问题,AI让数学摆脱蛮力计算在探索「数学之美」的路上,人工智能到底走到哪一步了?说到这个话题,可能没人比数学家陶哲轩更懂。他几乎是最常用 AI 辅助证明的数学家之一,还在今年的 AI 数学奥林匹克竞赛(AIMO 进步奖)担任了顾问委员。
搜索
在探索「数学之美」的路上,人工智能到底走到哪一步了?说到这个话题,可能没人比数学家陶哲轩更懂。他几乎是最常用 AI 辅助证明的数学家之一,还在今年的 AI 数学奥林匹克竞赛(AIMO 进步奖)担任了顾问委员。
最近,又一款国产 AI 神器吸引了众网友和圈内研究人员的关注!它就是全新的图像和视频生成控制工具 —— ControlNeXt,由思谋科技创始人、港科大讲座教授贾佳亚团队开发。
近日,HuggingFace开源了低成本AI机器人LeRobot,并指导大家从头开始构建AI控制的机器人,包括组装、配置到训练控制机器人的神经网络。
新一轮洽谈成功后,OpenAI 的公司估值将突破1000亿美元。
OpenAI再迎新一轮巨额融资,估值破千亿美元大关,稳坐AI初创公司身价头把交椅。
炸裂!世界上首个完全由AI驱动的游戏引擎来了。谷歌研究者训练的GameNGen,能以每秒20帧实时生成DOOM的游戏画面,画面如此逼真,60%的片段都没让玩家认出是AI!全球2000亿美元的游戏行业,从此将被改变。
Midjourney 在没有任何融资的情况下做到了 2 亿美金的收入,成为大家非常关注的一个案例。关于它要进军硬件领域的消息传了好久,今天 Midjourney 在 X 上正式官宣了这个消息,并给出了招聘渠道,整个硬件团队位于旧金山。
最近AI编程工具 Cursor 火了。
他被誉为“全球技术领域投资之王”。
智东西8月27日消息,据TechCrunch报道,AI动画黑马创企Viggle昨晚宣布已完成1900万美元的A轮融资。本轮融资由硅谷顶级风投Andreessen Horowitz(a16z)领投,Two Small Fish跟投。