Replit 推出 Agent 能力重大创新与全新设计-Amjad Masad Replit 宣布对其平台进行全面优化，推出了Agent 能力的重大创新，并对用户界面进行了流线型重新设计。此次更新旨在提升开发者的编程体验，并增强AI Agent在Replit生态系统中的功能和交互效率，使其能更好地辅助代码编写和项目开发。 Emad Mostaque 宣布新公司致力于可验证的超级智能-Emad ChrSzegedy 宣布成立一家新公司，专注于通过自动化形式化 (autoformalization) 来创建可验证的超级智能 (verified superintelligence)。此举标志着在追求高级AI能力的同时，高度重视AI的可靠 …