Our First Proof submissions

7 months ago 25
Add to circle
We share our AI model’s proof attempts for the First Proof math challenge, testing research-grade reasoning on expert-level problems.
Read Entire Article
  1. Homepage
  2. Technology
  3. Our First Proof submissions

Related

Don't wait for Black Friday — I’ve found 6 coffee machines with steep discounts worth shouting about

Don't wait for Black Friday — I’ve found 6 coffee machines w...

29 minutes ago 0
Sources: the US restores the UK AISI's access to the latest US models for safety testing, after ordering OpenAI and Anthropic to stop sharing models last month (Tony Diver/Telegraph)

Sources: the US restores the UK AISI's access to the latest ...

44 minutes ago 0
An interview with ex-DeepMind scientist David Silver on his startup Ineffable, building an AI "super learner" using RL as an alternative path to LLMs, and more (Madhumita Murgia/Financial Times)

An interview with ex-DeepMind scientist David Silver on his ...

59 minutes ago 0