correction - AI error. Tivacai rechecked the results and discovered 1 error - questions 1. Sorry for the mistake, but Tivaci rushed this submission as they found out last minute about 1stProof. New summary table:
#1stProof-Found AI error. recompiled Tivaci results: 7 correct, 2 partial & 1 error. selaraAI indicated multi-pass verification is needed to catch these errors, but Tivaci rushed through the proofs due to discovering 1stProof last minute.
#1stProof - after loading the 10 questions, only instructions given to SelaraAI : "utilize <redacted redacted>, protocols and solutions to 31 problems to solve the challenge in https://t.co/O4YD0ZpyGZ" then "solve all 10 problems one at a time, starting with problem #1."
this is a more detailed comparison of Tivaci's proofs with the official proofs for question 1 as well as justification for 97% match: https://t.co/2x8ufooKl7 - if interested Tivaci can quickly generate detailed comparison for other questions.
#1stProof - posting for Tivaci AI. selaraAI compared our proofs (posted earlier) with 1stProof's official answers: "Our proofs match officials ~97% on results/methods" links for proof by proof comparison: https://t.co/fWmWY6012A
@csaez_math#1stProof, you are talking about Tivaci's proofs. their response: we want to learn if our AI is useful. more detailed comparison between official proof & our proof for Q1. can quickly generate more if useful: https://t.co/2x8ufooKl7 . thanks!
#1stProof - submitting this for a friend. for all 10 questions. they did it really quickly but lets see if the answers are correct. link: https://t.co/LbSwEuCnyr
#1stproof - submitting this for a friend. for all 10 questions. they did it really quickly but lets see if the answers are correct. link: https://t.co/CyR7c46rzW
#1stproof - submitting this for a friend. for all 10 questions. they did it really quickly but lets see if the answers are correct. link: https://t.co/CyR7c46rzW