Replies to message #14,691

🏰 Deploying update to the Tatarus security page. If you encounter issues, post here.

Do you speak of the results where they copied someone else's solution, or where they were very strictly guided by expert-level mathematicians...

This is where I think ppl get derailed when things get labeled AI. Ppl have been using software to help them solve proofs since the 70s. LLMs are...