Claude boekt vooruitgang bij 167-jaar oud wiskundeprobleem: 31 miljoen tokens, 60 agents en een sprong van 41,6% naar 67,2%

Het Claude-model van Anthropic heeft een 167 jaar oud wiskundig probleem uit het slop getrokken en een significante doorbraak bereikt. Het probleem, dat in 1859 werd gesteld, is geworteld in de analytische getaltheorie en betreft de aard van priemgetallen. De prestatie van Claude op dit probleem steeg van 41,6% naar 67,2% na het toepassen van een nieuwe trainingsmethode. Het model verwerkte 31 miljoen tokens, wat overeenkomt met ongeveer 25,6 miljoen woorden, en genereerde tijdens het proces 650 GB aan gegevens. Om het probleem aan te pakken, gebruikte Claude 60 gespecialiseerde agenten, die elk ongeveer 2400 artikelen analyseerden, waaronder 54 relevante artikelen van arXiv, om ervoor te zorgen dat zijn redenering deugdelijk was. Het gebruik van reinforcement learning en verificatie via Lean, een bewijsassistent, was cruciaal. Anthropic schrijft het succes toe aan deze combinatie van grootschalige berekeningen en formele verificatie, wat een nieuwe mijlpaal markeert in AI-ondersteunde wiskundige ontdekkingen.