Kenenkään ei pitäisi julkaista kilpailun voiton tuloksia jakamatta kuitteja. Matematiikan kilpailussa pätevien kuittien tulisi olla epävirallisia todistuksia luonnollisella kielellä tai muodollisia Lean4-todistuksia. Ja nuo kuitit pitäisi liittää ilmoituksen mukana, ei viikkoa myöhemmin.
Tämän tekemättä jättäminen on vain sitoutumisen farmausta ja hypeä. Tekoälyteollisuudella on siitä tarpeeksi.
Our first-ever technical report is here! We’re providing an unprecedented look into the architecture and methodology behind our AI system; Aristotle, and shining light on the “how” behind our IMO gold-level performance.
Read the full report below⬇️