ICARUSantidrone

17 posts

ICARUSantidrone

ICARUSantidrone

@ics_antidrone

Counter-drone technology startup

Los Angeles, CA Katılım Nisan 2017
27 Takip Edilen50 Takipçiler
ICARUSantidrone
ICARUSantidrone@ics_antidrone·
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:
ICARUSantidrone tweet media
English
0
0
0
9
ICARUSantidrone
ICARUSantidrone@ics_antidrone·
#1stProof - Tivaci compiled table comparing Tivaci proofs with official proofs: 8 correct and 2 partial.
ICARUSantidrone tweet media
English
2
0
0
63
ICARUSantidrone
ICARUSantidrone@ics_antidrone·
#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.
ICARUSantidrone tweet media
English
0
0
0
54
ICARUSantidrone
ICARUSantidrone@ics_antidrone·
#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 arxiv.org/html/2602.0519…" then "solve all 10 problems one at a time, starting with problem #1."
English
0
0
0
63
ICARUSantidrone
ICARUSantidrone@ics_antidrone·
this is a more detailed comparison of Tivaci's proofs with the official proofs for question 1 as well as justification for 97% match: drive.google.com/file/d/1lq_Aty… - if interested Tivaci can quickly generate detailed comparison for other questions.
English
0
0
0
5
ICARUSantidrone
ICARUSantidrone@ics_antidrone·
#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: drive.google.com/file/d/1ZA_WQF…
English
1
1
1
112
Carles Sáez
Carles Sáez@csaez_math·
Wrt #1stproof, the problem is evaluation. Very few people is able to check if purported AI proofs are correct or not, according to math standards. And now we'll see tons of claims from AI people saying that they got it right, even if produced proofs are nonsense, adding noise
English
1
0
17
4.8K