ENTITY
Tudor Achim
Tudor Achim
PulseAugur coverage of Tudor Achim — every cluster mentioning Tudor Achim across labs, papers, and developer communities, ranked by signal.
Total · 30d
1
2 over 90d
Releases · 30d
0
0 over 90d
Papers · 30d
0
0 over 90d
TIER MIX · 90D
TOPICS
SENTIMENT · 30D
1 day(s) with sentiment data
RECENT · PAGE 1/1 · 2 TOTAL
-
AI expert questions AI's role in grading its own work
Tudor Achim, co-founder of Harmonic, discussed the shift in mathematics from English proofs to machine-verified code, a change he believes is unprecedented in 4,000 years. He argued that the core issue with AI is not ha…
-
AI's potential to solve math mysteries discussed in podcast
A podcast episode features Tudor Achim discussing how artificial intelligence can be applied to solve complex mathematical problems. The conversation explores the potential of AI in tackling some of the most challenging…