Insights
News, advice and perspectives on artificial intelligence. What it can do, where it falls short, and how to put it to use.
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 articleDots, GPT-6.1 Sol, collaboration in ChatGPT and Codex in the cloud. A look at the announcements and what to check before using them.
Read the full articleClaude identified the ART system with CRISPR-like repeats while examining DNA. Researchers studied it in the laboratory, but its function remains unknown.
Read the full article
A look at the new Anthropic and OpenAI models: lower usage costs, changes to writing style and availability in apps.
Read the full article
What if useful AI does not need longer answers, but fast, constrained decisions? That is the bet TypeSafe AI is making with Jev.
Read the full article
Guides
How to write a useful prompt, check an answer and protect your data.