Topic
4 posts tagged “Research”.
Chisato · · 6 min read Anthropic says Claude agents produced the first complete, machine-checked proof of Fermat's Last Theorem in Lean — 13M lines of code in about 11 days.
Chisato · · 5 min read Anthropic is opening 10,000 free and discounted Claude Team seats for scientists and widening its AI for Science program. Here's what's included and who qualifies.
Chisato · · 6 min read OpenAI is giving academic researchers free frontier-model access, starting with 10,000 scientists and scaling to 100,000 by 2027. Here's what's included and why it matters.
Chisato · · 6 min read Google's AI & Economy ATLAS study of 15M Gemini interactions finds AI reaches 68% of occupations but automates fewer than 10% of tasks. The key findings, explained.
