
Claude porta un limite zeta di Riemann al 67,2%
Un modello di ricerca Claude non rilasciato ha usato 60 subagenti e una dimostrazione verificata in Lean per superare 37 anni di progressi umani su un limite della funzione zeta di Riemann. Cosa significa per la R&S assistita dall'IA.










