Ingen ska publicera resultat som förklarar seger i en tävling utan att dela kvitton. Vid en matematiktävling bör de giltiga kvittonen vara informella bevis på naturligt språk eller formella Lean4-bevis. Och de kvittona borde följa med tillkännagivandet, inte en vecka senare.
Att inte göra detta är bara engagemangsfarming och hype. AI-branschen har nog av det.
Vår första tekniska rapport någonsin är här! Vi ger en oöverträffad inblick i arkitekturen och metodiken bakom vårt AI-system. Aristoteles, och belyser "hur" bakom vår prestanda på IMO-guldnivå.
Läs hela rapporten nedan⬇️