ContactNews, advice and perspectives on artificial intelligence. What it can do, where it falls short, and how to put it to use.
See alsoLooking for advice you can come back to? Read the practical guides.
OpenAI has published a large collection of mathematical results from an internal model. Some proofs have Lean formalizations, while results remain at different stages of verification.
Read the full article| Date | Type | Entry | Reading time |
|---|---|---|---|
| News | OpenAI DevDay 2026: agents, teamwork and new ways to use ChatGPTDots, GPT-6.1 Sol, collaboration in ChatGPT and Codex in the cloud. A look at the announcements and what to check before using them. | 3 min | |
| News | Claude found a previously undescribed enzyme system in DNA dataClaude identified the ART system with CRISPR-like repeats while examining DNA. Researchers studied it in the laboratory, but its function remains unknown.  | 3 min | |
| News | Claude Opus 5.5 and GPT-6 Sol and Luna releasedA look at the new Anthropic and OpenAI models: lower usage costs, changes to writing style and availability in apps.  | 2 min | |
| Analysis | Jev: AI that helps software make decisions instead of writing repliesWhat if useful AI does not need longer answers, but fast, constrained decisions? That is the bet TypeSafe AI is making with Jev.  | 4 min |