Nieuws

OpenAI deelt eerste bewijsproeven voor wiskundeprobleem

OpenAI heeft de bewijsproeven van hun AI-model gedeeld voor de First Proof wiskundeproef, waarin onderzocht wordt of AI in staat is om controleerbare bewijzen te genereren voor complexe problemen. Volgens experten zijn minstens vijf van de pogingen (probleem 4, 5, 6, 9 en 10) waarschijnlijk correct. De organisatie werkt momenteel aan een nieuw model dat gericht is op het verhogen van de strikteheid in het denken van de AI.