AlphaProof Nexus-მა Erdos-ის ამოცანები ამოხსნა
Google DeepMind-ის მკვლევარებმა წარმოადგინეს ახალი სამეცნიერო ნაშრომი, რომელიც დეტალურად აღწერს ავტომატიზებული სისტემის, AlphaProof Nexus-ის შესაძლებლობებს. arXiv-ზე გამოქვეყნებული მასალის მიხედვით, ამ სისტემამ დამოუკიდებლად ამოხსნა 353-დან 9...








