AI助攻「菜鸟数学家」解决忙碌海狸问题，陶哲轩转发分享
AI助攻「菜鸟数学家」解决忙碌海狸问题，陶哲轩转发分享在 AI 的帮助下，越来越多的数学问题得到了解决。
来自主题:
AI资讯
9864 点击 2024-07-04 13:31
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
搜索
在 AI 的帮助下，越来越多的数学问题得到了解决。
无需录制团队、拍摄装备、摄像技能或后期编辑。
AI输入法不止输入。
无法阻止，不如拥抱
本质是生态之争
硅谷圈又双叒叕要地震了？
让手语越来越有存在感
张雪峰和AI，各做各的生意
在可信AI的世界里，需要的不仅是理性
趁国内大模型“虚弱”，抢跑者取胜。
Sora 再不开放，这饭就真捂臭了。。
3D 生成，一直在等待它的「ChatGPT时刻」。
沉睡了两千多年的兵马俑，苏醒了？
适当做减法，效果会更好。
只需Image Tokenizer，Llama也能做图像生成了，而且效果超过了扩散模型。
为了让大模型在特定任务、场景下发挥更大作用，LoRA这样能够平衡性能和算力资源的方法正在受到研究者们的青睐。
英伟达CEO黄仁勋的最新炉边谈话，被热议了。
对于开发者来说，编码是一个既复杂又精细的过程。如何让这个过程变得更简单、更智能？如何进一步提升开发效率？豆包 MarsCode 近日正式发布，针对这些问题给出了新的答案。
吃个瓜而已，AI居然写了份研究报告？？
马斯克连回两条推文为xAI造势，宣布8月发布Grok 2，年底将推出在10万张H100上训练的Grok 3，芯片加持创新数据训练，打造对标GPT的新一代大语言模型。
Meta的GenAI团队在最新研究中介绍了Meta 3D Gen模型：可以在不到1分钟的时间内从文本直接端到端生成3D资产。
「忙碌海狸」难题困扰了计算机科学家40多年。如今，来自全球各地20+业余开发者和数学家们，终于取得了突破性进展。他们抓到了第五只忙碌海狸——用Coq辅助证明，得到答案47176870。对此陶哲轩激动地表示，这再次体现了证明助手对数学研究协作的重要性。
如何才是一台能真正帮到孩子的AI学习机？最近，搭载了星火4.0大模型，并全面升级AI 1v1答疑辅导实现了超拟人对话的讯飞AI学习机，堪称最省爸妈的AI神器。
随着个性化聊天机器人的新鲜感逐渐消失，竞争也愈演愈烈。Meta Platforms 在去年秋天发布了以汤姆-布雷迪（Tom Brady）等名人为模型的聊天机器人后，上周开始测试由个人创建者制作的聊天机器人。谷歌也一直在开发一款用于创建和与定制聊天机器人对话的产品，最快可能在今年推出。
这是一篇两个月前就应该写的文章。
对一个小众设计师品牌来说，在线上经营最难的事是什么？
AI视频续写火爆短视频平台，引发法律风险担忧。
36氪获悉，快进时代（厦门）科技有限公司旗下「快进商店」宣布完成数百万美元战略融资，投资方为纳斯达克上市公司第九城市。本轮融资资金将主要用于产品升级及市场拓展。此前，「快进商店」已经完成了由小一创投投资的数百万人民币天使轮融资以及挑战者创投投资的千万级人民币Pre-A轮融资。
OpenAI不再Open，有意为之还是无奈之举？
先进动力单元帮助人形机器人实现快速搭建。
