标签：AI
刚刚，AI破解50年未解数学难题！南大校友用OpenAI模型完成首个非平凡数学证明
AI辅助人类完成了首个非平凡研究数学证明，破解了50年未解的数学难题。这项研究由美国纽约布鲁克海文国家实验室的华人学者Weiguo Yin主导，通过引入最大对称...
GitHub Copilot 现可在 Windows 终端中运行了
GitHub Copilot 现已集成到 Windows 终端 Canary 中，推出了一项名为“终端聊天”（Terminal Chat）的 AI 驱动特性。这一功能使用户能够直接在终端环境中获得命...
10万奖金×认知升级！OceanBase首届AI黑客松广发英雄帖，你敢来么？
从 ChatGPT 到 GPT-4o，AI 技术的每一次跨越都印证了数据质量对智能高度的决定性作用。如今，AI 技术正在反哺数据库领域，推动其从幕后走向台前，完成智能时...
解秘阿里 AI 战略：从未发布，但已开始狂奔
阿里巴巴在AI时代的战略布局正逐步清晰，尤其是在2025年春节后，DeepSeek的崛起引发了中国科技圈的震动，促使各大科技公司重新审视其AI战略。阿里巴巴作为国...
AI生成字体设计我有点玩明白了，用这套Prompt提效50%。
阿真通过即梦3.0探索了一种创新的文字设计方法，能够通过输入文字内容生成具有视觉冲击力的设计效果。这一方法的核心在于使用提示词模板，结合AI工具，生成符...
美团开始猛补课，“不睡觉也要搞AI”
美团近期在AI领域的动作引发了广泛关注。尽管美团创始人王兴早已意识到AI的潜力，但公司此前在AI领域的进展相对缓慢。然而，自2024年3月以来，美团明显加快了...
来见面吧！AI和汽车技术论坛@慕尼黑上海电子展
慕尼黑上海电子展将于2025年4月15日至17日在上海新国际博览中心举行，展会规模再创新高，展出面积突破10万平米，汇聚1800家顶级展商，预计吸引超过8万名专业...
美科技界焦虑横行：岗位减少、薪酬缩水、AI崛起
随着AI技术的迅猛发展，科技行业的就业市场正经历前所未有的变革。大型企业纷纷采用AI编码工具取代人力，导致薪资下降和求职周期延长。2023年底，Zach Pretze...
AI席卷校园：百万条对话揭秘，Claude是代码救星还是作弊工具？
随着人工智能（AI）技术的快速发展，其在教育领域的应用日益广泛，特别是在高等教育中，AI已成为学生学习和研究的重要工具。一项由Anthropic开展的大规模研究...
奥特曼：ChatGPT不是AGI！OpenAI最强开源模型直击DeepSeek
OpenAI即将发布满血版o3、o4-mini以及o4-mini high模型，这些模型预计将在下周亮相。与此同时，一款名为Optimus Alpha的神秘模型在OpenRouter平台上迅速崛起...
