Princeton University's Language and Intelligence Lab published a paper introducing Goedel-Architect, an agent framework for formal theorem proving built around DeepSeek's open-source V4-Flash model. O…
Tencent appointed former OpenAI researcher Yao Shunyu, 27, as Chief AI Scientist in December 2025 to lead the company's push toward artificial general intelligence. The Chinese tech giant will double …
A new open-source coding agent, mini-SWE-agent, achieves up to 74% on the SWE-bench verified benchmark using just 100 lines of Python code. Developed by the Princeton and Stanford team behind SWE-benc…
Princeton University and Stanford researchers released SWE-agent, an open-source AI agent that autonomously fixes GitHub issues and has earned 19,310 GitHub stars since its NeurIPS 2024 debut. The pro…
The Center for Civil Rights and Technology held its 2026 annual convening, "All Eyes on Tech," on May 12 at the Mayflower Hotel in Washington, DC, to address civil rights issues in the age of artifici…