News and thoughts 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
How to turn PDFs, notes and other sources into useful overviews, comparisons or learning material. With a practical example and app demonstrations.
Read the full article
Guides
How to write a useful prompt, check an answer and protect your data.