Арістотель з @HarmonicMath отримав 10 із 12 задач за 7 годин на Putnam — найскладнішому у світі змаганні з математики для студентів бакалаврату! Звідки я це знаю? Я сам запускав Aristotle через публічний API Harmonic. І мені знадобилося близько 10 хвилин, щоб почати! 9 із 10 задач було виконано менш ніж за 3 години. Десятий (B5) зайняв 7 годин, на одну годину більше, ніж відведено учасникам. Для всіх 10 задач я давав Арістотеля формулювання задачі англійською — і він автоматично формалізував висловлювання, доводив їх і давав перевірені результати автономно, без жодного людського зворотного зв'язку. Як людина, яка любить математику, але не є експертом, я захоплюю мати такий потужний інструмент під рукою! 1/