AI资讯新闻榜单内容搜索-o

关键词: 忙碌海狸,Coq,AI数学,AI助手,AI科研

「忙碌海狸」难题困扰了计算机科学家40多年。如今，来自全球各地20+业余开发者和数学家们，终于取得了突破性进展。他们抓到了第五只忙碌海狸——用Coq辅助证明，得到答案47176870。对此陶哲轩激动地表示，这再次体现了证明助手对数学研究协作的重要性。

关键词: AI,AI社交,Character.AI,AI应用

随着个性化聊天机器人的新鲜感逐渐消失，竞争也愈演愈烈。Meta Platforms 在去年秋天发布了以汤姆-布雷迪（Tom Brady）等名人为模型的聊天机器人后，上周开始测试由个人创建者制作的聊天机器人。谷歌也一直在开发一款用于创建和与定制聊天机器人对话的产品，最快可能在今年推出。

关键词: AI,AI电商,大模型,poco blush

对一个小众设计师品牌来说，在线上经营最难的事是什么？

关键词: openai,大模型,AI,人工智能

OpenAI不再Open，有意为之还是无奈之举？

关键词: openai,AI,AI监管,CriticGPT,chatGPT

或许只有用大模型来监督大模型，才能出现超越人类的人工智能。

关键词: AI,Character AI,Stability AI,GPT-4o

Character AI 也要走上 Stability AI 的老路了？

关键词: AI,数据集,模型训练,openai

苍蝇再小也是肉，聚沙成塔。

关键词: 多模态,AI,从容大模型,Claude3.5-Sonnet,云从科技

国产多模态大模型的头号交椅，再次易主

关键词: 文生图,提示词,AI,AI图片,大模型

文生图也有自己的prompt优化工具了。

关键词: 豆包,MarsCode,AI,AI应用

因为 AI 为自己的工作焦虑，这件事不是一天两天了。