alt text     alt text     alt text     alt text     alt text

 

Jump to links:

Note:

This page is used to host some illustrations and animations for my schoolwork, there will not be any technical details provided.

How to read the proofs:

Problem

Let be mid point of , go through and intersect at .

Prove that is the mid point of .

Proof from model trained to reason up to 20 steps:

GIF proof:

Static proof:

Proof from model trained to reason up to 12 steps:

GIF proof:

Static proof:

Proof from model trained to reason up to 5 steps, with hint:

GIF proof:

Static proof:

 

alt text     alt text     alt text     alt text     alt text