AI Roundup: Games, Math Results, Contract Agents

Here’s what’s new in AI lately, in plain English.

Google lets you create and play custom games

Google introduced Playground, an experimental platform where you can create and play custom games. If you’ve been curious about what AI can build for fun, this is an easy place to look.

Source: link

OpenAI shares new progress on math problems

OpenAI published new results on open problems in mathematics from an internal frontier model, along with Lean proof formalizations. It’s a window into how AI is being tested on genuinely hard reasoning, not just everyday chat.

Source: link

AI agents are learning to handle contract work

OpenAI and Ironclad are training and evaluating AI agents on complex contracting workflows to advance computer use for professional tasks. The idea is AI that can work through software the way a person would, which could eventually take over some tedious office jobs.

Source: link

A small, open model for searching and matching content

Google DeepMind released EmbeddingGemma 2, described as an open, lightweight multimodal embedding model. Embedding models help AI tools find and compare related information, and an open, lightweight one is easier for beginners and small projects to experiment with.

Source: link