ШІ щойно отримав ідеальний бал на найскладнішому математичному конкурсі у світі. У Putnam 12 проблем і 10 балів. Найвищий бал минулого року був 90. Медіана? 0. AI-провер Axiom у Lean набрав 120/120 і щойно поділився всіма рішеннями. Велика віха для штучного інтелекту в математиці.
Джерело:
187