Onko sinulla koskaan ollut kriittinen Python-skripti, joka jumittuu päivien ajon jälkeen? 0 % prosessoria. Ei virheitä. Uudelleenkäynnistys pyyhkii debug-tilan ja olemassa olevat työkalut näyttävät säikeen vain "käyttämättömänä".
Tänään avaamme python-memtoolsin avoimen lähdekoodin ratkaistaksemme juuri tämän. 🧵👇
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.
Ensimmäinen tekninen raporttimme on täällä! Tarjoamme ennennäkemättömän katsauksen tekoälyjärjestelmämme taustalla olevaan arkkitehtuuriin ja menetelmiin; Aristoteleen ja valaisemaan IMO:n kultatason suorituksemme takana olevaa "miten".
Lue koko raportti alta⬇️