The old "Genius-maker" course is back! Let's beat AI at its own game.
View project.
Can fermion dynamics be modelled with a 2-cubit bispinor?.
We attempt to construct an inner product space out of propositions, making it easier to perform automated reasoning.
Use complex integration to evaluate indefinite integrals, without standard symbolic algorithms.
We build the next iteration of smart software development, aimed at slashing debugging time by several OMs.
