Despite IPO jitters and AI safety worries, Anthropic sticks to a 2026 offering

Mathematicians and AI in behind-the-scenes battle over what’s true

AI models are solving mathematics problems with increasing pace, and a technique called formalisation is key to demonstrating that their claimed solutions are indeed correct. But can we trust the formalisation process?

2h ago ·newscientist.com

ChatGPT can now show you wearing clothes before you buy them

Shopping for clothes through ChatGPT just became more personal. OpenAI has launched a virtual try-on feature that lets users upload a photograph of themselves and generate an image showing how clothes or accessories could look on them before making a purchase.

2h ago ·gulfnews.com

I let an AI design LEGO-style models, then wrote code that decides whether they're allowed to exist

I'm one person with four iOS apps released in September. This is about the one I found hardest to get right: Brickium. The idea: you list the bricks you already own, say what you want ("a small car with four wheels"), and the app designs a model from only those parts, then shows step-by-step 3D instructions.

• An individual launched four iOS apps, with Brickium being the most challenging
• AI designs LEGO-style models using user's owned bricks
• Non-AI checker validates part presence, no overlaps, and proper connections

2h ago ·dev.to