https://peopers.com/news/openai-releases-hundreds-of-ai-math-results-and-proofs Peopers en 2026-10-10T07:28:53.069Z OpenAI releases hundreds of AI math results and proofs OpenAI, Lean, AI Models, Mathematics https://peopers.com/news/google-launches-gemini-agent-to-automate-tasks-for-businesses Peopers en 2026-10-09T07:28:42.793Z Google launches Gemini agent to automate tasks for businesses Google, Gemini, Google Cloud, AI Agents, Enterprise AI