EdiTikZ self-reported: 9B beats GPT-5.6-Sol in human eval | DisconfirmAI