@DmitryRybin1
Cofounder $100M AI Startup in Shenzhen, Algorithm Discovery + Math (we’re hiring) | ML PhD CUHK, BSc. Math HSE | IMC🥇National Math Olympiad🥇
AI
Axiom calls the formalization complete and computer-verified, describing original work of about 15,000 pages.
XAI
A user shares a story about mathematician Petrov, whose wife asks what will happen when he solves his problem. He says it will become clear. Five years later, his answer is “Not yet.”
