Îmi place să combin instrumente AI în cercetarea mea, iar aici este o idee amuzantă pe care probabil nimeni nu a încercat-o încă. În primul rând, generezi o demonstrație formală cu Aristotel prin @HarmonicMath . Apoi, îl instruiți pe @NanoBanana (Pro) cu următoarea întrebare: Realizați o diagramă infografică ilustrativă în care fiecare ipoteză și demonstrația ei sunt asociate cu un indicator specific care conduce la concluzia finală (demonstrația teoremei principale). Ești ghidat de următorul cod Lean: <Cod lean> Spor la grinding!