陶哲轩宣布“等式理论计划”成功，人类AI协作，57天完成2200万+数学关系证明
陶哲轩宣布“等式理论计划”成功，人类AI协作，57天完成2200万+数学关系证明57天，人类和AI合作搞定了4694个等式之间22028942个蕴含关系！
来自主题: AI技术研报
4926 点击 2024-11-23 16:46
# 热门搜索 #
大模型
人工智能
openai
融资
chatGPT
57天，人类和AI合作搞定了4694个等式之间22028942个蕴含关系！
在各大科技公司纷纷竞相资助生成式 AI 之际，亚马逊正向 AI 初创公司 Anthropic 额外投资 40 亿美元。这将使亚马逊对 Anthropic 的总投资（自去年开始）达到 80 亿美元。
开源模型阵营又迎来一员猛将：Tülu 3。它来自艾伦人工智能研究所（Ai2），目前包含 8B 和 70B 两个版本（未来还会有 405B 版本），并且其性能超过了 Llama 3.1 Instruct 的相应版本！长达 73 的技术报告详细介绍了后训练的细节。
时隔5年，巴黎圣母院终于完成修复，将在12月7日重新开放。在这场耗资数亿欧元的浩大工程中，3D建模等关键AI技术发挥了关键作用，让历经800多年沧桑的教堂与现代科技完美融合。
根据一份 SEC 文件 Crusoe Energe ，一家正在建设数据中心的初创公司，据报道将租赁给甲骨文、微软和 OpenAI，正在筹集 8.18 亿美元。
据全球知名创投研究机构 CB Insights 发布的统计数据显示，2024 年第三季度，接近 1/3（31%）的风险投资流入了 AI 初创企业。另根据 Crunchbase 的数据，AI 公司在 2024 年第三季度筹集了 190 亿美元，占所有风险投资的 28%。2024 年第三季度还完成了有史以来最大的风险投资交易：OpenAI 募集了 66 亿美元的巨额资金。
5款预构建Agent、数百万AI协作前景。
近日，Chegg在向美国证券交易委员会提交的文件中宣布将再裁员441人，自去年以来，这家公司已经裁员两次，去年6月裁员约80人，今年6月裁员319人。自ChatGPT发布以来，Chegg失去了超过50万的付费订阅用户，股价从2021年初的高点下跌了99%。
1966年，首个AI精神健康聊天机器人Eliza问世，作为一种简单的自然语言处理程序，它模拟了心理治疗师的对话风格，标志着AI在心理健康领域应用的起点。
AI智能体，已经无限逼近真实人类？1000个人被采访，每人两小时，真实人类的智能体就这么水灵灵地被投放进去了，结果更是令人吃惊：在模拟人类行为上，智能体已经85%逼近真实人类。AI，终究是预判了你的预判。