AI Just Changed Mathematics Forever – Brian Greene & Tristan Buckmaster