新闻中心 
-
04-23加州理工华人用AI颠覆数学证明！提速5倍震惊陶哲轩，80%数学步骤全自动化LeanCopilot，让陶哲轩等众多数学家赞不绝口的这个形式化数学工具，又有超强进化了？就在刚刚，加州理工教授AnimaAnandkumar宣布，团队发布了L...
-
04-22四款值得推荐的AI辅助编程工具这个AI辅助编程工具在这个AI迅速发展的阶段，挖掘出了一大批好用的AI辅助编程工具。AI辅助编程工具能够提高开发效率、改善代码质量、降低bug率，是现代软件开发...
-
04-22史上首次！AI驾驶战机成功与人类飞行员空中「狗斗」AI操纵的战斗机又一次进化了！近日，美国DARPA透露称，去年9月一架由F-16改装而成的AI验证机，有史以来首次成功地在视距内与人类飞行员进行空中缠斗（俗称狗...
-
04-19GPT Store都开不下去，这家国产平台怎么敢走这条路的？？注意看，这个男人把超1000种大模型接入，让你可插拔无缝切换使用。最近还上线了可视化的AI工作流：给你一个直观的拖放界面，拖拖、拉拉、拽拽，就能在无限画布上编排...
-
04-19AI无处不在：跨越边缘和可持续人工智能(AI)的整合无处不在，为各个行业提供了变革机会。其中一种范式转变是人工智能与边缘计算的融合，促进可持续解决方案和创新应用。企业可以利用人工智能的快速发...
-
04-17构建生成式AI创新安全体系，亚马逊首席安全官教你三招亚马逊云科技在全球拥有数百万客户，每天追踪的事件达数十亿条，这让亚马逊云科技能检测到更多的安全威胁。2019年亚马逊云科技首席安全官SteveSchmidt正式...
